Доведение до абсурда ( лат. reductio ad absurdum ), приведение к нелепости , или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή ) — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие .

В другом источнике указано что Reductio ad absurdum — опровержение положения путём выведения из него явно ложных и невозможных заключений . Апагогическое доказательство — то же, что reductio ad absurdum .

В математической логике

Метод приведения к абсурду используется в математической логике в виде умозаключения . Если требуется доказать истинность некоторого утверждения ${\displaystyle A}$ , то образуют отрицание этого утверждения ${\displaystyle {\overline {A}}}$ и находят такое утверждение ${\displaystyle B}$ , что оказывается возможным одновременно доказать выводимости ${\displaystyle {\overline {A}}\vdash B}$ и ${\displaystyle {\overline {A}}\vdash {\overline {B}}}$ , то есть прийти к абсурду. На основании этого делают логическое заключение, что утверждение ${\displaystyle A}$ истинно.

Метод приведения к абсурду основан на тождественно истинном высказывании: ${\displaystyle (({\overline {A}}\Rightarrow B)\land ({\overline {A}}\Rightarrow {\overline {B}}))\Rightarrow A}$ . Следовательно, формула ${\displaystyle A}$ выводима из формул ${\displaystyle {\overline {A}}\Rightarrow B}$ и ${\displaystyle {\overline {A}}\Rightarrow {\overline {B}}}$ .

Риторический приём

Необходимо различать логическое безэмоциональное упрощение высказывания и приём пропаганды , когда софист опровергает мнение, искусственно усиленное до абсурда. ^{[ источник не указан 485 дней ]} Также абсурдность обсуждаемого высказывания должна оцениваться в контексте цели беседы (решаемой проблемы). ^{[ источник не указан 485 дней ] [ уточнить ]}

Примеры

• Земля не может быть плоской; в противном случае мы бы обнаружили, что люди падают с края. Пример утверждает, что отрицание предпосылки привело бы к нелепому выводу вопреки свидетельству наших чувств.
• Нет наименьшего положительного рационального числа , потому что если бы оно было, то его можно было бы разделить на два, чтобы получить меньшее. Это математическое доказательство от противоречия, в котором утверждается, что отрицание предпосылки приведет к логическому противоречию (существует «наименьшее» число, и все же есть число меньше его).
• В 2011 году власти Австрии разрешили пастафарианину Нико Альму сфотографироваться на водительское удостоверение с дуршлагом на голове как религиозным головным убором. Нико Альм подал соответствующее заявление тремя годами ранее, тем самым используя аргумент reductio ad absurdum (сведение к абсурду) против разрешения мусульманам фотографироваться на документы в хиджабах . Так как фотографии с головными уборами разрешены в Австрии только из религиозных побуждений, он обосновал свой поступок принадлежностью к пастафарианству . «Моя главная цель — заставить людей задуматься над адекватностью системы», — заявил он .

Примечания

Литература

• // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб. , 1890—1907.
• // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб. , 1890—1907.
• // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб. , 1890—1907.
• Эдельман С. Л. Математическая логика. — М. : Высшая школа, 1975. — 176 с.
• Тимофеева И. Л. / Ответств. ред. Н. В. Валуева. — 2-е изд., перераб. — М. : КДУ, 2007. — 304 с. — 1000 экз. — ББК 22.12я73 . — УДК . — ISBN 978-5-98227-307-9 .
• Тимофеева И. Л. Вводный курс математики: учебное пособие для студентов учреждений высш. пед. проф. образования / И. Л. Тимофеева, И. Е. Сергеева, Е. В. Лукьянова ; под ред. В. Л. Матросова. — М. : Издательский центр «Академия», 2011. — 240 с. — 1000 экз. — ББК 22.1я73 . — УДК . — ISBN 978-5-7695-7960-8 .
• Клини С. К. / под ред. В. А. Успенского. — М. : Издательство иностранной литературы, 1957. — 528 с.