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

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

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

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

Отрицающе-утверждающий модус – разделительно-категорическое умозаключение, в котором отрицание одного из членов дизъюнкции влечет утверждение другого. Например:

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

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

Разделительное умозаключение является правильным при определенных условиях, а именно:

1)части разделительного умозаключения в посылке находятся в отношении исключающего разделения (строгой дизъюнкции);

2)части разделительного суждения в посылке исчерпывают объем делимого понятия.

Разделительное умозаключение существует в двух модусах:

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

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

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

26. Условно разделительные умозаключения.

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

По числу членов деления оно называется дилеммой, трилеммой, полилеммой.

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

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

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

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

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

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

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

Условно-разделительные умозаключения существуют в простом и сложном модусах.

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

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