В первом примере три термина в большой и малой посылке были «животные», «люди» и «смертны». А двумя терминами в заключении были «люди» (термин из меньшей посылки) и «смертны» (термин из большей посылки). В силлогистических рассуждениях третий, общий для обеих посылок термин («животные») всегда выпадает из заключения.
Аристотель называет общий для большей и меньшей посылок термин
Я не буду подробно описывать вам, как это работает во всех трех примерах. Вы можете сделать это сами.
Вот
Мало того, что заключение в действительности ложно, оно также логически неправильно. Утвердительное заключение можно сделать из двух утвердительных посылок, но сделать истинное заключение из двух отрицательных посылок невозможно вообще. Причина в том, что главная отрицательная посылка исключила людей из класса объектов, которые по своей природе являются вьючными животными; а отрицательная меньшая посылка исключила всех мулов из класса людей. Таким образом, мы не можем сделать хоть какой-нибудь правильный вывод о связи между классом мулов и классом объектов, которые по своей природе являются вьючными животными.
Интересная особенность этого примера в том, что большая и меньшая посылки истинны, а заключение, будучи выведенным из них нелогичным путем, ложно. Вполне возможна ситуация, в которой обе посылки в действительности являются ложными и из них выйдет логически верное, но в действительности ложное заключение. Например:
Все эти примеры показывают нам, то, что уже было отмечено и что, пожалуй, стоит повторить.
Рассуждения бывают логически верными независимо от того, являются ли посылки или заключения в действительности истинными или ложными.
Только если обе посылки действительно истинны, заключение, логически следующее из них, будет также истинным.
Если любая из посылок является ложной, то логически следующий из них вывод бывает как истинным, так и ложным.
Мы не можем предсказать, каким он будет. Напротив, если заключение, логически вытекающее из определенных посылок, в действительности ложно, то мы можем сделать вывод, что одна или обе посылки, из которых оно вышло, также должны быть ложными.
Это приводит нас к еще одному важному правилу рассуждений, на которое указывал Аристотель. В силлогических рассуждениях, как и в непосредственных выводах, действительность вывода выражается словами «если» и «то».
В случае силлогистических рассуждений,
Но мы еще не доказали истинность посылок. Мы доказали только действительность вывода из посылок. Когда мы заменим «если» на «поскольку», мы сможем заменить «то» на «тогда» и доказать истинность заключения.