Как видно из приведенного примера, производя умозаключение от отрицания основания к отрицанию следствия, мы получим не истинное, а вероятностное следствие.
Формулы утверждающего и отрицающего модусов являются законами логики, в то время как формулы вероятностных — не являются.
Разделительные умозаключения делятся на простые разделительные и разделительно-категорические умозаключения. В первом случае разделительными являются все посылки. Соответственно, разделительно-категорические суждения имеют в качестве одной из посылок простое категорическое суждение.
Таким образом, разделительным считается умозаключение, все или часть посылок которого являются разделительными суждениями. Структура простого разделительного умозаключения отражается следующим образом.
S есть А или В, или С.
А есть А1 или А2.
S есть А1 или А2, или В, или С.
Примером такого умозаключения является следующее.
Разделительно-категорические умозаключения можно представить в виде схемы.
S есть А или В. S есть А (В). S не есть В (А). Например:
Здесь необходимо упомянуть об условно-разделительных умозаключениях. От указанных выше умозаключений они отличаются посылками. Одна из них — это разделительное суждение, что не является особенным, однако вторая посылка таких суждений состоит из двух или нескольких условных суждений.
Условно-разделительное суждение может быть или дилеммой, или трилеммой. В дилемме условная посылка состоит из двух членов. При этом разделительная подразумевает наличие выбора. Другими словами, дилемма — это выбор одного из двух вариантов.
Дилемма бывает простой конструктивной и сложной конструктивной, а также простой и сложной деструктивной. Первая имеет две посылки, одна из которых утверждает одинаковый исход двух предложенных ситуаций, другая говорит о том, что возможна одна из этих ситуаций. Следствие резюмирует утверждение первой посылки (условного суждения).
Сложная конструктивная дилемма предполагает более тяжелый выбор между альтернативами.
Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.
Бывают случаи, когда в условных, разделительных или условно-разделительных умозаключениях пропускаются заключение или одна из посылок. Такие умозаключения называют сокращенными.
ЛЕКЦИЯ № 16
Силлогизм
1. Понятие силлогизма. Простой категорический силлогизм
Слово «силлогизм» произошло от греческого syllogysmos, что означает «вывод». Очевидно, что силлогизм — это выведение следствия, заключения из определенных посылок. Силлогизм бывает простым, сложным, сокращенным и сложносокращенным.
Силлогизм, посылками в котором являются категорические суждения, называется, соответственно, категорическим. Посылок в силлогизме две. Они содержат три термина силлогизма, обозначаемые буквами S, P и М. Р — это больший термин, S — меньший, а М — средний, связующий. Другими словами, термин Р шире по объему (хотя уже по содержанию) как М, так и S. Самый узкий по объему термин силлогизма — это S. При этом больший термин содержит предикат суждения, меньший — его субъект. S и Р связаны между собой средним понятием (М).
Пример категорического силлогизма.