Большинство современных философов — криптоиндуктивисты. Хуже того, они (как и многие учёные) очень сильно недооценивают роль объяснения в научном процессе. Подобным образом ведёт себя и большинство попперовских антииндуктивистов, которые тем самым пришли к отрицанию существования такой вещи как обоснование (и даже условное обоснование). Это открывает новый объяснительный пробел в их схеме всего. Философ Джон Уорралл[26] изложил своё видение этой задачи в воображаемом диалоге Поппера с ещё несколькими философами под названием «Почему Поппер и Уоткинс не смогли решить проблему индукции». Место действия — вершина Эйфелевой башни. Один из участников — назовём его Парящим — решает спуститься с башни не на лифте, как обычно, а спрыгнуть. Остальные пытаются убедить Парящего, что прыжок вниз означает верную смерть. Они используют лучшие научные и философские аргументы. Но неугомонный Парящий по-прежнему ожидает, что будет безопасно парить в воздухе, и продолжает указывать на невозможность доказать предпочтительность ожидания иного исхода на основе прошлого опыта.

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

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

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

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

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

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

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

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

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

Дэвид: Да.

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

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

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

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

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

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

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

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

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

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

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

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