Разделительные силлогизмы

Тема 21. Разделительные силлогизмы.

План

1. Определение разделительного силлогизма.
2. Разделительно-категорические выводы и их модусы.

 

Упражнения

1. Определите  фигуру, модус и правильность  следующих разделительных силлогизмов:

1.1 Суждения  бывают либо истинные, либо ложные. Данное суждение истинно. Значит оно не является ложным.

1.2 Это или  убийство, или несчастный случай. Это не несчастный случай. Следовательно  это убийство.

1.3 Он учится  на дневном или заочном. Но  я знаю точно, что не на  дневном. Значит, на заочном.

1.4 Умозаключение  бывает непосредственным или  опосредованным. Данное умозаключение – силлогизм, значит оно не является непосредственным. 

 

Ответы:

     1.Определение  разделительного силлогизма

     Одной из разновидностей дедуктивных умозаключений  является разделительный силлогизм. Разделительными, или дизъюнктивными, силлогизмами называются такие, первая посылка которых есть разделительное (дизъюнктивное) суждение.

     Вторая  посылка и вывод суть суждения разделительные или категорические.

     Схема дизъюнктивного, или разделительного, суждения, образующего

первую  посылку дизъюнктивного силлогизма, имеет такой вид: S есть или А, или  В, или С.

     В разделительном силлогизме правильность вывода будет гарантирована лишь тогда, когда в разделительной посылке будут перечислены все члены деления (деление должно быть полным), и при этом члены деления должны исключать друг друга, что следует из правила деления.

     Чисто разделительный силлогизм составляют разделительные посылки, например:

     Четырехугольники  суть равносторонние или они неравносторонние

     Равносторонние  четырехугольники есть квадраты или  ромбы

     Четырехугольники  есть неравносторонние, или квадраты, или ромбы  

     Символически  это можно записать так:

     S есть Р или S есть Р1

     Р есть Р2 или Р3

     S есть Р1 или Р2 или Р3 

     2. Разделительно-категорические выводы и их модусы.

     Умозаключение, в котором на месте большей  посылки — суждение разделительное, а на месте меньшей посылки — суждение категорическое, называется разделительно-категорический силлогизм. Как и условно-категорический силлогизм, разделительно-категорический имеет всего два правильных модуса: утверждающе-отрицающий, или роnеndо-tоllеns, и отрицающе-утверждающий, или tоllеndо-роnеns. Например:

     Деревья у нас либо лиственные, либо хвойные

     Данное  наше дерево - хвойное

     Данное  дерево - не лиственное

     Другой  пример:

     Деревья у нас либо лиственные, либо хвойные

     Данное  наше дерево - не хвойное

     Данное  дерево - лиственное

     В этих разделительно-категорических силлогизмах  меньшая посылка в первом случае утвердительное суждение, а вывод  отрицателен, во втором - отрицательная, но вывод положителен. Соответственно, эти модусы и называются - утверждающе-отрицающий (роnеndо-tollеns) и отрицающе-утверждающий (tollendo-ponens).

     В разделительно-категорическом силлогизме можно выделить четыре их разновидности, или модуса:

     В v С          В v С          В v С          В v С

        В              не-В               С              не-С

     не-С               С              не-В              В

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

 

Упражнения

   1. Определите  фигуру, модус и правильность  следующих разделительных силлогизмов:

   1.1 Суждения  бывают либо истинные, либо ложные. Данное суждение истинно. Значит оно не является ложным.

Модус утверждающе-отрицающий:

BvC

B

Не-С 

   1.2 Это  или убийство, или несчастный  случай. Это не несчастный случай. Следовательно это убийство.

Модус отрицающее-утверждающий

ВvС

не-С

В 

   1.3 Он  учится на дневном или заочном.  Но я знаю точно, что не на дневном. Значит, на заочном.

Модус отрицающее-утверждающий

BvC

не-В

С 

   1.4 Умозаключение  бывает непосредственным или  опосредованным. Данное умозаключение  – силлогизм, значит оно не  является непосредственным.

Модус утверждающе-отрицающий

BvC

С

не-В

 

Литература:

     Малыхина  Г.И. Логика. Минск, 2005.

     Горский Д.П. Краткий словарь по логике. М., 1991.