Войти
Отказ от антецедента, иногда также называется обратная ошибка или ошибка обратного, является формальной ошибкой вывода обратного из исходного утверждения. Это совершается путем рассуждений в форме :
, что также можно сформулировать как
(P подразумевает Q)
( следовательно, not-P подразумевает not-Q)Аргументы этой формы являются недопустимыми. Неформально это означает, что аргументы такой формы не дают веских оснований для обоснования своих выводов, даже если их предположения верны.
Имя, отрицающее антецедент, происходит от посылки «не P», которая отрицает предложение «if» в условной посылке.
Один из способов продемонстрировать несостоятельность этой формы аргумента - это привести пример, в котором есть истинные предпосылки, но явно ложный вывод. Например:
Этот аргумент преднамеренно плохо, но аргументы той же формы иногда могут показаться внешне убедительными, как в следующем примере, предложенном Аланом Тьюрингом в статье «Computing Machinery and Intelligence »:
Если каждый у человека был определенный набор правил поведения, по которым он регулировал свою жизнь, он был не лучше машины. Но таких правил нет, поэтому люди не могут быть машинами.
Однако люди все же могут быть машинами, которые не следуют определенному набору правил. Таким образом, этот аргумент (как предполагает Тьюринг) неверен.
Возможно, что аргумент, отрицающий антецедент, может быть действительным, если аргумент создает некую другую допустимую форму. Например, если утверждения P и Q выражают одно и то же утверждение, тогда аргумент будет тривиально верным, поскольку он вызовет вопрос. Однако в повседневном дискурсе такие случаи редки и обычно возникают только тогда, когда посылка «если-то» на самом деле является утверждением «тогда и только тогда, когда » (т. Е. двусмысленным / равенство ). Следующий аргумент неверен, но был бы, если бы первой посылкой было «Если я могу наложить вето на Конгресс, то я президент США». Это утверждение теперь является modus tollens и, следовательно, действительным.
