logo search
Асмус_Логика_2001

Ошибки, возможные в условно-категорическом силлогизме

§ 8. Modus ponens и modus tollens – два единственных модуса условно-категорического силлогизма, по которым может быть получен правильный вывод. Из истинности основания всегда логически следует истинность также и следствия. И точно так же из ложности следствия всегда логически следует ложность и основания.

Напротив, ложность основания сама по себе ещё не дает права утверждать ложность следствия.

Так, рассмотрим условно-категорический силлогизм:

Если Иванов – студент, то он обязан держать экзамены.

Иванов – не студент.

Иванов не обязан держать экзамены.

Этот силлогизм, очевидно, будет логически ошибочен. В самом деле: если бы суждение, выраженное условной посылкой, было истинным, то из него необходимо следовало бы, что объём понятия «Иванов» входит в объём понятия «лица, обязанные держать экзамены». Но именно потому, что объём понятия «Иванов» составляет, как видно из условий посылки, только часть объёма понятия «лица, обязанные держать экзамены», мы, узнав из категорической посылки, что объём понятия «Иванов» не входит в объём понятия «студенты», не имеем права заключать, что Иванов не обязан держать экзамены. И действительно, Иванов может оказаться обязанным держать экзамены по принадлежности к ученикам средней школы, к аспирантам и т. д.