Доведение до абсурда
Эта страница предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Викиучебник:К удалению/Июль 2023.
Пока процесс обсуждения не завершён, статью можно попытаться улучшить, однако следует воздерживаться от переименований или немотивированного удаления содержания, подробнее см. руководство к дальнейшему действию. Не снимайте пометку о выставлении на удаление до окончания обсуждения. Администраторам: ссылки сюда, история (последнее изменение), удалить. |
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή) — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Схемой доказательства приведением к нелепости называют схему, хорошо известную как схему введения отрицания :
Она формализует метод доказательства приведением к нелепости.
Замечание. Данная схема похожа на другую — на схему доказательства от противного. В связи с этим их часто путают. Однако несмотря на некоторое сходство, они имеют разную форму. Причём различаются они не только по форме, но и по существу, и различие это носит принципиальный характер.
В математической логике
правитьМетод приведения к абсурду используется в математической логике в виде умозаключения[1]. Если требуется доказать истинность некоторого утверждения , то образуют отрицание этого утверждения и находят такое утверждение , что оказывается возможным одновременно доказать выводимости и , то есть прийти к абсурду. На основании этого делают логическое заключение, что утверждение истинно.
Метод приведения к абсурду основан на тождественно истинном высказывании: . Следовательно, формула выводима из формул и .
Риторический приём
правитьНеобходимо различать логическое безэмоциональное упрощение высказывания и приём пропаганды, когда софист опровергает мнение, искусственно усиленное до абсурда.Ошибка выражения: неопознанный символ пунктуации «[» Также абсурдность обсуждаемого высказывания должна оцениваться в контексте цели беседы (решаемой проблемы).Ошибка выражения: неопознанный символ пунктуации «[»Шаблон:Уточнить
Примеры
править- Земля не может быть плоской; в противном случае мы бы обнаружили, что люди падают с края. Пример утверждает, что отрицание предпосылки привело бы к нелепому выводу вопреки свидетельству наших чувств.
- Нет наименьшего положительного рационального числа, потому что если бы оно было, то его можно было бы разделить на два, чтобы получить меньшее. Это математическое доказательство от противоречия, в котором утверждается, что отрицание предпосылки приведет к логическому противоречию (существует «наименьшее» число, и все же есть число меньше его).
- В 2011 году власти Австрии разрешили пастафарианину Нико Альму сфотографироваться на водительское удостоверение с дуршлагом на голове как религиозным головным убором. Нико Альм подал соответствующее заявление три года назад, тем самым используя аргумент reductio ad absurdum (сведение к абсурду) против разрешения мусульманам фотографироваться на документы в хиджабах. Так как фотографии с головными уборами разрешены в Австрии только из религиозных побуждений, он обосновал свой поступок принадлежностью к пастафарианству[2]. «Моя главная цель — заставить людей задуматься над адекватностью системы», — заявил он[3].
См. также
правитьПримечания
править- ↑ Эдельман, 1975, с. 49
- ↑ Австриец добился возможности сняться на права в дуршлаге — по религиозным убеждениям Шаблон:Wayback — NEWSru.com, 14 июля 2011 г.
- ↑ Вера в дуршлаг победила закон — Metro Шаблон:Wayback
Ссылки
правитьЛитература
править- Эдельман С. Л. Математическая логика. — М.: Высшая школа, 1975. — 176 с.
- Тимофеева И. Л. Математическая логика. Курс лекций: Учеб. пособие для студентов вузов. — М.: КДУ, 2007. — 304 с. — ISBN 978-5-98227-307-9