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