Условно-категорический силлогизм — это дедуктивное опосредованное умозаключение, в котором одна из посылок — условное суждение, а другая — категорическое.
Примером условно-категорического силлогизма может служить следующее умозаключение:
Если истекло два года после совершения преступления небольшой тяжести гражданином К, то он освобождается от уголовной ответственности.
Гражданин К. совершил преступление небольшой тяжести два года назад.
Гражданин К. освобождается от уголовной ответственности.
В данном умозаключении условная посылка выражает связь между основанием и следствием, а вторая утверждает об истинности основания. В заключении утверждается об истинности следствия.
Условно-категорический силлогизм имеет два утвердительных модуса, из которых только один является правильным, то есть дающим достоверное заключение:
правильный модус (modus ponens) неправильный модус
p ® q p p ® q q
q p
Например, следующее умозаключение является правильным:
Если идёт дождь, то тротуары мокрые. Идёт дождь.
Тротуары мокрые.
То есть переход от утверждения основания к утверждению следствия является правильным. Обратный же переход от утверждения следствия к утверждению основания является неверным. Следующее умозаключение является неправильным:
Если идёт дождь, то тротуары мокрые. Тротуары мокрые.
Идёт дождь.
Условно-категорический силлогизм имеет также два отрицательных модуса, из которых только один является правильным, то есть дающим достоверное заключение:
правильный модус (modus tollens) неправильный модус
p ® q Øq p ® q Øp
Øp Øq
Например, следующее умозаключение является правильным:
Если идёт дождь, то тротуары мокрые. Тротуары сухие.
Дождя нет.
То есть переход от отрицания следствия к отрицанию основания является правильным. Обратный же переход от отрицания основания к отрицанию следствия является неверным. Следующее умозаключение является неправильным:
Если идёт дождь, то тротуары мокрые. Дождя нет.
Тротуары сухие.