ДЭВИД: Таким образом, ваш дополнительный постулат является не просто излишним, а положительно плохим. В общем случае, извращенные, но не опровергнутые теории, которые могут быть предложены без подготовки, распадаются на две категории. Одна – это теории которые постулируют ненаблюдаемые категории, как частицы, невзаимодействующие с любой другой материей. Их можно отвергнуть за то, что они ничего не решают («бритва Оккама», если хотите). А есть теории, подобные вашей, которые предсказывают необъясненные наблюдаемые аномалии. Их можно отвергнуть за то, что они ничего не решают и портят существующие решения. Поспешу добавить, что они не конфликтуют с существующими объяснениями. Они лишают объяснительной способности существующие теории, утверждая, что предсказания этих теорий имеют исключения, но не объясняя, почему. Нельзя просто сказать: «геометрия пространства-времени сводит вместе объекты, лишенные опоры,
КРИПТО-ИНДУКТИВИСТ: Я понимаю это. Вы не могли бы помочь мне привести в порядок мое мировоззрение?
ДЭВИД: Вы читали мою книгу
КРИПТО-ИНДУКТИВИСТ: Я собираюсь это сделать, но сейчас я прошу помощи в разрешении весьма специфического затруднения.
ДЭВИД: Я вас слушаю.
КРИПТО-ИНДУКТИВИСТ: Сложность в следующем. Когда я вспоминаю наш с вами разговор, я полностью убежден, что ваше предсказание того, что произойдет, если вы или я спрыгнем с башни, не было выведено из такой индуктивной гипотезы, как «будущее похоже на прошлое». Но возвращаясь и осмысливая общую логику ситуации, я боюсь, что по-прежнему не понимаю, как это возможно. Рассмотрим сырье для доказательства. Первоначально я допустил, что прошлые наблюдения и дедуктивная логика – это просто сырье. Затем я признал, что важна и текущая проблемная ситуация, потому что нам необходимо доказать свою теорию, как более надежную по сравнению с ее существующими конкурентами. А потом мне пришлось учесть, что огромные классы теорий можно исключить с помощью одного только аргумента, потому что они представляют собой плохие объяснения, и что принципы рациональности можно включить уже в сырье. Чего я не могу понять, так это того, как из этого сырья –
ДЭВИД: Нет, с логикой все в порядке. То, что вы называете «сырьем», на самом деле уже содержит утверждения о будущем. Лучшие из существующих теорий, от которых нельзя легко отказаться, потому что они решают задачи, уже содержат предсказания относительно будущего. И эти предсказания нельзя отделить от остального содержания теорий, что вы пытались сделать, потому что в этом случае будет испорчена объяснительная способность этих теорий. Следовательно, любая новая теория, которую мы предлагаем, должна быть
КРИПТО-ИНДУКТИВИСТ: Таким образом, у нас нет никакого принципа рассуждения, который говорит, что будущее будет похоже на прошлое, но у нас есть фактические теории, которые это утверждают. А есть ли у нас фактические теории, которые неявно содержат ограниченную разновидность индуктивного принципа?