Логические позитивисты старательно подчеркивают, что эти преобразования не ведут к новому знанию. Как говорит Карнап: «Тавтологический характер логики показывает, что всякий вывод тавтологичен. Заключение всегда говорит то же самое, что и посылки (или меньше), но в другой лингвистической форме. Один факт никогда не может быть выведен из другого» (48, 1 45). Факты, каковы бы они ни были, мы можем только наблюдать, узнать что-либо новое о фактах с помощью мышления мы не можем. Как писал Ганс Хан: «Мышление не схватывает никаких законов бытия. Никогда и нигде поэтому мысль не может дать нам знание о фактах, которое выходит за пределы наблюдаемого» (48, 146).
Из тавтологического характера логики еще Витгенштейн делал вывод о том, что в природе нет никакой причинной связи. Его последователи использовали догму о тавтологичности логики и для борьбы против метафизики, утверждая, что невозможна метафизика, которая пытается из опыта делать выводы относительно чего-то трансцендентного. Дальше того, что мы видим, слышим, осязаем и т. д., мы идти не можем. За эти пределы никакое мышление нас не выводит.
Таким образом, как и у Юма, разделение знания на два принципиально отличных вида служило для обоснования агностицизма.
Что касается существа дела, то вопрос этот большой и сложный. Он требует специального рассмотрения.
Разделение на аналитические и синтетические суждения, хотя и правомерно, все же имеет относительный характер, и может быть осуществлено лишь по отношению к готовому сложившемуся знанию. Если же рассматривать знание в его становлении, то резкое противопоставление этих двух видов суждений становится неправомерным.
В предисловии к книге «Значение и необходимость» Карнапа С.А. Яновская приводит такой пример.
«Город Манагуа есть столица государства Никарагуа».
Дает ли это предложение какую-либо информацию? Ведь здесь объект в двух сторонах этого предложения один и тот же. Следовательно, предикат совпадает с субъектом, и в этом смысле предложение является аналитическим. В то же время это не так, что явствует из такого фактического утверждения: «Не всякий ученик знает, что город Манагуа есть столица государства Никарагуа».
Возьмем такой пример: «Атом неделим». Это положение аналитическое, даже тавтологическое, ибо «атом» и означает неделимый. Но в то же время наука в конце XIX века установила, что атом делим. И следовательно, первое предложение никак не может считаться аналитическим.
Обратимся теперь к фактуальным наукам. При этом не нужно забывать о том, что, рассматривая утверждения различных наук, логические позитивисты принимали ту предпосылку, что науки должны давать абсолютно достоверное знание. Из этого же убеждения исходил и Рассел в «Principia Mathematica», и Витгенштейн в своем «Трактате». У логических позитивистов та же предпосылка продолжает действовать. Предложения фактуальных наук синтетичны: они, и только они, расширяют наше знание мира, то есть фактов, из которых он состоит. Эмпирические предложения бывают двух типов:
а) Непосредственные высказывания о фактах. В сущности, это то, что Рассел назвал «атомарными», а Витгенштейн «элементарными» предложениями.
б) Предложения, являющиеся следствием из элементарных или функциями их истинности. На определенном уровне они в своей совокупности составят то, что называется теорией. Эти предложения выведены из элементарных предложений и всегда могут быть сведены к ним. А так как логический вывод, согласно пониманию логическими позитивистами логики, не дает ничего нового, никакого нового знания, то содержание предложений теории то же самое, что и содержание элементарных предложений. Доктрина, согласно которой теоретические положения могут быть полностью сведены к элементарным высказываниям о фактах, получило название «редукционизма». Так назвал ее Куайн, указав на то, что это одна из двух основополагающих догм позитивистского эмпиризма. Другая догма — это деление на формальное и фактуальное знание. Обе эти догмы взаимосвязаны.
Такое понимание структуры науки вызвало, однако, целый ряд вопросов.
1. Что такое элементарные предложения? Как устанавливается истинность этих предложений? Каково их отношение к фактам и что такое факты?
2. Как можно получить из элементарных предложений теоретические предложения?
3. Возможно ли полное сведение предложений теории к элементарным предложениям?
Ответы на эти вопросы оказались связанными с такими трудностями и противоречиями, которые, в конце концов, привели логический позитивизм к краху.
Рассмотрим прежде всего вопрос об элементарном предложении. Естественно, что раз все сложные предложения науки считаются выводом из элементарных, а истинность сложных предложений является функцией истинности элементарных предложений, то вопрос об этих предложениях и об установлении их истинностей приобретает чрезвычайное значение. Витгенштейн и Рассел говорили о них лишь в самой общей форме. Из логики Principia Mathematica вытекает, что такие элементарные предложения должны быть. Но в логике можно ограничиться указанием на их форму, скажем, «S» есть «Р».
Но когда анализируется структура действительной науки, то надо сказать конкретно, какие именно предложения науки относятся к элементарным, далее неразложимым и настолько надежным и достоверным, что на них можно строить все здание науки. Оказалось, что найти такие предложения невероятно трудно, если вообще возможно. Поэтому вопрос об их природе вызвал оживленные споры, продолжавшиеся много лет.
Не менее важной задачей, чем отыскание базисных предложений науки, для неопозитивистов было очищение науки от метафизических предложений, а, следовательно, установление способа их выявления и распознания.
Решение этих двух проблем, казалось, было найдено в «принципе верификации».
Еще Витгенштейн говорил о том, что элементарное предложение необходимо сравнивать с действительностью, чтобы установить, истинно оно или ложно. Логические позитивисты, на первых порах, приняли это указание, но придали ему более широкий смысл. Дело в том, что легко сказать «сравни предложение с действительностью». Вопрос в том, как это сделать. Поэтому требование сравнить предложение с действительностью практически означает, прежде всего, требование указать тот способ, каким это возможно сделать. Проверка настолько существенна для высказывания о фактах, что, согласно Карнапу, «предложение утверждает только то, что в нем может быть проверено» (48, 76). А так как то, что оно высказывает (согласно «Трактату»), есть его смысл (или значение), то «значение предложения заключается в методе его проверки» (48, 76) (Карнап) или, как говорит Шлик, «значение предложения тождественно с его верификацией» (48, 97).
В этих рассуждениях нетрудно заметить сильное влияние прагматистов. В самом деле, значение слова (понятия) состоит в будущих последствиях. Значение состоит в методе проверки или верификации. Значение не в самих чувственных последствиях, а в методе их получения.
Было бы смешно возражать против требования, что положения науки были доступны проверке. Но вопрос в том, как эту проверку понимать, что значит проверять какие-либо научные предложения, как эту проверку осуществить.
Позитивистский «принцип верификации» гласит, что «предложение нужно сравнивать с фактом».
Но что такое факт? Допустим, что это какое-то положение вещей в мире. Но мы хорошо знаем, как трудно бывает выяснить истинное положение дел, добраться до так называемых твердых, упрямых фактов. Юристы могут рассказать, насколько противоречивы бывают сообщения свидетелей какого-либо происшествия, какая масса субъективных наслоений имеется в любом описании и в восприятии того или иного объекта. Недаром есть даже поговорка: «Врет, как очевидец». Если фактами считать различные вещи, группы этих вещей и т. д., то мы никогда не будем гарантированы от ошибок. Даже такое простое предложение, как «это есть стол», далеко не всегда достоверно, ибо может быть и так, что то, что имело вид стола, на самом деле есть ящик, доска, верстак или мало ли что еще. Строить науку на таком ненадежном фундаменте было бы слишком легкомысленно.