В логике и философии формальная ошибка , дедуктивная ошибка , логическая ошибка или непоследовательность [1] ( / ˌ n ɒ n ˈ s ɛ k w ɪ t ər / ; латынь «[это] не следует») является образцом рассуждений , ставших недействительными из-за изъяна в их логической структуре, которые могут быть точно выражены в стандартной логической системе, например в логике высказываний . [2] Он определяется как дедуктивный аргумент , который недействителен. Сам аргумент может иметь истинные предпосылки , но все же иметь ложный вывод . [3] Таким образом, формальная ошибка — это ошибка , при которой дедукция идет не так, как надо, и она больше не является логическим процессом. Это может не повлиять на истинность вывода, поскольку достоверность и истинность в формальной логике разделены.
В то время как логический аргумент является непоследовательным тогда и только тогда, когда он недействителен, термин «непоследовательный» обычно относится к тем типам недействительных аргументов, которые не представляют собой формальных ошибок, охватываемых конкретными терминами (например, утверждение следствия ) . Другими словами, на практике « non sequitur » относится к неназванной формальной ошибке.
Особым случаем является математическая ошибка , намеренно недействительное математическое доказательство , часто с малозаметной и каким-то образом скрытой ошибкой. Математические ошибки обычно создаются и демонстрируются в образовательных целях, обычно принимая форму ложных доказательств очевидных противоречий .
Формальное заблуждение противопоставляется неформальному заблуждению , которое может иметь правильную логическую форму , но все же быть несостоятельным , поскольку одна или несколько посылок ложны. Формальное заблуждение; однако может иметь истинную посылку, но ложный вывод.
Prior Analytics — это трактат Аристотеля о дедуктивных рассуждениях и силлогизме. Стандартные аристотелевские логические заблуждения :
В философии термин «логическая ошибка» правильно относится к формальной ошибке — недостатку в структуре дедуктивного аргумента , который делает этот аргумент недействительным .