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

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

Простые разделительно-категорические силлогизмы имеют два модуса:

1) утверждая-отрицающий (modus ponendo tollens)

А есть либо В, либо С.

А есть В.

А не есть С;

2) отрицая-утверждающий (modus tollendo ponens)

А есть либо В, либо С.

А не есть В.

А есть С.

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

Вторая ошибка называется «неполное деление». Эта ошибка проявляется там, где в разделительной посылке мы укажем неполный перечень всех возможных предикатов. Например, в посылке «А есть либо В, либо С, либо D» мы в виде разделительной посылки возьмем «А есть либо В, либо С», а в виде категорической − «А не есть В», то заключение «А есть С» будет ошибочным, поскольку предикат D отсутствует и информация о признаках субъекта становится неполной.