Философия Хрестоматия

Что касается вспомогательных гипотез, то мы предлагаем принять следующее правило: допустимы лишь такие вспомогательные гипотезы, введение которых не только не уменьшает степени фальсифицируемости или проверяемости данной системы, а, напротив, увеличивает ее... Если степень фальсифицируемости возрастает, то введение новой гипотезы действительно усиливает теорию: теперь система исключает и запрещает больше, чем раньше. То же самое можно сформулировать иначе. Введение вспомогательных гипотез всегда можно рассматривать, как попытку построить новую систему, и эту новую систему нужно оценивать с точки зрения того, приводит ли она, будучи принятой, к реальному успеху в нашем познании мира. Примером вспомогательной гипотезы, которая в высшей степени приемлема в этом смысле, является принцип исключения Паули. Примером неудовлетворительной вспомогательной гипотезы может служить гипотеза сокращения Фитцджеральда - Лоренца, которая не имела фальсифицируемых следствий, а служила лишь для восстановления согласованности между теорией и экспериментом, главным образом экспериментом Майкельсона - Морли. Прогресс здесь был достигнут лишь теорией относительности, которая предсказала новые следствия, новые физические эффекты и тем самым открыла новые возможности для проверки и фальсификации теории.

Сформулированное нами методологическое правило можно ослабить, заметив, что вовсе не обязательно отвергать как конвенционалистскую уловку каждую вспомогательную гипотезу, которая не удовлетворяет названным условиям. В частности, имеются сингулярные высказывания, которые на самом деле вообще не принадлежат к данной теоретической системе. Иногда их также называют «вспомогательными гипотезами», и, хотя они вводятся для оказания помощи теории, такие гипотезы совершенно безвредны...

Логическое исследование фальсифицируемости. Потребность в защите от конвенционалистских уловок возникает только в том случае, когда мы имеем дело с такими системами, которые, будучи истолкованными в соответствии с нашими правилами эмпирического метода, являются фальсифицируемыми. Допустим, нам удалось запретить эти уловки с помощью наших правил. Тогда можно поставить вопрос о логических характеристиках таких фальсифицируемых систем. Фальсифицируемость теории мы попытаемся охарактеризовать посредством логических отношений, существующих между теорией и классом базисных высказываний. Характер тех сингулярных высказываний, которые я называю «базисными», а также вопрос об их фальсифицируемости будут обсуждаться далее. Здесь мы предполагаем, что фальсифицируемые базисные высказывания существуют. Следует иметь в виду, что, говоря о «базисных высказываниях», я не подразумеваю некоторой системы принятых высказываний. В моем понимании система базисных высказываний включает все непротиворечивые сингулярные высказывания определенной логической формы - все мыслимые сингулярные высказывания о фактах. Поэтому система всех базисных высказываний будет содержать мною взаимно несовместимых высказываний.

В качестве первого приближения можно, по-видимому, попытаться назвать теорию «эмпирической» в том случае, если из нее выводимы сингулярные высказывания. Однако эта попытка не приносит успеха, так как для выведения сингулярных высказываний из некоторой теории всегда нужны другие сингулярные высказывания - начальные условия, говорящие о том, что следует подставлять на место переменных, входящих в эту теорию. Мы могли бы с большим правом попытаться назвать теорию «эмпирической» тогда, когда сингулярные высказывания выводимы из нее с помощью других сингулярных высказываний, являющихся начальными условиями. Но и эта попытка оказывается неудачной, так как даже неэмпирическая, например тавтологическая, теория позволяет выводить некоторые сингулярные высказывания из других сингулярных высказываний. (В соответствии с правилами логики мы можем, например, сказать, что из конъюнкции высказываний «Дважды два - четыре» и «Здесь имеется черный ворон» следует, помимо других высказываний, высказывание «Здесь имеется ворон»). Оказывается недостаточным также и требование, чтобы из теории вместе с некоторыми начальными условиями можно было вывести больше следствий, чем из одних начальных условий. Это требование действительно исключает тавтологические теории, но оно не может исключить синтетические метафизические высказывания (например, из высказываний «Каждое событие имеет причину» и «Здесь произошла катастрофа» можно вывести «Эта катастрофа имеет причину»).