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

Примером условно-категорического силлогизма может служить следующее умозаключение:

Если истекло два года после совершения преступления небольшой тяжести, то обвиняемый освобождается от уголовной ответственности.

Истекло 2 года после совершения преступления небольшой тяжести гражданином N.

Гражданин N. освобождается от уголовной ответственности.

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

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

правильный модус (modus ponens) неправильный модус

А ® В А ® В

A B

В А

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

Если идёт дождь, то тротуары мокрые. Идёт дождь.

Тротуары мокрые.

То есть переход от утверждения основания к утверждению следствия является правильным. Обратный же переход от утверждения следствия к утверждению основания является неверным. Следующее умозаключение является неправильным:

Если судья является родственником потерпевшего, то он не может участвовать в рассмотрении дела.

Судья не может участвовать в рассмотрении дела.

Вывод не возможен.

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

правильный модус (modus tollens) неправильный модус

А ® В А ® В

ØВ ØА

ØА ØВ

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

Если идёт дождь, то тротуары мокрые. Тротуары сухие.

Дождя нет.

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

Если судья является родственником потерпевшего, то он не может участвовать в рассмотрении дела.

Судья не является родственником потерпевшего.

Вывод не возможен.

(4б) Разделительно-категорический силлогизм.