Отрицание антецедента

Эта статья требует дополнительных ссылок для проверки . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален. Найти источники:  «Отрицание предшествующего»  -  новости  · газеты  · книги  · ученый  · JSTOR ( декабрь 2016 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон )

Отрицание антецедента , иногда также называемого обратной ошибкой или ошибкой обратного , является формальной ошибкой вывода обратного из исходного утверждения. Совершается рассуждением в форме : ^[1]

Если Р , то Q .

Поэтому, если не Р , то не Q .

который также можно сформулировать как

${\displaystyle P\rightarrow Q}$ (Из P следует Q)

${\displaystyle \therefore \neg P\rightarrow \neg Q}$ (следовательно, not-P влечет not-Q) ^[1]

Аргументы этой формы недействительны . Неформально это означает, что аргументы такой формы не дают веских оснований для обоснования своих выводов, даже если их посылки верны. В этом примере правильным выводом будет: ~ P или Q.

Название отрицая антецедент проистекает из помещения «не P », отрицающее «если» положение о условном помещении.

Один из способов продемонстрировать несостоятельность этой формы аргумента - это привести пример, в котором есть истинные предпосылки, но явно ложный вывод. Например:

Если вы лыжный инструктор, значит, у вас есть работа.

Ты не лыжный инструктор

Следовательно, у вас нет работы ^[1]

Этот аргумент намеренно плох, но аргументы той же формы иногда могут показаться внешне убедительными, как в следующем примере, предложенном Аланом Тьюрингом в статье « Вычислительные машины и интеллект »:

Если бы у каждого человека был определенный набор правил поведения, по которым он регулировал свою жизнь, он был бы не лучше машины. Но таких правил нет, поэтому люди не могут быть машинами. ^[2]

Однако люди все еще могут быть машинами, которые не следуют определенному набору правил. Таким образом, этот аргумент (как предполагает Тьюринг) неверен.

Возможно, что аргумент, который отрицает антецедент, может быть действительным, если аргумент создает экземпляр какой-либо другой допустимой формы. Например, если утверждения P и Q выражают одно и то же предложение, тогда аргумент будет тривиально верным, поскольку он вызовет вопрос . В повседневном дискурсе, однако, такие случаи редки, обычно только тогда, когда посылка «если-то» на самом деле является утверждением « если и только если » (т. Е. Двусмысленным / равенством ). Следующий аргумент неверен, но был бы, если бы первая посылка была «Если я могу наложить вето на Конгресс, то я президент США». Это утверждение теперь является modus tollens и, следовательно, действительным.

Если я президент Соединенных Штатов , я могу наложить вето на Конгресс.

Я не президент.

Поэтому я не могу наложить вето на Конгресс.

Это заблуждение также применимо к случаям, когда отрицается, т. Е. Как в этом примере:${\displaystyle Q}$${\displaystyle P\rightarrow \neg Q}$

Если ты высокий, значит, ты не низкий.

Вы невысокого роста.

Следовательно, вы невысокие.

См. Также [ править ]

• Утверждая следствие
• Modus ponens
• Modus tollens
• Необходимость и достаточность

Ссылки [ править ]

Внешние ссылки [ править ]

• FallacyFiles.org: Отрицание предшествующего
• safalra.com: отрицание предшествующего