Избранные труды

Одним из важнейших результатов всего этого движения было сознательное изгнание мышления из сферы логики.

«Для того чтобы исследовать, действительно ли заключение следует из определенных посылок, действительно ли доказуемы данные предложения, логики не устанавливают никаких гипотез о мышлении людей, которые затем экспериментально проверяются, но они анализируют исключительно данные предложения и их отношения, — пишет Р. Карнап. — …Как в ботанике формулируются истинные предложения о растениях, так и логика интересуется истинными предложениями о логических отношениях. Характеристика логики с помощью оборотов, содержащих такие выражения, как «правильное мышление», «обоснованное убеждение» и т. д. в такой же мере правильна и не плодотворна, как определение понятий, что ботаника — учение о правильном мышлении о растениях, что теоретическая политэкономия — учение о правильном мышлении о закономерностях хозяйства. Во всех случаях излишнее указание на правильное мышление надо опустить. Чтобы заниматься наукой, нужно постоянно думать, но это не означает, что мышление есть объект всех научных исследований; оно является объектом исключительно эмпирически-психологического исследования, но не логических, ботанических и политэкономических» [Сагпяр, 1958, с. 31, 32]. Не менее решительно высказывается по этому вопросу и Я. Лукасевич [Лукасевич,

1959, с. 50].

Даже эти крайние формулировки являются, с нашей точки зрения, более правильными, нежели противоположное утверждение, что формальная логика изучала и изучает мышление. Повторим: формальная логика в силу возможностей своего метода, а затем и в силу особенностей своей модели всегда, по существу, исследовала и описывала не языковое мышление в целом, а лишь его знаковую форму, и поэтому движение, выраженное тезисом: «Логика есть синтаксис и семантика языка», если оставить в стороне детали, в общем правильно отражает действительное положение дел, настоящий предмет и настоящие возможности традиционной формальной логики.

Повторяя этот тезис, мы хотим тотчас же, во избежание превратных толкований, специально отметить, что, с нашей точки зрения, это положение правильно как констатация сложившегося положения дел; но оно неправильно и даже вредно, поскольку выдает существующую неблагополучную практику за норму, ограниченность существующего метода исследования возводит в ранг достоинства и, вместо того чтобы искать и разрабатывать новый метод, стремится увековечить существующее положение дел. Но не на этом мы делаем сейчас ударение; нам важно подчеркнуть, что сложившаяся практика логического исследования, действительный предмет формальной логики и ее действительные возможности были в конце концов отчетливо осознаны.

3. Таким образом, фактический предмет исследования формальной логики — знаковая форма. Но зададим себе вопрос: в каком направлении и как ее можно исследовать? С точки зрения уже выработанного нами понимания, исследовать знаковую форму можно по существу только в системе

языкового мышления (или, если быть более точными, только в системе еще более сложного структурного целого, включающего, кроме связей отражения, также связи коммуникации, связи знаков с практическими, предметными действиями и т. п.). Если же мы возьмем знаковую форму отдельно от этой структуры и вне ее функций замещения, сообщения и сигнализации, то она перестанет быть тем, что она есть, — формой и вообще языковым выражением. Вне этих функций, независимо от них в ней по существу ничего и нет. И это вполне понятно, так как служить этим функциям — ее единственное назначение. Знаковая форма не имеет своей жизни вне и помимо этих структур, она живет и существует лишь как их элемент, и поэтому только как такой элемент может быть предметом исследования. Другими словами: чтобы обоснованно пользоваться выработанной в формальной логике моделью языкового мышления, нужно ограничить предмет исследования одной лишь знаковой формой. Но знаковая форма сама по себе, взятая вне структуры языкового мышления в целом, не может быть самостоятельным предметом исследования. В этом заключается основное противоречие формальной логики.