Модус толленс
Тип | |
---|---|
Поле | |
Заявление | подразумевает . является ложным. Поэтому, также должно быть ложным. |
Символическое заявление | [1] |
Правила трансформации |
---|
Пропозициональное исчисление |
Правила вывода |
Правила замены |
Логика предикатов |
Правила вывода |
В высказываний логике modus tollens ( / ˈ m oʊ d ə s ˈ t ɒ l ɛ n z / ) ( MT ), также известный как modus tollendo tollens ( на латыни «метод удаления путем отнятия») [2] и отрицая следствие , [3] Это дедуктивная форма аргументации и правило вывода . Modus tollens — это смешанный гипотетический силлогизм , принимающий форму «Если P , то Q. Не Q. Следовательно, не P ». Это применение общей истины, согласно которой, если утверждение истинно, то и обратное ему истинно . Форма показывает, что вывод из P подразумевает Q, а отрицание Q подразумевает, что отрицание P является действительным аргументом.
История правила вывода modus tollens уходит корнями в глубокую древность . [4] Первым, кто явно описал форму аргумента modus tollens, был Теофраст . [5]
Modus tollens тесно связан с modus ponens . Есть две схожие, но недействительные формы аргументации : утверждение последующего и отрицание антецедента . См. также противопоставление и доказательство контрапозитивом .
Объяснение [ править ]
Форма аргументации modus tollens представляет собой смешанный гипотетический силлогизм с двумя посылками и заключением:
- Если П , Q. то
- Не Кью .
- Следовательно, П. не
Первая посылка представляет собой условное утверждение («если-то»), например, P подразумевает Q . Вторая посылка — это утверждение, что Q , следствие условного утверждения, не соответствует действительности. Из этих двух предпосылок можно логически заключить, что Р , антецедент условного утверждения, также не имеет места.
Например:
- Если собака обнаружит злоумышленника, она начнет лаять.
- Собака не лаяла.
- Таким образом, злоумышленника собака не обнаружила.
Если предположить, что обе предпосылки верны (собака будет лаять, если обнаружит злоумышленника, и действительно не будет лаять), из этого следует, что злоумышленник не был обнаружен. Это веский аргумент, поскольку вывод не может быть ложным, если посылки истинны. (Вполне возможно, что мог существовать злоумышленник, которого собака не обнаружила, но это не делает аргумент недействительным; первая посылка такова: «если собака обнаружит злоумышленника». Важно то, что собака обнаружит или сделает это). не обнаружить злоумышленника, даже если он есть.)
Пример 1:
- Если я грабитель, то я могу взломать сейф.
- Я не могу взломать сейф.
- Следовательно, я не грабитель.
Пример 2:
- Если Рекс — курица, то он птица.
- Рекс не птица.
- Следовательно, Рекс не курица.
Связь с настройкой режима [ править ]
Каждое использование modus tollens может быть преобразовано в использование modus ponens и одно использование транспозиции в посылку, которая является материальной импликацией. Например:
- Если П , Q. то (предпосылка – существенное значение)
- Если не Q , то и P. не (получено транспонированием)
- Не Кью . (помещение)
- Следовательно, П. не (получено методом modus ponens )
Аналогично, любое использование modus ponens может быть преобразовано в использование modus tollens и транспозиции.
Формальные обозначения [ править ]
Формально правило modus tollens можно сформулировать так:
где означает утверждение «P подразумевает Q». означает «это не тот случай, что Q» (или кратко «не Q»). Тогда, когда бы " " и " "каждый из них появляется сам по себе как строка доказательства , тогда" " может быть размещено на следующей строке.
Правило modus tollens можно записать в последовательных обозначениях:
где металогический символ , означающий, что является синтаксическим следствием и в некоторой логической системе ;
или как утверждение функциональной тавтологии или теоремы логики высказываний:
где и являются предложениями, выраженными в некоторой формальной системе ;
или включая предположения:
хотя, поскольку правило не меняет набор предположений, в этом нет строгой необходимости.
Более сложные переписывания, включающие modus tollens , часто встречаются, например, в теории множеств :
(«P — подмножество Q. x нет в Q. Следовательно, x нет в P».)
первого порядка Также в логике предикатов :
(«Для всех x, если x есть P, то x есть Q. y не есть Q. Следовательно, y не есть P.»)
Строго говоря, это не примеры modus tollens , но они могут быть получены из modus tollens с помощью нескольких дополнительных шагов.
Обоснование с помощью таблицы истинности [ править ]
Валидность modus tollens может быть наглядно продемонстрирована с помощью таблицы истинности .
п | д | п → д |
---|---|---|
Т | Т | Т |
Т | Ф | Ф |
Ф | Т | Т |
Ф | Ф | Т |
В случаях modus tollens мы предполагаем в качестве предпосылок, что p → q истинно, а q ложно. Существует только одна строка таблицы истинности — четвертая строка — которая удовлетворяет этим двум условиям. В этой строке p ложно. Следовательно, в каждом случае, когда p → q истинно, а q ложно, p также должно быть ложным.
Официальное доказательство [ править ]
Через дизъюнктивный силлогизм [ править ]
Шаг | Предложение | Вывод |
---|---|---|
1 | Данный | |
2 | Данный | |
3 | Существенный смысл (1) | |
4 | Дизъюнктивный силлогизм (3,2) |
Дорога к абсурду [ править ]
Шаг | Предложение | Вывод |
---|---|---|
1 | Данный | |
2 | Данный | |
3 | Предположение | |
4 | Режим настройки (1,3) | |
5 | Введение союза (2,4) | |
6 | Доведение до абсурда (3,5) | |
7 | Условное введение (2,6) |
Через противопоставление [ править ]
Шаг | Предложение | Вывод |
---|---|---|
1 | Данный | |
2 | Данный | |
3 | Противопоставление (1) | |
4 | Режим настройки (2,3) |
Соответствие математическим основам другим
Вероятностное исчисление [ править ]
Modus tollens представляет собой пример закона полной вероятности в сочетании с теоремой Байеса, выраженной как:
где условные обозначения и получаются с помощью (расширенной формы) теоремы Байеса, выраженной как:
В приведенных выше уравнениях обозначает вероятность , и обозначает базовую ставку (также известную как априорная вероятность ) . Условная вероятность обобщает логическое утверждение , т. е. в дополнение к присвоению ИСТИНА или ЛОЖЬ мы также можем присвоить утверждению любую вероятность. Предположим, что эквивалентно быть ИСТИНОЙ, и это эквивалентно быть ЛОЖЬЮ. Тогда легко это увидеть когда и . Это потому, что так что в последнем уравнении. Следовательно, члены произведения в первом уравнении всегда имеют нулевой множитель, так что что эквивалентно быть ЛОЖЬЮ. Следовательно, закон полной вероятности в сочетании с теоремой Байеса представляет собой обобщение modus tollens . [6]
Субъективная логика [ править ]
Modus tollens представляет собой экземпляр оператора абдукции в субъективной логике, выраженный как:
где обозначает субъективное мнение о , и обозначает пару биномиальных условных мнений, выраженных источником . Параметр обозначает базовую ставку (также известную как априорная вероятность ) . Похищенное маргинальное мнение о обозначается . Условное мнение обобщает логическое утверждение , т.е. помимо присвоения ИСТИНА или ЛОЖЬ источнику может приписать высказыванию любое субъективное мнение. Случай, когда является абсолютно ИСТИННЫМ мнением, эквивалентным источнику говоря это истинно, и случай, когда является абсолютным ЛОЖНЫМ мнением, эквивалентным источнику говоря это НЕВЕРНО. Оператор похищения субъективной логики порождает абсолютно ЛОЖНОЕ искаженное мнение когда условное мнение является абсолютной ИСТИНОЙ и вытекающее из этого мнение является абсолютной ЛОЖЬЮ. Следовательно, абдукция субъективной логики представляет собой обобщение как modus tollens , так и закона полной вероятности в сочетании с теоремой Байеса . [7]
См. также [ править ]
- Доказательства отсутствия – Ошибка релевантности
- Латинские фразы
- Modus Operandi – Привычки работы
- Modus ponens - Правило логического вывода.
- Modus vivendi – Соглашение, позволяющее конфликтующим сторонам мирно сосуществовать.
- Non sequitur – ошибочные дедуктивные рассуждения из-за логической ошибки.
- Доказательство от противного - Доказательство, показывающее, что отрицание невозможно.
- Доказательство контрапозитивом - концепция математической логики.
- Стоическая логика - система логики высказываний, разработанная философами-стоиками.
Примечания [ править ]
- ^ Мэтью С. Харрис. «Отрицание предшествующего» . Ханская академия .
- ^ Стоун, Джон Р. (1996). Латынь для неграмотных: изгнание призраков мертвого языка . Лондон: Рутледж. п. 60 . ISBN 978-0-415-91775-9 .
- ^ Сэнфорд, Дэвид Хоули (2003). Если P, то Q: Условные обозначения и основы рассуждений (2-е изд.). Лондон: Рутледж. п. 39. ИСБН 978-0-415-28368-7 .
[Modus] tollens всегда является аббревиатурой от modus tollendo tollens, настроения, которое отрицанием отрицается.
- ^ Сюзанна Бобзиен (2002). «Развитие Modus Ponens в древности» , Phronesis 47.
- ^ «Древняя логика: предшественники Modus Ponens и Modus Tollens » . Стэнфордская энциклопедия философии .
- ^ Аудун Йосанг 2016: стр.2
- ^ Аудун Йосанг 2016: стр.92
Источники [ править ]
- Аудун Йосанг, 2016, Субъективная логика; Формализм рассуждений в условиях неопределенности Спрингер, Чам, ISBN 978-3-319-42337-1
Внешние ссылки [ править ]
- Модус Толленс в Wolfram MathWorld