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