ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.06.2024
Просмотров: 714
Скачиваний: 0
СОДЕРЖАНИЕ
Дэвид Дойч. Структура Реальности. Оглавление
Глава 5. Виртуальная реальность.
Глава 6. Универсальность и пределы вычислений.
Глава 7. Беседа о доказательстве (или «Дэвид и Крипто-индуктивист»).
Глава 9. Квантовые компьютеры.
Глава 11. Время: первая квантовая концепция.
Глава 12. Путешествие во времени.
КРИПТО-ИНДУКТИВИСТ: Хорошо, я согласен. Но одну минуточку, я думаю, что я поторопился, сказав, что вы не постулируете никакой разновидности принципа индукции. Послушайте: вы доказали, что теория о будущем (общепринятая теория гравитации) более надежна, чем другая теория (предложенная мной), даже несмотря на то, что обе они согласуются со всеми наблюдениями, известными в настоящий момент. Поскольку общепринятая теория применима как к будущему, так и к прошлому, вы доказали высказывание о том, что в отношении гравитации будущее похоже на прошлое.И то же самое будет верно всякий раз, когда вы доказываете надежность теории на основе того, что она подтверждена. Далее, чтобы перейти от «подтвержденной» к «надежной», вы исследовали объяснительную способность теорий. Таким образом, вы показали, что то, что мы могли бы назвать «принципом поиска лучших объяснений», в совокупности с некоторыми наблюдениями —да, и аргументами —подразумевает,что будущее во многих отношениях будет похоже на прошлое. А это и есть принцип индукции!
Если ваш «объяснительный принцип» неявно выражает принцип индукции, значит, логически это и естьпринцип индукции. Так что индуктивизм все-таки истинен, а принцип индукции действительно следует постулировать, явно или неявно, прежде чем мы сможем предсказать будущее.
ДЭВИД: Дорогой мой! Этот индуктивизм - действительно страшная болезнь. После ремиссии, длившейся несколько секунд, болезнь обострилась еще сильнее.
КРИПТО-ИНДУКТИВИСТ: Рационализм Поппера точно также оправдывает «переход на личности»вместо разумных аргументов? Я спрашиваю только, чтобы получить информацию.
ДЭВИД: Прошу прощения. Позвольте мне обратиться непосредственно к сути вашего высказывания. Да, я доказал утверждение о будущем. Вы говорите, что это означает, что «будущее похоже на прошлое». Ну, если не задумываться о сути, да, так как любаятеория о будущем утверждала бы, что в некотором смысле будущее похоже на прошлое. Но это заключение, что будущее похоже на прошлое, не есть искомый принцип индукции, поскольку из него мы не можем ни вывести, ни доказать ни одну теорию или предсказание относительно будущего. Например, мы не смогли бы им воспользоваться, чтобы отличить вашу теорию гравитации от общепринятой, так как и та, и другая по-своему утверждают, что будущее похоже на прошлое.
КРИПТО-ИНДУКТИВИСТ: Разве мы не можем вывести из «объяснительного принципа» некую разновидность принципа индукции, которую можно было быиспользовать для отбора теорий? Как насчет: «если необъясненная аномалия не имела места в прошлом, то ее присутствие в будущем невероятно»?
ДЭВИД: Нет, наше доказательство не зависит от того, имела ли место в прошлом какая-то конкретная аномалия. Оно связано с тем, существует ли объяснение существования этой аномалии.
КРИПТО-ИНДУКТИВИСТ: Хорошо. Тогда я сформулирую поточнее: «если в настоящее время не существует объяснительной теории, предсказывающей, что конкретная аномалия будет иметь место в будущем, то маловероятно, что она будет иметь место в будущем».
ДЭВИД: В принципе это может быть и так. Лично я согласен с этим. Однако это не разновидность того, что «будущее вероятно будет похоже на прошлое». Более того, пытаясь максимально приблизить этот принцип к такому виду, вы ограничили его случаями «в настоящем», «в будущем» и «аномалия». Но его истинность не уменьшается и без этих специализаций. Это просто общее утверждение относительно эффективности аргумента. Короче, если не существует аргумента в пользу какого-то постулата, значит, этот постулат ненадежен. Прошлое, настоящее или будущее. Аномалия или не аномалия. Период.
КРИПТО-ИНДУКТИВИСТ: Понятно.
ДЭВИД: В понятиях «рационального аргумента» или «объяснения» нет ничего, что как-то особенно связывало бы будущее с прошлым. Не постулируют «похожесть» чего-либо на что-либо. И даже если бы это сделали, это бы не помогло. Говоря на обыденном языке, само понятие «объяснения» подразумевает, что будущее «похоже на прошлое», но, тем не менее, оно не имеет в виду ничего особенного относительно будущего, а потому, это не принцип индукции. Принципа индукции не существует. Не существует и процесса индукции. Никто не пользуется ими или чем-то похожим. И больше не существует задачи индукции. Теперь это ясно?
КРИПТО-ИНДУКТИВИСТ: Да. Мне нужно немного времени, чтобы привести в порядок свое мировоззрение.
ДЭВИД: Я думаю, вам поможет более подробное рассмотрение вашей альтернативной «теории гравитации».
КРИПТО-ИНДУКТИВИСТ: ...
ДЭВИД: Как мы решили, ваша теория объективно состоит из теории гравитации (общепринятой теории), модифицированной необъясненным предсказанием относительно меня. Он гласит, что, потеряв опору, я буду парить. «Потеря опоры» означает «отсутствие воздействия на меня силы, направленной вверх», таким образом, предложение заключается в том, что я не буду воспринимать «силу» гравитации, которая, в противном случае, потянула бы меня вниз. Но в соответствии с общей теорией относительности, гравитация —это не сила, а проявление искривленности пространства-времени. Эта искривленность объясняет, почему предметы, не имеющие опоры, как я или Земля, со временем приближаются друг к другу. Следовательно, в свете современной физики ваша теория, по-видимому, утверждает, что на менявоздействует направленная вверх сила, которая необходима, чтобы удерживать меня на постоянном расстоянии от Земли. Но откуда берется эта сила, и как она себя ведет? Например, что такое «постоянное расстояние»? Если бы Земля начала двигаться вниз, отреагировал бы я мгновенно, чтобы остаться на той же высоте (что допустило бы связь более быструю, чем скорость света, что противоречит другому принципу относительности) или информация о том, где находится Земля, сначала достигла бы меня со скоростью света? Если так, то что переносит эту информацию? Если это новый вид волны, испускаемой Землей, то каким уравнениям он подчиняется? Переносит ли он энергию? Каково его квантово-механическое поведение? Или я особым образом отреагирую на существующие волны, например, световые? В этом случае исчезнет ли аномалия, если между мной и Землей поместить светонепроницаемую перегородку? Да и разве Земля большей частью не светонепроницаема? Где начинается «Земля»: что определяет поверхность над которой я должен парить?
КРИПТО-ИНДУКТИВИСТ: ...
ДЭВИД: Коли на то пошло, что определяет то, где начинаюсь я? Если я буду держать тяжелый предмет, он тоже будет парить? Если так, то самолет, в котором я летел, мог бы выключить двигатели и аварии бы не произошло. Что следует считать «держанием»? Упадет ли самолет, если я вдруг отпущу ручки кресла? А если это воздействие не распространяется на вещи, которые я держу, то как быть с моей одеждой? Она потянет меня вниз и в конце концов погубит меня, если я спрыгну с башни? А как насчет последнего обеда?
КРИПТО-ИНДУКТИВИСТ: ...
ДЭВИД: Я мог бы продолжать до бесконечности.Суть в том, что чем дольше мы рассматриваем последствия предложенной вами аномалии, тем больше мы находим вопросов, на которые нет ответов. И дело даже не в том, что ваша теория не закончена. Эти вопросы —дилеммы.Как бы на них не ответили, они создают новые задачи и тем самым портят удовлетворительные объяснения других явлений.
КРИПТО-ИНДУКТИВИСТ: ...
ДЭВИД: Таким образом, ваш дополнительный постулат является не просто излишним, а положительно плохим. В общем случае, извращенные, но не опровергнутые теории, которые могут быть предложены без подготовки, распадаются на две категории. Одна —это теории которые постулируют ненаблюдаемые категории, как частицы, невзаимодействующие с любой другой материей. Их можно отвергнуть за то, что они ничего не решают («бритва Оккама», если хотите). А есть теории, подобные вашей, которые предсказывают необъясненные наблюдаемые аномалии. Их можно отвергнуть за то, что они ничего не решают и портят существующие решения. Поспешу добавить, что они не конфликтуют с существующими объяснениями. Они лишают объяснительной способности существующие теории, утверждая, что предсказания этих теорий имеют исключения, но не объясняя, почему. Нельзя просто сказать: «геометрия пространства-времени сводит вместе объекты, лишенные опоры,если толькоодним из них не является Дэвид, в этом случае она никак на них не воздействует». И неважно, объясняется ли гравитация кривизной пространства-времени или чем-то другим. Просто сравните свою теорию с совершенно обоснованным утверждением, что перо будет парить, медленно спускаясь вниз, потому что к нему действительно будет приложена достаточная направленная вверх сила со стороны воздуха. Это утверждение —следствие нашей существующей объяснительной теории о том, что такое воздух, поэтому, в отличие от вашей теории, оно не вызывает появления новой задачи.
КРИПТО-ИНДУКТИВИСТ: Я понимаю это. Вы не могли бы помочь мне привести в порядок мое мировоззрение?
ДЭВИД: Вы читали мою книгу Структура реальности7.
КРИПТО-ИНДУКТИВИСТ: Я собираюсь это сделать, но сейчас я прошу помощи в разрешении весьма специфического затруднения.
ДЭВИД: Я вас слушаю.
КРИПТО-ИНДУКТИВИСТ: Сложность в следующем. Когда я вспоминаю наш с вами разговор, я полностью убежден, что ваше предсказание того, что произойдет, если вы или я спрыгнем с башни, не было выведено из такой индуктивной гипотезы, как «будущее похоже на прошлое». Но возвращаясь и осмысливая общую логику ситуации, я боюсь, что по-прежнему не понимаю, как это возможно. Рассмотрим сырье для доказательства. Первоначально я допустил, что прошлые наблюдения и дедуктивная логика —это просто сырье. Затем я признал, что важна и текущая проблемная ситуация, потому что нам необходимо доказать свою теорию, как более надежную по сравнению с ее существующими конкурентами. А потом мне пришлось учесть, что огромные классы теорий можно исключить с помощью одного только аргумента, потому что они представляют собой плохие объяснения, и что принципы рациональности можно включить уже в сырье. Чего я не могу понять, так это того, как из этого сырья —прошлыхнаблюдений,настоящихпроблемных ситуаций ивечныхпринципов логики и рациональности, которые не доказывают выводы из прошлого в будущее — появляется доказательство будущих предсказаний. Кажется, что здесь не хватает логического звена. Мы где-то делаем скрытое допущение?
ДЭВИД: Нет, с логикой все в порядке. То, что вы называете «сырьем», на самом деле уже содержит утверждения о будущем. Лучшие из существующих теорий, от которых нельзя легко отказаться, потому что они решают задачи, уже содержат предсказания относительно будущего. И эти предсказания нельзя отделить от остального содержания теорий, что вы пытались сделать, потому что в этом случае будет испорчена объяснительная способность этих теорий. Следовательно, любая новая теория, которую мы предлагаем, должна быть либосогласована с существующими теориями, содержащими некоторые намеки на то, что может сказать о будущем новая теория,либоона должна противоречить некоторым существующим теориям, но обращаться к задачам, поставленным ею, давая альтернативные объяснения, которые вновь ограничивают то, что она может сказать о будущем.
КРИПТО-ИНДУКТИВИСТ: Таким образом, у нас нет никакого принципа рассуждения, который говорит, что будущее будет похоже на прошлое, но у нас есть фактические теории, которые это утверждают. А есть ли у нас фактические теории, которые неявно содержат ограниченную разновидность индуктивного принципа?
ДЭВИД: Нет. Наши теории просто утверждают что-то относительно будущего. Поверхностно любая теория о будущем неявно содержит то, что будущее каким-то образом будет «похоже на прошлое». Но мы узнаем, в каком отношении, по утверждению теории, будущее будет Похоже на прошлое, только тогда, когда у нас есть эта теория. Точно так же вы могли бы сказать, что поскольку наши теории считают, что определенные черты реальности одинаковы во всем космическом пространстве,они неявно содержат «пространственный принцип индукции» относительно того, что «ближнее похоже на дальнее». Мне хотелось бы выделить, что в любом практическом смысле слова «похожий» наши настоящие теории говорят, что будущеенебудет похоже на прошлое. Например, космологическое «Большое Сжатие» (повторное разрушение вселенной до превращения в отдельную точку) —это событие, которое предсказывают некоторые космологи, но которое во всех физических смыслах настолько маловероятно в настоящее время, насколько это только возможно. Сами законы, исходя из которых мы предсказываем его появление, к этому неприменимы.
КРИПТО-ИНДУКТИВИСТ: В этом я убедился. Попробую использовать последний аргумент. Мы видели, что будущие предсказания можно доказать, взывая к принципам рациональности. А что доказывает их? Они же как-никак не являются чисто логическими истинами. Поэтому возможны два варианта: они либо тоже не доказаны; либо доказаны с помощью каких-то еще неизвестных средств. В любом случае доказательство здесь отсутствует. Я уже не подозреваю здесь скрытую задачу индукции. Тем не менее, уничтожив задачу индукции, не открыли ли мы под ней другую фундаментальную задачу, которая тоже связана с отсутствием доказательств?
ДЭВИД: Что доказывает принципы рациональности? Как обычно, аргумент. Что, например, оправдывает то, что мы полагаемся на законы дедукции,кроме того, что любая попытка доказать их логически должна вести либо к порочному кругу, либо к бесконечной регрессии? Они доказаны, потому что заменой законов дедукции невозможно улучшить ни одно объяснение.
КРИПТО-ИНДУКТИВИСТ: По-моему, это не слишком надежная основа для чистой логики.
ДЭВИД: Она не абсолютна надежна. И нам не следует ожидать этого от нее, поскольку логическое рассуждение —процесс не менее физический, чем рассуждение научное, а потому ему присуща ошибочность. Законы логики не самоочевидны. Есть люди, «математические интуитивисты», которые оспаривают традиционные законы дедукции (логические «правила вывода»). Я вернусь к их странному мировоззрению в главе 10Структуры реальности.Невозможнодоказать,что они ошибаются, но яприведу доводыв пользу того, что они ошибаются, и я уверен, что мой аргумент оправдывает этот вывод.