подходе к языку проблема верификации неразрешима, так как он не предполагает никакой связи с внеязыковой областью. Эта связь учитывается только при семантической точке зрения. Однако в Венском кружке проблема верификации предложений в ее связи с чувственными восприятиями так и не нашла удовлетворительного решения и приобрела лишь еще более сложный вид в физикализме176.
Истолкование высказываний о чувственных впечатлениях как образующих фундамент познания в той форме, которая была принята прежним эмпиризмом и против которой Поппер выступает как против «индуктивизма», должно быть отброшено. Согласно этому истолкованию, высказывания о чувственно данном являются логически исходным пунктом познания и из них с помощью индукции мы получаем эмпирическое знание и общие предложения. Однако логическую строгость индукции можно обеспечить лишь в том случае, если при логическом выводе общих предложений из частных принимается некое предложение высшей общности, некий принцип индукции. Он должен представлять собой общее синтетическое высказывание о реальности, о единообразии природы. Конечно, само оно не может быть обосновано индуктивно, ибо это было бы petitio principii. Но его нельзя ввести также аксиоматически, ибо первое же опровергнутое обобщение опровергло бы и это положение177. Одним из самых ранних принципиальных убеждений Венского кружка было убеждение в том, что индукцию нельзя обосновать дедуктивно и вообще логически. Когда Шлик говорит, что законы науки «постепенно возникают из высказываний о чувственных впечатлениях благодаря тому процессу, который называют 'индукцией’ и который заключается в том, что протокольные предложения побуждают меня высказать предположительное общее предложение (‘гипотезу’), из которого... логически следуют первые предложения», то он совершенно ясно характеризует этот процесс не как логический, а только как психологический. «Индукция есть не что иное, как некая методологическая рекомендация, психологический, биологический процесс, обсуждение которого не имеет к логике никакого отношения»178. Приемлемость эмпирических высказываний опирается не на индукцию, а на верификацию предположительных гипотез. Если следующие из гипотезы предложения говорят то же самое, что и более поздние предложения наблюдения, то гипотеза считается подтвержденной до тех пор, пока не появятся высказывания о наблюдениях, которые... противоречат выведенным из гипотезы предложениям» (ibid.). В отношении к «индуктивизму» и «дедуктивизму» Венский кружок был единодушен с Поппером.
Это означает новую принципиальную реформу эмпиризма. С точки зрения строгой логики, от обычной опоры на индукцию следует отказаться. Представление Д.С. Милля, Маха и даже Витгенштейна об эмпирическом познании оказалось неверным: оно не опирается на достоверные единичные высказывания, из которых путем обобщения получают законы природы. Возникновение единичных высказываний можно описать психологически, но нельзя обосновать их достоверность179. Всякое эмпирическое познание состоит в том, что мы формулируем гипотезы, которые исходят из чувственно данного, но даже в единичных высказываниях всегда говорят гораздо больше. Имеющиеся наблюдения не могут обосновать гипотезу раз и навсегда, она должна и в дальнейшем подвергаться все новым проверкам. Ее верификация зависит от совместимости с интерсубъективно признанными высказываниями о чувственно данном. Благодаря постоянно возобновляемым проверкам, эмпирические высказывания не обладают никаким постоянным значением, оно всегда носит временный характер. Эмпирическое значение не сводится к простым соглашениям, что обеспечивается интерсубъективностью решений. Принятие или отвержение тех или иных высказываний о чувственных впечатлениях обусловлено не произвольным соглашением, а закономерностью, открываемой в них различными субъектами и позволяющей осуществить верификацию. Этим определяется значение выражения «на основе опыта», а не индуктивной процедурой.
2. Верификация общих предложений
Значение общих высказываний для неиндуктивистского подхода также представляет собой весьма трудную проблему. Открыв взаимосвязь истинностных значений, Витгенштейн хотел и истинность общих предложений представить как функцию истинности единичных предложений. Для этого общее предложение должно быть выражено в виде конъюнкции единичных предложений. Но в большинстве случаев это невозможно. Имеются два вида общности: слово «все» может обозначать некоторое конечное множество, определенную совокупность, элементы которой можно перечислить, например всех жителей Вены, которые зафиксированы в определенный момент. Однако слово «все» может обозначать также такой класс, который определяется лишь каким-то признаком (свойством или отношением) и поэтому представляет неопределенное, незамкнутое множество, элементы которого нельзя перечислить полностью. Именно такая общность присуща законам природы. Поэтому только предложения первого рода мы можем преобразовать в конъюнкцию и рассматривать их как функции истинности. Для предложений второго рода это невозможно. Исходя из этих соображений, Витгенштейн и его последователи Рамсей180 и Шлик181 подлинными познавательными предложениями считали только атомарные и составленные из них молекулярные предложения, поскольку их можно однозначно верифицировать. Предложения неограниченной общности они не считали познавательными предложениями. Это вело к далеко идущим следствиям. Тем самым не только из математики устранялась актуальная бесконечность, чему пытался найти оправдание Ф.Кауфман182, но и законы природы лишались привычного смысла высказываний неограниченной общности. Если закон природы истолковывается как молекулярное предложение, т. е. как простая конъюнкция сингулярных предложений и функция их истинности, то он говорит только об уже известных констатациях, но не включает в себя предположений о новых случаях. Поэтому общие предложения, выражающие законы природы, Шлик рассматривает только как указания или формулы, служащие для образования высказываний183 — тех высказываний, которые можно вывести из общего предложения (закона природы), например: «При таких-то и таких обстоятельствах стрелка определенного прибора остановится на определенной отметке шкалы». Согласно такому истолкованию, законы природы, следовательно, теоретическое содержание точных наук и основы техники, не дают вообще никакого знания, они ничего не говорят о мире объектов и представляют собой лишь род синтаксических правил184. Закон природы оказывается лишь схемой предложения, «функцией-высказыванием», и как таковой, конечно, ничего не говорит о фактах. Он дает лишь некоторое методологическое правило, служит лишь для того, чтобы посредством подстановки в него конкретных данных можно было получать определенные высказывания. Последние могут быть верифицированы, однако для самой по себе схемы верификация исключается.
Вопреки всему этому Кайла выступил с утверждением о том185, что осмысленность общего предложения не предполагает его полной верифицируемости. Смысл предложения не зависит от его верифицируемости и требует лишь синтаксически корректного выражения. Верифицируемыми должны быть только отдельные высказывания, следующие из общего предложения, но не сама по себе общность. Общие предложения именно потому и важны для познания, что они не полностью верифицируемы. Если бы их содержание исчерпывалось конечным числом известных случаев, они ничего не могли бы говорить о будущих случаях.
Благодаря анализу языка Карнапом стало ясно, что нет необходимости в исключении неограниченно общих предложений, что это зависит от нашего решения, которое может быть поддержано другими решениями. Решения, относящиеся к правилам образования языка, могут свободно избираться и быть самыми разными. Карнап построил целую шкалу языков, в которых принимаются или исключаются предложения различных ступеней186.
Предложениями простейшей формы, атомарными или элементарными предложениями, являются сингулярные предложения с «исходными» предикатами. «Исходным» считается предикат, который наблюдаем или сводим к наблюдаемым посредством цепочки атомарных редукционных предложений. От
