Дизъюнктивный силлогизм - Disjunctive syllogism

В классическая логика, дизъюнктивный силлогизм[1][2] (исторически известный как modus tollendo ponens (MTP),[3] латинский за "режим, утверждающий отрицанием")[4] это действительный форма аргумента который является силлогизм иметь дизъюнктивное заявление для одного из предпосылки.[5][6]

Пример в английский:

Нарушение является нарушением безопасности и не подлежит штрафу.
Нарушение не является нарушением безопасности.
Таким образом, он не подлежит штрафам.

Логика высказываний

В логика высказываний, дизъюнктивный силлогизм (также известен как устранение дизъюнкции и или устранение, или сокращенно ∨E),[7][8][9][10] действительный правило вывода. Если нам говорят, что хотя бы одно из двух утверждений верно; а также сказали, что верно не первое; мы можем сделать вывод что верно последнее. Если п правда или Q правда и п ложно, тогда Q правда. Причина, по которой это называется «дизъюнктивный силлогизм», состоит в том, что, во-первых, это силлогизм, трехступенчатый аргумент и, во-вторых, он содержит логическую дизъюнкцию, которая просто означает оператор «или». «P или Q» - дизъюнкция; P и Q называются операторами разъединяет. Правило позволяет исключить дизъюнкция из логическое доказательство. Правило:

где правило таково, что всякий раз, когда экземпляры "", и ""появляются на строках доказательства","можно разместить на следующей строке.

Дизъюнктивный силлогизм тесно связан и похож на гипотетический силлогизм, в том смысле, что это также тип силлогизма, а также название правила вывода. Это также связано с закон непротиворечивости, один из три традиционных закона мысли.

Формальное обозначение

В дизъюнктивный силлогизм правило может быть записано в последовательный обозначение:

куда это металогический символ, означающий, что это синтаксическое следствие из , и в некоторых логическая система;

и выражается как функционал истины тавтология или же теорема логики высказываний:

куда , и суждения, выраженные в некоторых формальная система.

Примеры естественного языка

Вот пример:

Я выберу суп или салат.
Я не буду выбирать суп.
Поэтому выберу салат.

Вот еще один пример:

Он красный или синий.
Это не синий.
Следовательно, он красный.

Включающая и исключительная дизъюнкция

Обратите внимание, что дизъюнктивный силлогизм работает независимо от того, считается ли «или» «исключительным» или «включающим» дизъюнкцией. См. Определения этих терминов ниже.

Есть два вида логической дизъюнкции:

  • включающий означает «и / или» - по крайней мере, одно из них истинно, а может и оба.
  • эксклюзивный ("xor") означает, что одно должно быть истинным, но они не могут быть оба.

Широко распространенная концепция английского языка или же часто является двусмысленным между этими двумя значениями, но разница имеет решающее значение при оценке дизъюнктивных аргументов.

Этот аргумент:

P или Q.
Не П.
Следовательно, Q.

действительно и безразлично между обоими значениями. Однако только в эксклюзивный означает, что действительна следующая форма:

Либо (только) P, либо (только) Q.
П.
Следовательно, не Q.

С включающий это означает, что вы не можете сделать вывод из первых двух предпосылок этого аргумента. Видеть подтверждая дизъюнкцию.

Связанные формы аргументов

В отличие от modus ponens и modus ponendo tollens, с чем его не следует путать, дизъюнктивный силлогизм часто не делается явным правилом или аксиомой логические системы, поскольку приведенные выше аргументы могут быть доказаны с помощью (слегка хитрой) комбинации сокращение до абсурда и устранение дизъюнкции.

Другие формы силлогизма включают:

Дизъюнктивный силлогизм сохраняется в классической логике высказываний и интуиционистская логика, но не в некоторых паранепротиворечивая логика.[11]

Смотрите также

Рекомендации

  1. ^ Copi, Irving M .; Коэн, Карл (2005). Введение в логику. Прентис Холл. п. 362.CS1 maint: ref = harv (связь)
  2. ^ Херли, Патрик (1991). Краткое введение в логику 4-е издание. Wadsworth Publishing. С. 320–1.
  3. ^ Леммон, Эдвард Джон. 2001. Начальная логика. Тейлор и Фрэнсис / CRC Press, стр. 61.
  4. ^ Стоун, Джон Р. (1996). Латынь для иллитератов: изгнание призраков мертвого языка. Лондон: Рутледж. п.60. ISBN  0-415-91775-1.
  5. ^ Hurley
  6. ^ Копи и Коэн
  7. ^ Сэнфорд, Дэвид Хоули. 2003 г. Если P, то Q: Условия и основы рассуждения. Лондон, Великобритания: Рутледж: 39
  8. ^ Hurley
  9. ^ Копи и Коэн
  10. ^ Мур и Паркер
  11. ^ Крис Мортенсен, Непоследовательная математика, Стэнфордская энциклопедия философии, Впервые опубликовано 2 июля 1996 г .; существенная ревизия 31 июля 2008 г.