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

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

КРИПТО-ИНДУКТИВИСТ: Я понимаю это. Вы не могли бы помочь мне привести в порядок мое мировоззрение?

ДЭВИД: Вы читали мою книгу «Структура реальности»?

КРИПТО-ИНДУКТИВИСТ: Я собираюсь это сделать, но сейчас я прошу помощи в разрешении весьма специфического затруднения.

ДЭВИД: Я вас слушаю.

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

ДЭВИД: Нет, с логикой все в порядке. То, что вы называете «сырьем», на самом деле уже содержит утверждения о будущем. Лучшие из существующих теорий, от которых нельзя легко отказаться, потому что они решают задачи, уже содержат предсказания относительно будущего. И эти предсказания нельзя отделить от остального содержания теорий, что вы пытались сделать, потому что в этом случае будет испорчена объяснительная способность этих теорий. Следовательно, любая новая теория, которую мы предлагаем, должна быть либо согласована с существующими теориями, содержащими некоторые намеки на то, что может сказать о будущем новая теория, либо она должна противоречить некоторым существующим теориям, но обращаться к задачам, поставленным ею, давая альтернативные объяснения, которые вновь ограничивают то, что она может сказать о будущем.

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