Как называется аргумент, в котором отрицание предложения может быть использовано в качестве доказательства его истинности?

Я видел, как это использовалось достаточно раз, поэтому, вероятно, для него есть официальное название, но я не знаю, что это такое. Например, из «Уловки-22»:

«Кажется, я схожу с ума».

«Только здравомыслящий человек способен сомневаться в собственном здравомыслии. Поэтому с тобой все в порядке».

Или, наоборот:

«Конечно, я не ведьма! Ведьм не бывает!»

— Так могла сказать только ведьма! Сожгите ее!

Есть ли официальное название для этого типа аргумента?

Доведение до абсурда? (доказательство от противного)
Нет, это совсем другое понятие.
Не хочу показаться бойким, но разве это не делает предложение тривиально верным?

Ответы (2)

Это парадокс " Уловки-22 " !

Парадокс «Уловки-22» заключается в том, что поведение определенным образом из-за какого-то желания — это верный способ не получить желаемого. Если вы хотите, чтобы вас объявили сумасшедшим, чтобы вас выписали, вы не можете вести себя как сумасшедший, поскольку только нормальные люди могут вести себя как сумасшедшие. Но если у вас нет признаков невменяемости, вас не выпишут. Тот же анализ работает и с парадоксом ведьм.

Один из пунктов « Уловки-22» — осветить дисфункцию армии США и бюрократии в целом. На мой взгляд, постоянное использование парадокса достигло этой цели.

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

Беспроигрышная ситуация или круговая логика также могут быть способами охарактеризовать такого рода парадоксы.
Я думаю, что сравнение «Уловки-22» с «Парадоксом лжеца» неуместно. Предложение Лжеца истинно тогда и только тогда, когда оно ложно и, таким образом, является признаком глубокой проблемы. «Уловка-22» Хеллера довольно легко разрешима: «Вы думаете, что вы сумасшедший, но вы ошибаетесь».
@vanden: я не был уверен, знает ли спрашивающий о парадоксе вообще, поэтому я привел первый пример, который пришел на ум. Я не имею в виду, что это пример «Уловки-22» или их прямое сравнение. Возможно, было бы лучше удалить этот раздел вообще.
@Jon: Хотя я понимаю вашу точку зрения, моя претензия не ограничивалась Лжецом. Парадоксы вообще не так легко разрешаются, как кажущаяся напряженность в случае с «Уловкой-22». (Я использую здесь слово «парадокс» скорее в техническом, чем в идиоматическом смысле.)
@vanden: Это бюрократический парадокс. ;-) Я обновил ответ, чтобы преуменьшить концепцию парадокса, чтобы подчеркнуть концепцию загадки и абсурда. Возможно, это удовлетворяет ваше возражение...

Я не уверен, соответствует ли это шаблону, который вы ищете, и я понимаю, что это может быть немного спорным, но есть поговорка (не совсем правило вывода), что:

Исключение подтверждает правило.

Я всегда понимал это очень неформальное, почти шутливое утверждение, как означающее, что человек имеет в виду общее правило, видит исключение из правила, но обстоятельства исключения настолько редки, что это подразумевает, что правило, вероятно, довольно точно в большинстве случаев. обстоятельства. Если бы меня заставили формализовать и педантизировать это, я бы сказал, что это байесовское подтверждение маловероятными данными.

«Исключение подтверждает правило» — одна из самых неприятных идиом в английском языке. Это стало пониматься как абсурдное мнение, что контрпример доказывает обобщение («Все млекопитающие рождают живых детенышей». «А как насчет утконоса?» «Видите, я же говорил!»). en.wikipedia.org/wiki/Exception_that_proves_the_rule дает хорошее обсуждение одного разумного значения (существование исключения доказывает, что правило существует для исключения). Я также столкнулся с утверждением, что он основан на архаичном смысле «доказать», что означает «проверить и найти желаемое», но не может найти готовый URL.