То обстоятельство, что солнце восходит и заходит уже на протяжении тысячелетий, почти наверняка допускает и в будущем такого рода явления, хотя и не позволяет делать по этому поводу необходимых высказываний. Эта радикальная позиция представителей Венского кружка не могла долго сохраняться в рамках последовательного позитивизма, так как следуя ей, нужно было бы и математические законы и гипотезы по поводу законов принять за бессмысленные, потому что они, как и метафизические высказывания, принципиально неверифицируемы.
Поэтому логический позитивизм в Англии пошел другим путем, и А. Д. Айер,[392]
для того чтобы оспорить смысловую содержательность естественнонаучных высказываний, в верифицируемость вкладывал только один смысл — смысл доказательства вероятности.Не помог здесь и пущенный в ход Карлом Поппером[393]
в качестве альтернативы критерий фальсификаций. Превращение возможной опровергаемости в критерий смысловых предложений ведет к трудностям: такое предложение, как «Единорог существует» хотя и бессмысленно, тем не менее неопровержимо без обозрения всего универсума; высказывание «Всякая пятница, выпадающая на 13 число, это несчастливый день» следовало бы признать эмпирическим предложением, так как его принципиальная опровержимость не может быть статистически оспорена. Ни критерий верификации, ни критерий фальсификации не выполняют возложенных на них ожиданий. Об определении даже научного высказывания и его четком отграничении от метафизического не может быть и речи. В качестве результата можно было бы отметить лишь то, что истинный характер математических и логических предложений должен отличаться от эмпирико-научных предложений, и в особенности от философских, соответственно, метафизических предложений.С 30-х годов нашего столетия предлагался ряд улучшений принципа верификации. Речь шла о возможном подтверждении с помощью наблюдения, о развитии искусственных языков, правила образования которых с самого начала исключают возможность грамматически правильно образованных, но несмотря на это бессмысленных предложений, как это возможно в естественных языках. И все же нельзя отрицать тот факт, что ни одна научная теория, как и теория познания, не обходится без последних допущений, которые верифицируются именно этой теорией. О ценности и значимости таких основных допущений нельзя судить с позиции как принципа верификации, так и принципа фальсификации. Если сознаться в этом, то с позиции позитивизма остается в качестве альтернативы сделать только тот вывод, который сделал в «Логико-философском трактате» Людвиг Витгенштейн.[394]
«Трактат» гласит, что эмпирический смысловой критерий сам в свою очередь является бессмысленным предложением и не может быть причислен к классу предложений, содержащих смысл (естественнонаучные предложения). При этом Витгенштейн исходит из изоморфии, соответствия предложения и факта, и вынужден добавить, что такое соответствие хотя и утверждается, тем не менее не доказывается и даже никогда не может быть помыслено:Предложение может изображать всю действительность, но не в состоянии изображать то общее, что у него должно быть с действительностью, чтобы оно могло изображать ее, — логическую форму. Чтобы иметь возможность изображать логическую форму, мы должны были бы обладать способностью вместе с предложением выходить за пределы логики, то есть за пределы мира.
Предложение не способно изображать логическую форму, она отражается в нем.
То, что отражается в языке, эта форма не может изобразить. То, что выражает себя в языке, мы не можем выразить с помощью языка.
Предложение показывает логическую форму действительности. Оно предъявляет ее.[395]
Соответствие предложения и действительности для Витгенштейна остается мистикой, которая показывает себя, но не высказывает, и он с этой точки зрения делает правильный вывод, что для философии, собственно, было бы лучшим ничего не говорить об этом.