Западная философия XX века

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

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

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

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

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

Какие же сочетания слов лишены смысла?

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

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

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

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

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

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

а + b = b + а

7 + 5 = 12

а = +a

А V Ā

А = А

А ≠ Ā

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

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

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

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

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