Итак, согласно Карнапу, всякое осмысленное предложение есть либо объектное предложение, относящееся к какой-либо специальной науке, либо синтаксическое предложение, принадлежащее к логике или математике. Что же касается философии, то она представляет собой совокупность истинных предложений о языках специальных наук. Отсюда возникает два новых вопроса:

1. Каков критерий истинности или хотя бы осмысленности объектных предложений?

2. Все ли науки говорят на одном и том же языке, а если нет, то нельзя ли сконструировать такой общий язык?

246

Первый вопрос ведет к теории верификации, второй — к теории единства науки и физикализму.

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

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

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

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

Вполне естественно стремление найти такой универсальный критерий научности, который можно было бы безошибочно применять во всех спорных случаях. Это было бы очень хорошо! И логические позитивисты хотели отыскать такой единый признак научных высказываний, наличие или отсутствие которого сразу же могло решить вопрос о научном статусе того или иного предложения.

247

Как мы увидим дальше, их попытка закончилась неудачей. Но сама эта неудача была достаточно поучительной и принесла известную пользу. В значительной мере эта неудача была предопределена самим их замыслом: логические позитивисты как позитивисты были заинтересованы не только в объективном анализе природы научного знания и языка науки, но и в том, чтобы исключить материалистическое ее понимание. Поэтому-то они ставили вопрос о том, чтобы очистить науку от ненаучных высказываний.

Может показаться, что правила пользования языком устанавливаются грамматикой, и что этих правил вполне достаточно. Но это не так. Грамматика действительно не разрешает употреблять некоторые сочетания слов, такие, например, как «Цезарь есть и». Дело в том, что предикатом в предложении такой формы не может быть связка (и), но обязательно должны быть существительное или прилагательное. Однако грамматика разрешает такие сочетания, как «Цезарь есть простое число». Конечно, можно сказать, что это утверждение ложно; то есть, что «Цезарь не есть простое число», и что это предложение относится просто к классу ложных предложений.

Но все дело в том, что такое предложение в принципе не могло быть истинным. Если бы мы сказали: «Цезарь был греком», то это предложение было бы осмысленным. Вполне можно представить себе ситуацию, в которой оно было бы истинным. Или «Цезарь не перешел через Рубикон». И эта ситуация в принципе была возможна. Но «Цезарь есть простое число» не относится к числу возможных ситуаций, и поэтому оно не просто ложно, оно бессмысленно. В этом предложении грамматически все правильно, логически же оно представляет собой нелепость. Поэтому одних грамматических правил недостаточно, и необходим логический анализ и логические правила. Какие же сочетания слов лишены смысла?

а) те, которые содержат слова, не имеющие смысла. Например, «Это тело есть бабих»;

б) те, которые представляют собой бессмысленные сочетания слов. Например, «Цезарь есть простое число». Это псевдопредложение.

Какие же предложения имеют смысл? Предложения науки, те, из которых складываются научные определения. Какие именно? Так мы подходим к вопросу о структуре науки.

В своем понимании строения или структуры науки логические позитивисты непосредственно опираются на Витгенштейна, но, по существу, их взгляды восходят еще к Юму.

Фундаментальным для понимания неопозитивистами научного знания является разделение всех наук на формальные и фактуальные.

248

Формальные науки — логика и математика. Фактуальные — науки о фактах, все эмпирические науки о природе и человеке.

Отличительная черта формальных наук та, что их предложения ничего не говорят о фактах, не несут никакой фактической информации. Эти предложения аналитичны или тавтологичны. Они справедливы для любого фактического положения вещей, потому что они его не затрагивают. Так, например,

а + b = b + а

7 + 5 = 12

а = а

A V АА = АА Л А

«Все предложения логики, — говорит Карнап, — тавтологичны и бессодержательны, поэтому из них ничего нельзя заключить о том, что необходимо или что невозможно в действительности, или какой она не должна быть… Точно так же и математика, как отрасль логики, тавтологична» [1].

Предложения формальных наук априорны. В то же время, вопреки Канту, априорны только аналитические предложения. В этих предложениях предикат позволяет выявить то, что уже в неявном виде содержалось в субъекте.

Так, 7 + 5 — это то же самое, что 12, ибо мы можем написать 1111111 + 11111 = 111111111111, что показывает тождественность правой и левой сторон этого равенства.

Точно так же 5479 + 3162 = 8641, но мы сразу этого не видим и поэтому должны производить некоторые преобразования символов. Всемогущий разум сразу бы увидел это равенство, но наш конечный разум заставляет нас производить вычисления.

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

Логические позитивисты старательно подчеркивают, что эти преобразования не ведут к новому знанию. Как говорит Карнап: «Тавтологический характер логики показывает, что всякий вывод тавтологичен. Заключение всегда говорит то же самое, что и посылки (или меньше), но в другой лингвистической форме. Один факт никогда не может быть выведен из другого» [2].

1 Logical Positivism. P. 143.

2 Ibid. P. 145.

240

Факты, каковы бы они ни были, мы можем только наблюдать, узнать что-либо новое о фактах с помощью мышления мы не можем Как писал Ганс Хан: «Мышление не схватывает никаких законов бытия. Никогда и нигде поэтому мысль не может дать нам знания о фактах, которое выходит за пределы наблюдаемого» [1].

1 Logical Positivism. P. 146.

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

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

В предисловии к книге «Значение и необходимость» Карнапа С.А.Яновская, выдающаяся представительница русской логической мысли, приводит такой пример:

«Город Манагуа есть столица государства Никарагуа». Дает ли это предложение какую-либо информацию? Ведь здесь объект в двух сторонах этого предложения один и тот же. Следовательно, предикат совпадает с субъектом, и в этом смысле предложение является аналитическим. В то же время это не так, что явствует из такого фактического утверждения: «Не всякий ученик знает, что город Манагуа есть столица государства Никарагуа».

Обратимся теперь к фактуальным наукам. При этом не нужно забывать о том, что, рассматривая утверждения различных наук, логические позитивисты принимали ту предпосылку, что науки должны давать абсолютно достоверное знание. Из этого же убеждения исходил и Рассел в «Principia Mathematica», и Витгенштейн в своем «Трактате». У логических позитивистов та же предпосылка продолжает действовать. Предложения фактуальных наук синтетичны: они, и только они, расширяют наше знание мира, то есть фактов, из которых он состоит. Эмпирические предложения бывают двух типов:

а) Непосредственные высказывания о фактах. В сущности, это то, что Рассел назвал «атомарными», а Витгенштейн «элементарными» предложениями.

250

б) Предложения, являющиеся следствием из элементарных или функциями их истинности. На определенном уровне они в своей совокупности составят то, что называется теорией. Эти предложения выведены из элементарных предложений и всегда могут быть сведены к ним. А так как логический вывод, согласно пониманию логическими позитивистами логики, не дает ничего нового, никакого нового знания, то содержание предложений теории то же самое, что и содержание элементарных предложений. Доктрина, согласно которой теоретические положения могут быть полностью сведены к элементарным высказываниям о фактах, получила название «редукционизм». Так назвал ее Куайн, указав на то, что это одна из двух основополагающих догм позитивистского эмпиризма. Другая догма — это деление на формальное и фактуальное знание. Обе эти догмы взаимосвязаны.

Такое