
- •Часть I. Введение в логику науки глава I. Обзор основных проблем
- •2. Устранение психологизма
- •3. Дедуктивная проверка теорий
- •4. Проблема демаркации
- •5. Опыт как метод
- •6. Фальсифицируемость как критерий демаркации.
- •7. Проблема «эмпирического базиса»
- •8. Научная объективность и субъективная уверенность
- •12. Причинность, объяснение и дедукция предсказаний
- •13. Строгая и численная универсальность
- •14. Универсальные и индивидуальные понятия
- •15. Строго универсальные и строго экзистенциальные высказывания
- •16. Теоретические системы
- •17. Возможные интерпретации системы аксиом
- •18. Уровни универсальности. Мойиз 1о11епз
- •Предположения и опровержения
- •Глава 1. Наука: предположения и опровержения
- •Глава X. Подкрепление, или как теория выдерживает проверки
- •79. Относительно так называемой верификации гипотез
- •80. Вероятность гипотез и вероятность событий:
- •81. Индуктивная логика и вероятностная логика
- •82. Позитивная теория подкрепления:
- •53. Подкрепляемость, проверяемость и логическая вероятность*20
- •84. Замечания об использовании понятий «истинно» и «подкреплено»
- •85. Путь науки
81. Индуктивная логика и вероятностная логика
Вероятность гипотез нельзя свести к вероятности событий. К этому выводу приводит анализ, проведенный в предыдущем разделе. Однако нельзя ли с помощью иного подхода получить удовлетворительное определение понятия вероятности гипотез?
Я не верю в возможность построить понятие вероятности гипотез, которое может быть интерпретировано
*13 Два последних абзаца представляют собой реакцию на «натуралистический» подход, иногда принимаемый Рейхенбахом, Нейратом и другими (см. разд. 10).
как выражение «степени достоверности» гипотезы –по аналогии с понятиями «истина» и «ложь» (и которое к тому же достаточно тесно связано с понятием «объективная вероятность», то есть с относительной частотой, чтобы оправдать употребление слова «вероятность»)14. Тем не менее в дискуссионных целях я приму здесь предположение о том, что такое понятие удовлетворительно построено, и поставлю вопрос: как это влияет на проблему индукции?
Допустим, что некоторая гипотеза, скажем, теория Шредингера, признана «вероятной» в некотором определенном смысле – либо как «вероятная в той или иной численной степени», либо как просто «вероятная», без установления степени вероятности. Высказывание, описывающее теорию Шредингера как «вероятную», можно назвать ее оценкой.
Оценка должна быть, конечно, синтетическим высказыванием –утверждением о «реальности» в том же самом смысле, в каком утверждениями о реальности являются высказывания «Теория Шредингера истинна» или «Теория Шредингера ложна». Все высказывания такого рода, очевидно, говорят нечто об адекватности теории и поэтому, несомненно, не являются тавтологиями*15. Они утверждают, что некоторая теория аде-
14Вполне допустимо, что для вычисления степени подкрепления можно построить формальную систему, обладающую некоторым формальным сходством с исчислением вероятностей (в частности, с теоремой Бэйеса), но не имеющую ничего общего с частотной теорией Указанием на эту возможность я обязан Дж. Хозиассону. Однако я полностью удовлетворен тем, что пытаться решать проблему индукции v помощью таких методов совершенно невозможно.
С 1938 года я защищал мысль о том, что, для того чтобы оправдать употребление слова «вероятность», как это сказано и а тексте настоящей книги, мы должны показать, что выполнены аксиомы формального исчисления вероятностей (см. [70, прил. *11—*У), в том числе, конечно, и теорема Бэйеса. О формальных аналогиях между теоремой Бэйеса о вероятности и некоторыми теоремами о степени подкрепления см. [70, прил. *1Х, пункт 9 (VII) первой заметки].
*15 Вероятностное высказывание «р(5, е)=г», или в словесной форме: «Теория Шредингера при данном свидетельстве е имеет вероятность г», то есть высказывание об относительной или условно-логической вероятности, несомненно, может быть тавтологичным (если значения е и г подобраны так, чтобы соответствовать друг другу: когда е содержит только отчеты о наблюдениях, г будет равно О' в достаточно большом универсуме). Однако «оценка» в нашем смысле должна иметь другую форму (см. разд. 84), например такую: р (5)=г (где 1г фиксирует сегодняшнюю дату), или в словесной форме: Теория Шредингера сегодня (то есть в свете доступных в настоя щее время свидетельств) имеет вероятность г». Для того чтобы получить эту оценку р/^{8)=г из (1) тавтологичного высказывания об относительной вероятности р(5, е)=г и (2) высказывания «е есть совокупность доступных в настоящее время свидетельств», нужно применить некоторый принцип вывода (названный мною «правилом освобождения»). Этот принцип вывода очень похож на гпойиз ропепэ, и потому может показаться, что его следует считать аналитическим. Однако если мы посчитаем его аналитическим, то это значит, что./ :мы принимаем решение рассматривать р как определяемое посредством (1) и (2) 'или, во всяком случае, как выражающее не более чем ^1) и (2), вместе взятые. В таком случае р» нельзя интерпретировать Жак имеющее какое-либо практическое значение, и его, безусловно, нельзя интерпретировать как практическую меру приемлемости. Это становится еще более понятным, если мы обратим внимание на тот факт, что в достаточно большом универсуме р^({, е) :-& С для каждой универсальной теории (при условии, что е содержит только сингулярные высказывания (см. [70, прил. *УИ и *УШ]). Однако на практике мы, без сомнения, принимаем одни теории и отвергаем другие.
кватна или неадекватна либо что она адекватна в некоторой степени. Кроме того, оценка теории Шредингера должна быть неверифицируемым синтетическим высказыванием, как и сама эта теория. Это обусловлено тем, что «вероятность» теории, то есть вероятность того, что теория будет оставаться приемлемой, по-видимому, нельзя с несомненностью вывести из базисных высказываний. Поэтому перед нами встают вопросы: как можно оправдать такую оценку? Как ее можно проверить? (Таким образом, вновь появляется проблема индукции—см. разд. 1.)
Что касается самой оценки, то она может считаться либо «истинной», либо быть «вероятной». Если она считается «истинной», она должна быть истинным синтетическим высказыванием, которое не может быть верифицировано эмпирически, то есть должна быть синтетическим высказыванием, которое истинно a priori. Если оценка считается «вероятной», то нам нужна новая оценка – так сказать, оценка оценки, то есть оценка более высокого уровня. Однако это означает, что мы впадаем в регресс в бесконечность. Таким образом, обращение к вероятности гипотез не способно исправить порочную логическую ситуацию, в которой находится индуктивная логика.
Если, однако, мы интерпретируем <* как степень адекватности или приемлемости, то упомянутый принцип вывода – «правило освобождения» (которое при такой интерпретации становится типичным примером «принципа индукции») — оказывается просто ложным и, следовательно, очевидно неаналитическим.
Большинство сторонников вероятностной логики придерживается того мнения, что оценка достигается за счет «принципа индукции», на основе которого индуктивным гипотезам приписываются вероятности. Однако если сторонники вероятностной логики приписывают вероятность и самому принципу индукции, то мы вновь попадаем в ситуацию регресса в бесконечность. Если же этот принцип они считают «истинным», то они вынуждены выбирать между регрессом в бесконечность и априоризмом. «Теория вероятностей, – говорит Хейманс, – не способна раз и навсегда объяснить индуктивные рассуждения, так как она сталкивается с той же самой проблемой, с которой сталкивается эмпирическое применение теории вероятностей. В обоих случаях заключение выходит за рамки того, что дано в посылках» [34, с. 290]16. Таким образом, замена слова «истинно» словом «вероятно», а слова «ложно» – словом «невероятно» ничего не дает. Только в том случае, если принята во внимание асимметрия между верификацией и фальсификацией – та асимметрия, которая обусловлена логическим отношением между теориями и базисными высказываниями, – можно избежать ловушек проблемы индукции.
Сторонники вероятностной логики могут попытаться ответить на мою критику ссылкой на то, что эта критика порождена мышлением, «привязанным к структуре классической логики» и поэтому неспособным следовать способам рассуждения, используемым вероятностной логикой. Я вполне допускаю, что я не способен следовать этим методам рассуждения.