(3Б) Разделительно-категорический силлогизм.

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

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

От населённого пункта А до населённого пункта Б можно добраться либо поездом, либо самолётом.

Гражданин К. не мог полететь на самолёте.

Гражданин К. приехал поездом.

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

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

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

ponendo-tollens tollendo-ponens

p q p p q q

q p

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

(3В) Условно-разделительный силлогизм.

Условно-разделительный силлогизм — это дедуктивное опосредованное умозаключение, в котором одна из посылок — разделительное суждение, а остальные — условные.

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

От населённого пункта А до населённого пункта Б можно добраться либо поездом, либо автобусом.

Если гражданин К. поедет на поезде, то он будет в пункте Б не раньше воскресенья.

Если гражданин К. поедет на автобусе, то он будет в пункте Б не раньше воскресенья.

Гражданин К. будет в пункте Б не раньше воскресенья.

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

Условно-категорический силлогизм, разделительная посылка которого содержит два дизъюнкта, называется дилеммой, три дизъюнкта — трилеммой, четыре и более — полилеммой.

Рассмотрим более подробно дилемму как наиболее часто встречающийся вид условно-категорического силлогизма. Дилемма называется простой, если её условные посылки имеют одно и то же следствие. В противном случае дилемма называется сложной. Кроме того, дилемма может быть конструктивной и деструктивной. В первом случае дизъюнктами разделительной посылки являются основания условных посылок, а во втором — отрицания следствий условных посылок. Таким образом, различают четыре вида дилемм:

простая конструктивная сложная конструктивная

p q p r p q p r

q r q s

r r s

простая деструктивная сложная деструктивная

p q r p p q r p

r q s q

r r s