Философы часто используют reductio ad absurdum в метафизике и философии разума, чтобы сделать вывод, оправдать свою позицию или мысленный эксперимент, или отвергнуть позицию или теорию, которые им не нравятся, но какой смысл во всем этом, если сама природа абсурдно?
Рассмотрим эту цитату Фейнмана со страницы 10 QED: The Strange Theory of Light and Matter :
Теория квантовой электродинамики описывает Природу как абсурдную с точки зрения здравого смысла. И это полностью согласуется с экспериментом. Поэтому я надеюсь, что вы примете Природу такой, какая Она есть — абсурдной.
Что, если бы философ довел природу до абсурда ? был бы он оправдан, если бы его аргумент был здравым?
Рассмотрим, например, проблему свободы воли — можно представить себе двух философов, придерживающихся противоположных взглядов на свободу воли и в течение многих лет отвергающих взгляды друг друга, используя reductio ad absurdum ; это не абсурд?
В качестве аналогии представьте себе двух математиков, которые отвергают системы координат друг друга для сферы из-за включения особой точки, такой как северный полюс — назовем это «абсурдом» системы координат — и они не понимают, что вы не можете "объяснить" сферу одной системой координат, что не "абсурдно" - нужно как минимум две:
Особенности в знакомых координатах на двумерной сфере можно устранить, покрыв сферу двумя перекрывающимися координатными участками. (Гравитация, 1973, стр. 12)
Или возьмем пример из философии сознания: Чалмерс, дуалист свойств, использует reductio ad absurdum в своих знаменитых аргументах квалиа угасания и танца , чтобы заключить, что робот может иметь сознательный опыт, идентичный его собственному (Витгенштейн отверг бы все это на отсутствие критериев тождества, но давайте проигнорируем эту тонкость) — он признает, что с его точки зрения как стойкого дуалиста его вывод в высшей степени противоречит интуиции, — но роботы с дуалистическим типом квалиа не просто противоречат интуиции. - они кажутся абсурдными, поскольку их квалиа безнадежно эпифеноменальны - их квалиа не могут повлиять на механизм вычисления, и поэтому у них нет возможности "узнать" свои квалиа - то есть Чалмерс, возможно, используетreductio ad absurdum — отвергать одну нелепость ради другой.
Мне кажется, что если природа абсурдна, то использование reductio ad absurdum в метафизике или философии разума может быть неправильным и вводящим в заблуждение, — но тем не менее философы продолжают его использовать — может быть, как кто-то, спотыкающийся в темноте и отказывающийся отбросить фонарик, в котором сели батарейки.
Витгенштейн говорит, что философы вводят себя в заблуждение, неправильно используя язык, и что философия должна вестись по-другому - по сути, описывая и исследуя проблемы, а не пытаясь их объяснить:
мы не можем продвигать какую-либо теорию. В наших рассуждениях не должно быть ничего гипотетического. Всякое объяснение должно исчезнуть, и его место должно занять только описание. И это описание получает свой свет, то есть свою цель, от философских проблем. Это, конечно, не эмпирические проблемы; но они решаются посредством проникновения в суть работы нашего языка, причем таким образом, что эта работа распознается — несмотря на стремление неправильно понять ее. Проблемы решаются, не придумывая новых открытий, а собирая то, с чем мы давно знакомы. Философия есть борьба против околдовывания нашего понимания средствами нашего языка. (PI §109)
Знаете ли вы философов, занимающихся этой проблемой?
вам также может понравиться следующее очень забавное видео Фейнмана, объясняющего безумие природы студентам - https://youtu.be/eLQ2atfqk2c?t=24m2s - сами лекции очень интересны - посмотрев их два года назад, я впервые понял как на самом деле работают голограммы.
Мне кажется, что утверждение Фейнмана:
Теория квантовой электродинамики описывает Природу как абсурдную с точки зрения здравого смысла. И это полностью согласуется с экспериментом. Поэтому я надеюсь, что вы примете Природу такой, какая Она есть — абсурдной.
можно перефразировать так: квантовая механика противоречит нашему здравому смыслу. Но квантовая механика «права» (поскольку она согласуется с экспериментом); таким образом, мы должны «исправить» наше представление о реальности, основанное на здравом смысле.
Мы можем «оформить» это как логический аргумент, но я не уверен, что эта «реконструкция» была задумана Фейнманом.
Рассмотрим аргумент:
квантовая механика противоречит здравому смыслу [это означает, сильно упрощая, рассматривать здравый смысл как своего рода теорию]; мы можем сказать: QM → ¬CS
qm согласуется (подтверждено?) с экспериментом; таким образом, это правда: QM
Таким образом, из 1. и 2. мы имеем:
i) ¬ QM ∨ ¬ CS [потому что: QM → ¬ CS эквивалентно: ¬ QM ∨ ¬ CS ]
ii) УК
Используя дизъюнктивный силлогизм, мы можем заключить:
¬ КС
то есть: " здравый смысл ложен"
Это не обязательно означает, что природа противоречива ; в лучшем случае мы можем согласиться с тем, что наши (человеческие) «каркасы» (здравый смысл, научные теории), «выработанные» на протяжении тысячелетий, чтобы справиться с реальностью, противоречивы .
Вы можете увидеть натурализм Куайна .
Фейнман также сказал:
«Физика для математики — то же, что секс для мастурбации»,
«Физика не самое главное. Любовь - это."
почему бы не подойти к его комедии как к обычной комедии? ;-)
И то, что вы процитировали из Фейнмана, относится к тому времени, когда многие парадоксы квантовой механики казались гораздо более запутанными. В их решении достигнут некоторый прогресс. Но если бы все восприняли его цитату всерьез, ни у кого не нашлось бы мотивации заняться парадоксами.
Ваш математический пример не является доказательством доведением до абсурда, потому что ему серьезно не хватает математической строгости. Это карикатура на математическую практику. Просто ощущения абсурда недостаточно, абсурд должен быть на уровне несостоятельного вывода . Но если такая строгость достигнута, сомневаться в доведении до абсурда могут только математические чудаки.
Например, было доказано, что квадратура круга с помощью линейки и циркуля невозможна. После множества страниц предварительных рассуждений доведение до абсурда в какой-то момент приводит к результату: но что, если математический чудак на самом деле придумал правильный метод возведения круга в квадрат с помощью линейки и циркуля? Тогда математика войдет в беспрецедентный кризис. В доказательстве будет ошибка, которую не заметили тысячи профессиональных математиков, или нестыковка в аксиомах. Чудак был бы прав, и у математика не было бы оснований все еще полагать, что квадратура круга невозможна.
Точно так же философский аргумент, вывод которого противоречит реальности, по определению не может быть обоснованным. Это просто невозможно, потому что обоснованность означает, что аргумент действителен, а посылки верны. А так как валидность означает, что вывод верен, если посылки верны, здравый аргумент должен иметь верный вывод.
Философский аргумент, противоречащий действительности (т. е. ложный вывод), должен быть недействителен (заключения ошибочны) или посылки должны быть неверными. Но философия не войдет из-за этого в кризис. Это обычное явление, к которому мы очень привыкли. Да и в философии нет единого мнения.
На самом деле проблематично не только доведение до абсурда в философии, проблематична сама философия. Прямые аргументы не лучше.
У математики безумно хороший послужной список. Благодаря этому его доказательства, будь то прямые или путем доведения до абсурда , общеприняты.
Философия, с другой стороны, имеет плохой послужной список. Фактически, его послужной список настолько плох, что немногие осмелятся подвергнуть сомнению эмпирические наблюдения (хотя они, очевидно, тоже могут быть ошибочными или вводящими в заблуждение) только потому, что они противоречат философскому аргументу. Конечно, это могло бы измениться, возможно, послужной список некоторых разделов философии мог бы улучшиться.
В чем смысл доведения до абсурда?
В математике reductio ad absurdum является надежным методом доказательства, если он действует на основе двузначной логики с аксиомой «не (А и не-А)». На этой основе действуют почти все «работающие» математики, особенно исключением являются математики после Брауэра.
Что абсурдного в утверждении о сингулярных координатах на сфере? Сфера является дифференцируемым многообразием, и соответствующие координатные пятна по определению свободны от особенностей. Покрытие сферы двумя координатными пятнами - как в учебнике Wheeler et al. показывает - избегает проблемы особых точек.
Для меня утверждение типа «природа абсурдна» не имеет смысла. Природа, т.е. реальные объекты и факты, просто есть . Абсурдным может быть только различие между некоторыми предложениями. Например, разрыв между предложениями, применимыми в повседневной жизни, и открытиями квантовой электродинамики или квантовой механики в целом. Поэтому, пожалуйста, укажите ссылку на цитату Фейнмана, чтобы узнать о контексте его заявления.
Reductio ad absurdum — проблемный инструмент в философии. Потому что в целом термины не имеют точного определения, как термины формализованной науки. Но антиномии играют фундаментальную роль в философской аргументации, см. четыре антиномии Канта, Иммануил: Критика чистого разума. (B454ff) Характеристики этих антономий заключаются в том, что философская аргументация поддерживает как тезис, так и антитезис. Разрешение этих антиномий — одно из главных достижений творчества Канта.
Расширено по запросу @nir:
Принцип reductio ad absurdum — «А или не-А», закон tertium non datur. Reductio ad absurdum доказывает «А», опровергая «не-А».
Антиномия нарушает «не(А и не - А)», закон непротиворечия. Антиномия доказывает «А», а также «не-А».
Оба закона эквивалентны в логике высказываний, что можно доказать, изучив их таблицы истинности.
вирмайор
ни