Структура реальности

Дойч Дэвид

Я считаю, что мы можем обосновать наше ожидание гибели Парящего. Обоснование (конечно, всегда условное) приходит из объяснений, предоставленных имеющими отношение к вопросу научными теориями. В той степени, в какой эти объяснения хороши, рационально оправданно полагаться на предсказания соответствующих теорий. Поэтому в ответ Уорралу я привожу свой собственный диалог. Место действия – то же самое.

Дэвид: С тех пор, как я прочел то, что Поппер писал об индукции, я убежден, что он действительно, как и заявлял, решил проблему индукции. Но лишь немногие философы с этим согласны. Почему?

Криптоиндуктивист: Потому что Поппер никогда не обращался к проблеме индукции в нашем понимании. То, чем он занимался,

было критикой индуктивизма. Индуктивизм гласил, что существует «индуктивная» форма рассуждения, способная вывести общие теории о будущем и обосновать их использование при наличии данных в виде отдельных наблюдений, сделанных в прошлом. Он утверждал, что существует принцип природы, принцип индукции, который гласит что-то вроде того, что «наблюдения, выполненные в будущем, вероятнее всего, будут похожи на наблюдения, выполненные при сходных условиях в прошлом». Были сделаны попытки сформулировать этот принцип так, чтобы он действительно позволил вывести, или доказать, общие теории из отдельных наблюдений. Все они потерпели неудачу. Попперовская критика, хотя и имевшая влияние среди ученых (особенно в связи с другой его работой, проливающей свет на методологию науки), вряд ли была оригинальной. Необоснованность индуктивизма была известна почти со времен его изобретения и уж конечно с начала XVIII века, когда его критиковал Дэвид Юм. Проблема индукции не в том, как доказать или опровергнуть принцип индукции, а скорее в том, как (полагая его ошибочным) обосновать любой вывод о будущем, основанный на данных из прошлого. И прежде чем вы скажете, что в этом нет необходимости…

Дэвид: В этом нет необходимости.

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

Дэвид: Да, я счел бы обоснованным полагаться на такую теорию. В соответствии с методологией Поппера в таких случаях следует полагаться на наилучшим образом подтвержденную теорию, т. е. на ту, которая подверглась самым строгим проверкам и выдержала их, тогда как ее конкуренты были опровергнуты.

Криптоиндуктивист: Вы сказали, что «следует» полагаться на лучшую подтвержденную теорию, но почему, объясните поточнее? По-видимому, потому что, согласно Попперу, процесс подтверждения обосновал теорию в том смысле, что вероятность получения от нее истинных предсказаний выше, чем от других теорий.

Дэвид: Ну, не выше, чем от всех других теорий, потому что, несомненно, когда-нибудь у нас появятся еще более успешные теории гравитации…

Криптоиндуктивист: Ладно, слушайте дальше. Давайте договоримся не использовать уловки, не относящиеся к существу обсуждаемой нами темы. Конечно, когда-нибудь может появиться лучшая теория гравитации, но вы должны решить, стоит ли прыгать, сейчас. И имея данные, доступные сейчас, вы выбрали определенную теорию, в соответствии с которой действуете. И вы выбрали ее по критериям Поппера, потому что считаете, что только по этим критериям вероятнее всего выбрать теорию, дающую правильные предсказания.

Дэвид: Да.

Криптоиндуктивист: Итак, подведем итог: вы считаете, что данные, имеющиеся у вас в настоящий момент,

обосновывают предсказание, что, спрыгнув с башни, вы погибнете.

Дэвид: Нет, не обосновывают.

Криптоиндуктивист: Черт побери, вы противоречите сами себе. Только что вы сказали, что это предсказание обосновано.

Дэвид: Оно доказано. Но оно доказано не данными, если под ними вы подразумеваете все эксперименты, результаты которых теория правильно предсказала в прошлом. Как всем нам известно, эти данные согласуются с бесконечным множеством теорий, включая теории, предсказывающие каждый логически возможный результат моего прыжка вниз.

Криптоиндуктивист: Принимая это во внимание, я повторяю, что вся проблема заключается в нахождении того, чем обосновывается предсказание. Это и есть проблема индукции.

Дэвид: Эту проблему и решил Поппер.

Криптоиндуктивист: Я глубоко изучил труды Поппера, но это для меня новость. И каково же решение? Мне не терпится его услышать. Что дает доказательство предсказанию, если не данные?

Дэвид: Рассуждение.

Криптоиндуктивист: Рассуждение?

Дэвид: Только рассуждение способно обосновать что-либо и, конечно, условно. Все теоретические выкладки подвержены ошибкам и так далее. Но рассуждения, тем не менее, иногда могут обосновывать теории. Для этого они и нужны.

Криптоиндуктивист: Я считаю, что это очередная ваша уловка. Вы не можете иметь в виду, что теорию обосновывают с помощью одних лишь рассуждений, как будто это математическая теорема. Данные определенно играют свою роль.

Дэвид: Конечно. Это эмпирическая теория, поэтому в соответствии с научной методологией Поппера решающие эксперименты играют основную роль при выборе между ней и ее соперниками. Когда конкуренты теории опровергнуты, выживает только одна теория.

Криптоиндуктивист: И как следствие этих опровержений и выживания, которые имели место в прошлом, считается доказанным практическое применение этой теории для предсказания будущего.

Дэвид: Полагаю, что так, хотя, мне кажется, неверно говорить «как следствие», когда мы не говорим о логической дедукции.

Криптоиндуктивист: Так в этом-то и вопрос: какого рода это следствие? Я попытаюсь поймать вас на слове. Вы признаете, что теорию обосновывали как с помощью рассуждения, так и с помощью результатов экспериментов. Если бы результаты экспериментов были другими, рассуждение доказало бы другую теорию. Таким образом, принимаете ли вы, что в этом смысле (да, через рассуждение, но я не хочу все время повторять это условие) результаты прошлых экспериментов обосновали предсказание?

Дэвид: Да.

Криптоиндуктивист: Что же в точности было в тех действительных прошлых результатах, обосновавших предсказание, в противоположность другим возможным прошлым результатам, которые точно так же могли доказать противоположное предсказание?

Дэвид: Действительные результаты опровергли все конкурирующие теории и подтвердили ту теорию, которая преобладает сейчас.

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