Войти
В философии a формальная ошибка, дедуктивная ошибка, логическая ошибка или non sequitur (латинское для «не следует») является шаблон рассуждений сделал недействительным из-за недостатка в его логической структуре, который может быть аккуратно выражен в стандартной логической системе, например логика высказываний. Он определяется как недопустимый дедуктивный аргумент. Сам аргумент может иметь истинное предположение, но все же иметь ложное заключение. Таким образом, формальная ошибка - это ошибка, когда дедукция идет не так, и больше не является логическим процессом. Это может не повлиять на истинность вывода, поскольку действительность и истина разделены в формальной логике.
Хотя логический аргумент не является последовательностью, если и только если он недопустим, термин «non sequitur» обычно относится к тем типам недопустимых аргументов, которые не представляют собой формальных ошибок, охватываемых определенными терминами (например, подтверждая следствие ). Другими словами, на практике «non sequitur» относится к неназванной формальной ошибке.
Особый случай - это математическая ошибка, преднамеренно недействительное математическое доказательство, часто с тонкой ошибкой и каким-то образом скрытой. Математические ошибки обычно придумываются и демонстрируются в образовательных целях, обычно принимая форму ложных доказательств очевидных противоречий.
Формальная ошибка противопоставляется неформальной ошибке, которая может иметь действительный логическая форма и все же быть несостоятельной, потому что одно или несколько предпосылок ложны.
Стандартный аристотелевский логическими ошибками являются:
К другим логическим ошибкам относятся:
В философии термин логическая ошибка правильно относится к к формальной ошибке - недостатку в структуре дедуктивного аргумента, который делает аргумент недействительным.
. Он часто используется в более общем плане в неформальном дискурсе для обозначения аргумент, который является проблематичным по любой причине и включает неформальные заблуждения, а также формальные заблуждения - действительные, но необоснованные утверждения или плохую недедуктивную аргументацию.
Наличие формальной ошибки в дедуктивном аргументе ничего не говорит о предпосылках аргумента или его заключении (см. ошибка ошибки ). Оба могут быть истинными или даже более вероятными в результате аргумента (например, обращение к авторитету ), но дедуктивный аргумент по-прежнему недействителен, потому что вывод не следует из посылок описанным способом. В более широком смысле аргумент может содержать формальную ошибку, даже если аргумент не дедуктивный; Например, можно сказать, что индуктивный аргумент, который неправильно применяет принципы вероятности или причинности, совершает формальную ошибку.
Любой аргумент, который принимает следующую форму, не является последовательностью
Даже если посылка и заключение верны, заключение не является необходимым следствием посылки. Этот вид non sequitur также называется подтверждением консеквента.
Примером подтверждения консеквента может быть:
Хотя заключение может быть верным, оно не следует из предпосылки:
Истинность заключения не зависит от истинности его предпосылки - это «non sequitur», поскольку Джексон мог быть млекопитающим, но не человеком. Он мог быть слоном.
Утверждение консеквента по сути то же самое, что и ошибка нераспределенной середины, но с использованием предположений, а не набора принадлежности.
Другое распространенное несоответствие:
Хотя B действительно может быть ложным, это не может быть связано с предпосылкой, поскольку утверждение не является последовательностью. Это называется отрицанием антецедента..
Примером отрицания антецедента может быть:
Хотя вывод может быть верным, он не следует из предпосылки. Насколько известно читателю, заявителем заявления могла быть другая этническая группа из Азии, например Китайский, и в этом случае посылка будет верной, а заключение - ложным. Этот аргумент по-прежнему ошибочен, даже если вывод верен.
Утверждение дизъюнкции является ошибкой, если в следующей форме:
Вывод не следует из посылки, поскольку может быть случай, что A и B оба верны. Это заблуждение проистекает из заявленного определения логики высказываний как включающего.
Пример подтверждения дизъюнкции:
Хотя заключение может быть верным, оно не следует из предпосылки. Насколько известно читателю, заявитель заявления вполне может находиться как в городе, так и в своем доме, и в этом случае посылка будет верной, а вывод - ложным. Этот аргумент по-прежнему является ошибкой, даже если вывод верен.
* Обратите внимание, что это только логическая ошибка, когда слово «или» находится в его включающей форме. Если две рассматриваемые возможности исключают друг друга, это не логическая ошибка. Например,
Отрицание конъюнкта является ошибкой в следующей форме:
Вывод не следует из предпосылки, поскольку может быть случай, что A и B оба ложны.
Примером отрицания конъюнкта может быть:
Хотя заключение может быть верным, оно не следует из предпосылки. Насколько известно читателю, заявитель заявления вполне может быть ни дома, ни в городе, и в этом случае посылка будет верной, а вывод - ложным. Этот аргумент по-прежнему является ошибкой, даже если вывод верен.
Ошибка нераспределенной середины - это ошибка, которая совершается, когда средний член в категориальном силлогизме не распределен. Это силлогистическая ошибка. В частности, это также форма non sequitur.
Ошибка нераспределенной середины принимает следующую форму:
Может быть, а может и не быть, что «все Z - B», но в любом случае это не имеет отношения к заключению. Что имеет значение для вывода, так это то, правда ли, что «все B являются Z», что игнорируется в аргументе.
Можно привести следующий пример, где B = млекопитающие, Y = Мэри и Z = люди:
Обратите внимание, что если бы термины (Z и B) поменяли местами в первой совместной посылке, то это больше не было бы ошибкой и было бы правильным.
Формальная логика не используется для определения истинности аргумента. Формальные аргументы могут быть действительными или недопустимыми. Допустимый аргумент также может быть правильным или ненадежным. :
В идеале, лучший формальный аргумент - это веский, веский аргумент.
Формальные заблуждения учитывают не обоснованность аргумента, а его достоверность. Предпосылки в формальной логике обычно обозначаются буквами (чаще всего p и q). Ошибка возникает, когда структура аргумента неверна, несмотря на истинность посылок.
Как и modus ponens, следующий аргумент не содержит формальных ошибок:
Упоминается логическая ошибка, связанная с этим форматом аргумента. на как , подтверждающий последующий, который будет выглядеть так:
Это заблуждение, потому что оно не принимает во внимание другие возможности. Чтобы проиллюстрировать это более наглядно, замените буквы на «помещения»:
Хотя возможно, что этот вывод верен, это не обязательно означает, что он должен быть правдой. Улица может быть мокрой по ряду других причин, которые этот аргумент не принимает во внимание. Если мы посмотрим на действительную форму аргумента, мы увидим, что вывод должен быть верным:
Этот аргумент верен, и если бы шел дождь, он также был бы верным.
Если утверждения 1 и 2 верны, абсолютно следует, что утверждение 3 верно. Тем не менее, может быть так, что утверждения 1 или 2 неверны. Например:
В этом случае утверждение 1 неверно. Конкретная неформальная ошибка, допущенная в этом утверждении, - это аргумент от авторитета. Напротив, аргумент с формальной ошибкой может содержать все истинные предпосылки:
Хотя утверждения 1 и 2 верны, 3 не следует, потому что аргумент совершает формальную ошибку , подтверждающую последующее.
Аргумент может содержать как неформальную ошибку, так и формальная ошибка, тем не менее, приводит к выводу, который оказывается верным, например, снова подтверждая следствие, теперь также из ложной посылки:
«Некоторые из ваших ключевых доказательств отсутствуют, неполны или даже фальшивка! Это доказывает, что я прав! "
" Ветеринар не может найти разумного объяснения, почему моя собака умерла. Смотрите! Смотрите! Это доказывает, что вы его отравили! Другой логики нет. L объяснение! "
" Адольф Гитлер любил собак. Он был злым. Следовательно, любить собак - зло ».
A Диаграмма Венна, иллюстрирующая заблуждение:. Утверждение 1: Большая часть зеленого касается красного.. Утверждение 2: Большая часть красного касается синего.. Логическая ошибка: поскольку большая часть зеленого касается красного, а большая часть красного касается синего, большая часть зеленого должна касаться синего. Однако это ложное утверждение. В самом строгом смысле слова Логическая ошибка - это неправильное применение действующего логического принципа или применение несуществующего принципа:
Это ошибочно. И вот что:
Действительно, не существует логического принципа, который гласил бы:
An e Один из способов показать, что приведенный выше вывод недействителен, - использовать диаграммы Венна. Выражаясь логическим языком, вывод недействителен, поскольку по крайней мере при одной интерпретации предикатов он не сохраняет достоверность.
Людям часто сложно применять правила логики. Например, человек может сказать, что следующий силлогизм действителен, хотя на самом деле это не так:
«Это существо» вполне может быть птицей, но вывод не следует из предпосылок. У некоторых других животных также есть клювы, например: у осьминога и кальмара есть клювы, у некоторых черепах и китообразных есть клювы. Ошибки этого типа возникают из-за того, что люди переворачивают предпосылку. В этом случае выражение «Все птицы имеют клювы» преобразуется в «Все животные с клювами - птицы». Перевернутая посылка правдоподобна, потому что немногие люди знают о каких-либо примерах существования клювых существ, кроме птиц, но эта посылка не та, что была дана. Таким образом, дедуктивная ошибка состоит из пунктов, которые по отдельности могут казаться логичными, но когда их объединить вместе, они оказываются неверными.
В повседневной речи non sequitur - это утверждение, в котором заключительная часть совершенно не связана с первой частью, например:
Life is life and весело - это весело, но когда золотая рыбка умирает, все так тихо.
— Запад с Ночью, Берил Маркхэм
Философский портал 
Психологический портал  | Викиверситет имеет учебные ресурсы по Распознавание заблуждений |
 | Викискладе есть материалы, посвященные формальным заблуждениям. |
