В логике высказываний утверждение консеквенции , иногда называемой обратной ошибкой , ошибкой обратного или смешением необходимости и достаточности является формальной ошибкой принятия истинного условного высказывания (например, «если бы лампа была разбита, то комната была бы темно») при определенных предположениях (в комнате нет другого света, сейчас ночь и окна закрыты) и неверным выводом об обратном ( «в комнате темно, значит, лампу надо разбить»), даже несмотря на то, что утверждение может быть неверным при тех же предположениях. Это возникает, когда консеквент («в комнате будет темно») имеет другие возможные антецеденты (например, «лампа исправна, но выключена» или «в комнате нет лампы»). [1]
Обратные ошибки распространены в повседневном мышлении и общении и могут быть вызваны, среди прочего, проблемами общения, неверными представлениями о логике и неспособностью принять во внимание другие причины. [2]
Противоположное утверждение, отрицающее последовательность , называется modus tollens и является допустимой формой аргументации. [3]
Утверждение консеквента — это действие, заключающееся в принятии истинного утверждения и недействительном заключении его обратного . Название , подтверждающее консеквент, происходит от использования консеквента Q для заключения антецедента P. Это заблуждение можно формально резюмировать как или, альтернативно, . [5] Основной причиной такой логической ошибки иногда является непонимание того, что, поскольку P является возможным условием для Q , P не может быть единственным условием для Q , т.е. Q может также следовать из другого условия. [6] [7]
Утверждение консеквента также может быть результатом чрезмерного обобщения опыта многих утверждений, имеющих истинные обратные связи. Если P и Q являются « эквивалентными» утверждениями, т. е . можно вывести P при условии Q. Например, утверждения «Сейчас 13 августа, значит, у меня день рождения» и «Сегодня мой день рождения, значит, сейчас 13 августа» эквивалентны, и оба являются истинными последствиями утверждения «13 августа — мой день рождения» (сокращенная форма из ).
Из возможных форм «смешанных гипотетических силлогизмов » две действительны и две недействительны. Подтверждение антецедента ( modus ponens ) и отрицание следствия ( modus tollens ) действительны. Утверждение консеквента и отрицание антецедента недействительны. [8]
Пример 1
Один из способов продемонстрировать несостоятельность этой формы аргументации — использовать контрпример с истинными предпосылками, но с заведомо ложным выводом. Например:
Помимо Сан-Диего, в Калифорнии есть много мест, где можно жить. С другой стороны, можно с уверенностью утверждать, что «если кто-то не живет в Калифорнии» ( не-Q ), то «этот человек не живет в Сан-Диего» ( не-P ). Это противоположность первому утверждению, и оно должно быть истинным тогда и только тогда, когда истинно исходное утверждение.
Пример 2
Здесь сразу становится понятно, что любое количество других предшественников («Если животное — олень…», «Если животное — слон…», «Если животное — лось…» и т. д . . ) может привести к последующему («тогда у него четыре ноги»), и что нелепо предполагать, что наличие четырех ног должно подразумевать, что животное — это собака и ничего больше. Это полезно в качестве обучающего примера, поскольку большинство людей могут сразу понять, что полученный вывод должен быть неверным (интуитивно кошка не может быть собакой), и что метод, с помощью которого он был получен, следовательно, должен быть ошибочным.
Пример 3
В «Уловке-22» [ 9] капеллана допрашивают за то, что он якобы является «Вашингтоном Ирвингом»/«Ирвингом Вашингтоном», который блокирует большую часть писем солдат домой. Полковник нашел такое письмо, но с подписью капеллана.
P в данном случае — это «Капеллан подписывает свое имя», а Q — «Имя капеллана написано». Имя капеллана может быть написано, но он не обязательно писал его, как ошибочно заключает полковник. [9]