8. Подкрепление: достоинства невероятности
8. Подкрепление: достоинства невероятности
(1) Моя теория предпочтительности никак не связана с предпочтительностью «наиболее вероятной» гипотезы. Напротив, я показал, что проверяемость гипотезы возрастает и убывает в зависимости от ее информативного содержания, а следовательно, от ее невероятности (в смысле исчисления вероятностей). Таким образом, «лучшая» или «предпочтительная» гипотеза скорее окажется наиболее невероятной. (Вместе с тем ошибочно утверждать, как это делает Джон Харсани, что я когда-либо предлагал «критерий невероятности для выбора научных гипотез»[22] у меня не только нет никакого общего «критерия», но частенько бывает, что я не могу предпочесть «лучшую» с точки зрения логики и более невероятную гипотезу, поскольку кто-то сумел экспериментально опровергнуть ее). Этот вывод многие, конечно, считают извращением, но мои основные доводы очень просты (содержание=невероятность), и в последнее время их приняли даже некоторые из сторонников индуктивизма и вероятностной теории индукции, такие например, как Рудольф Карнап[23].
(2) Первоначально я ввел понятие подкрепления (corroboration), или «степени подкрепления», с целью ясно показать, что всякая вероятностная теория предпочтительности (и, следовательно, всякая вероятностная теория индукции) абсурдна.
Под степенью подкрепления теории я подразумеваю сжатый отчет, оценивающий состояние (на данный момент времениt) критического обсуждения теории с точки зрения того, как она решает свои проблемы, ее степени проверяемости, строгости проверок, которым она подвергалась, и того, как она выдержала эти проверки. Таким образом, подкрепленность (или степень подкрепления) теории — это оценочный отчет о ее предыдущем функционировании. Как и предпочтительность, подкрепление по своему существу имеет сравнительный характер: вообще говоря, мы можем только говорить, что теория А имеет более высокую (или более низкую) степень подкрепления, чем конкурирующая с нею теория В, — в свете критического обсуждения, включающего проверки,вплоть до некоторого момента времени t. Поскольку подкрепление — это отчет только о функционировании в прошлом, он имеет дело с такой ситуацией, которая может привести к тому, что мы предпочтем какие-то теории другим.Вместе с тем такой отчет ничего не говорит нам о функционировании в будущем или о «надежности (reliability)» той или иной теории. (Конечно, сказанное нисколько не изменилось бы, если бы кому-нибудь удалось показать, что в некоторых очень специальных случаях мои или чьи-либо еще формулы степени подкрепления могут получить численную интерпретацию[24]).
Основная цель формул, предложенных мною для определения степени подкрепления, — показать, что во многих случаях наиболее невероятная (невероятная в смысле исчисления вероятностей) гипотеза оказывается предпочтительной, и ясно показать, в каких случаях это выполняется, а в каких — нет. Таким образом я мог бы показать, что предпочтительность не может быть вероятностью в смысле исчисления вероятностей. Конечно, предпочтительную теорию можно называть вероятной: слова не играют роли, если только не позволять им вводить нас в заблуждение.
Подведем итог: иногда мы можем сказать о двух конкурирующих теориях А и Б, что в свете состояния критического обсуждения на момент времени t и эмпирических данных (проверочных высказываний), полученных в ходе обсуждения, теория А оказывается более предпочтительной, или лучше подкрепленной, чем теория В.
Очевидно, что степень подкрепления на момент времени t (представляющая собой высказывание о предпочтительности на момент времени t) ничего не говорит о будущем — например, о степени подкрепления на более поздний, чем t, момент времени. Это просто отчет о состоянии обсуждения на момент времени t, касающийся логической и эмпирической предпочтительности конкурирующих гипотез.
(3) Я должен подчеркнуть сказанное в пункте (2), потому что следующий отрывок из моей книги «Логика научного исследования» понимали — точнее, ошибочно недопонимали, — в том смысле, будто я использую подкрепленность теории для предсказания функционирования этой теории в будущем: «Вместо того, чтобы обсуждать „вероятность" гипотезы, следует попытаться оценить, какие проверки, какие испытания она уже выдержала, то есть следует попытаться оценить, насколько ей пока что удалось доказать свою жизнеспособность при экспериментальных проверках. Короче говоря, следует попытаться оценить, насколько она „подкреплена"[25]».
Кое-кто решил [26] что выражение «доказать свою жизнеспособность» показывает, что я говорю здесь о способности выжить в будущем, выдержать будущие проверки. Мне жаль, если я ввел кого-то в заблуждение, но я могу сказать только, что не я виноват в путанице по поводу этой дарвинистской метафоры. Никто не ожидает, что вид, выживший в прошлом, по этой причине выживет и в будущем: всем видам, не сумевшим пережить некоторый период времени t, удавалось выжить до этого момента t. Абсурдно было бы предполагать, будто выживание по Дарвину каким-то образом предполагает ожидание, что каждый вид, выживший до сих пор, сможет выживать и дальше. (Кто может сказать, что шансы на выживание нашего собственного вида так уж высоки?)
(4) Может быть, будет полезно добавить здесь еще один пункт о степени подкрепления высказывания s, которое принадлежит к теории T или логически вытекает из нее, но которое логически гораздо слабее, чем теория T Такое высказываниеs будет содержать меньше информации, чем теория T. Это означает, что s и дедуктивная система S всех высказываний, вытекающих из s, будет менее проверяемой и менее подкрепляемой, чем T. Вместе с тем если теория T хорошо проверялась, то мы можем сказать, что ее высокая степень подкрепления относится и ко всем высказываниям, которые из нее вытекают, и, следовательно, к s и 5, хотя само по себе высказывание s никогда не могло бы достичь такой высокой степени подкрепления, какой оно достигает как часть T или относительно T.
Это правило можно подкрепить еще одним простым соображением, что степень подкрепления — это средство установить предпочтительность в отношении истины. И если мы отдаем предпочтение теории T в отношении ее претензий на истинность, то мы должны отдать ей предпочтение вместе со всеми ее следствиями, поскольку, если теория T истинна, такими же должны быть и все ее следствия, хотя они могут быть по отдельности не так хорошо проверены.
Итак, я утверждаю, что с подкреплением теории Ньютона и с описанием Земли как вращающейся планеты степень подкрепления высказывания s: «Солнце в Риме восходит каждые двадцать четыре часа» — значительно возрастает. Ведь само по себе высказывание s не особенно поддается проверке, а вот теория Ньютона и теория вращения Земли хорошо поддаются проверке. А если они истинны, значит, и высказывание s тоже истинно.
Высказывание s, выводимое из хорошо проверенной теории T, в той мере, в какой оно рассматривается как часть теории T, имеет ту же степень подкрепления, что и T, а если s выводимо не из T, а из конъюнкции двух теорий, скажем, Т1 и Т2, это высказывание, как часть двух теорий, будет иметь ту же степень подкрепления, что и менее проверенная из этих двух теорий. При этом высказывание s само по себе может иметь очень низкую степень подкрепления.
(5) Фундаментальное различие между моим подходом и тем подходом, для которого я давным-давно ввел обозначение «индуктивистского», заключается в том, что я делаю упор на негативные аргументы, такие как отрицательные примеры или контрпримеры, опровержения и попытки опровержения, — короче говоря, на критику, — а индуктивисты делают упор на «позитивные примеры», из которых выводят «не-демонстративные следствия»[27] и которыми надеются обосновать «надежность (reliability)» этих следствий. На мой взгляд, все, что может быть «позитивного» в нашем научном знании, позитивно только в той мере, в какой те или иные теории в тот или иной момент времени в свете их критического обсуждения, состоящего из попыток опровержения, включая эмпирические проверки, оказываются предпочтительнее других. Таким образом, даже то, что можно назвать «позитивным», является таковым только по отношению к негативным методам.
Этот негативный подход проясняет многие моменты, например, трудности, встречающиеся при попытках удовлетворительно объяснить, что такое «позитивный случай» или «подтверждающий случай» для некоторого закона.