Венский кружок. Возникновение неопозитивизма - [49]
Однако остается еще проблема верификации предложений неограниченной общности. «Финитисты» именно потому и хотели исключить их из числа подлинных предложений, что их нельзя истолковать как функции истинности сингулярных предложений. Их нельзя представить в виде конечной конъюнкции сингулярных высказываний, ибо не все их конкретные примеры известны, не могут быть перечислены и проверены. Предложения неограниченной общности вообще не могут быть полностью верифицированы. Это совершенно очевидно.
Верификация предложений неограниченной общности всегда может осуществляться только таким образом, что из них с помощью других высказываний выводятся сингулярные высказывания, которые затем проверяются в отношении их согласованности с уже признанными высказываниями, в конечном счете, — с высказываниями о чувственных впечатлениях. Если во всех случаях проверка приводит к положительному результату и не появляется никаких противоречащих высказываний, то предложение неограниченной общности для этих известных случаев верифицировано; однако для неизвестных, для будущих случаев его значение остается неясным. Не исключено, что впоследствии обнаружится единичное высказывание, противоречащее ему. Эту частичную верификацию можно назвать в лучшем случае «подтверждением»>188 или «удостоверением»>189.
Но если высказывания неограниченной общности нельзя полностью верифицировать, то все-таки их можно опровергнуть с помощью признанного и противоречащего им высказывания. С особой силой это подчеркнул Поппер. Он обратил внимание на соотношение общих и экзистенциальных высказываний. Утвердительному общему высказыванию соответствует отрицательное экзистенциальное высказывание, например, высказыванию «Все хищники из породы кошачьих имеют втягивающиеся когти» соответствует «Не существует хищника из породы кошачьих с невтягивающимися когтями». Отрицательному общему высказыванию соответствует утвердительное экзистенциальное высказывание, например, высказыванию «Не верно, что все свиньи являются белыми» соответствует «Существует свинья, которая не является белой». В сингулярном экзистенциальном высказывании констатируется некоторый факт, благодаря своей логической связи с общим высказыванием оно может служить для его проверки. С помощью достоверного утвердительного экзистенциального высказывания, отрицанием которого будет утвердительное общее высказывание, последнее высказывание опровергается. Таким образом, общие высказывания полностью опровержимы (фальсифицируемы). Это справедливо не только для молекулярных предложений, но и для общих и экзистенциальных предложений с одним оператором, но не для более сложных языковых форм. В таком случае отрицания общих высказываний будут верифицируемы с помощью утвердительных сингулярных экзистенциальных высказываний — этого следствия Поппер не заметил, но Карнап обратил на него внимание>190. И наоборот, благодаря своей корреляции с общими высказываниями экзистенциальные высказывания верифицируемы, но не фальсифицируемы, с помощью высказываний о чувственных восприятиях. Высказывание «Существует гигантский морской змей» можно верифицировать с помощью сингулярного экзистенциального предложения, но опровергнуть его нельзя. Нельзя полностью исследовать все морские глубины, чтобы установить, что ничего подобного найти невозможно. В соответствии с этим, отрицание такого неопределенного несингулярного экзистенциального высказывания не верифицируемо, но фальсифицируемо.
Условия, которым должны удовлетворять особые, базисные предложения, для того чтобы служить основой фальсификации, задаются посредством определенных логических связей таких предложений: 1. Фальсифицирующее предложение не может следовать из проверяемого предложения без других вспомогательных предложений (без особых краевых условий), ибо иначе оно не могло бы вступить в противоречие с проверяемым предложением. 2. Из проверяемого предложения должно логически следовать отрицание базисного предложения, чтобы могло появиться противоречие. Поэтому фальсифицирующее предложение и его отрицание должны иметь разную логическую форму. Это обеспечивается соотношением общего и экзистенциального предложений: из общего предложения нельзя вывести несовместимого с ним сингулярного экзистенциального предложения (согласно 1); но посредством обобщения его отрицания можно вывести противоречащее общее предложение (согласно 2). К этому добавляется еще одно содержательное условие: фальсифицирующее предложение должно говорить о наблюдаемом событии. Это связано с тем, что «существование» можно верифицировать только посредством связи с чувственными переживаниями.
Вследствие этого между верифицируемостью и фальсифицируемостью имеется определенная асимметрия: нет окончательной верифицируемое™, но есть окончательная фальсифицируемость, поэтому нет полной разрешимости, существует только частичная разрешимость. Однако она имеет место только при определенных условиях. Можно избежать противоречия между общим и сингулярным предложениями не просто за счет того, что не признают противоречащего сингулярного высказывания, а за счет того, что вводят вспомогательную гипотезу, «объясняющую» и устраняющую противоречие, как это было с гипотезой сокращения Лоренца—Фитцджеральда в отношении опыта Майкельсона, или же изменяют предпосылки так, чтобы устранить противоречие. Проверка высказывания, общего или единичного, всегда требует привлечения других вспомогательных высказываний, общих или сингулярных. Этим предпосылкам можно придать такой вид, например, посредством изменения соподчиняющих определений, что никакого протаворечия больше не возникнет. Это подчеркивал, прежде всего, конвенционализм. Если бы измерение углов эмпирического треугольника (о котором в свое время говорил Гаусс) дало сумму, не равную двум прямым, то это еще не противоречило бы евклидовости эмпирического пространства, если бы приняли, что лучи света распространяются не по прямой линии, а искривляются
