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

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

Его схема такова:

Например:

2. Разделительно-категорический силлогизм – это умозаключение из двух и более посылок, из которых, по крайней мере, одна – разделительное (дизъюнктивное) суждение, а остальные – категорические. Разделительно-категорический силлогизм имеет два модуса: утверждающе-отрицающий ( modus ponendo tollens) и отрицающее-утверждающий ( modus tollendo ponens).

· Схема утверждающе-отрицающего модуса (modus ponendo tollens):

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

Правило modus ponendo tоllens – разделительная посылка должна быть строгой (исключающей) дизъюнкцией.

Например:

· Схема отрицающе-утверждающего модуса (modus tоllendo ponens):

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

Правило modus tоllendo ponens – в разделительной посылке должны быть перечислены все возможные альтернативы.

Например: