Условные силлогизмы (виды и правила построения)

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

Силлогизм, в котором обе посылки являются уловными, называется чисто условным. Чисто условный силлогизм выражается формулой:

Если А, то В.

Если В, то С

Следовательно, если А, то С,

то есть:

Силлогизм, в котором одна посылка — условное суждение, а другая — категорическое, называется условно-категорическим. Условно-категорический силлогизм имеет два правильных модуса: а) утверждающий и б) отрицающий. Разновидность условно-категорического силлогизма, в котором ход заключения направлен от утверждения основания к утверждению следствия (т.е. от признания истинности основания к признанию истинности следствия), называется утверждающим модусом. Его схема:

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

Этот силлогизм имеет формулу:

Та часть посылки, которая начинается словом «если» и стоит перед знаком импликации, называется антецедентом, или основанием. Та часть посылки, которая начинается словом «то» и находится после знака импликации, называется консеквентом или следствием.