Привести к классической форме простого категорического силлогизма следующее сложное (молекулярное) суждение «Все торты полнят, поэтому ни один торт не является здоровой едой, ибо ни одна здоровая еда не полнит». Определить фигуру и модус этого силлогизма. Проверить корректность этого силлогизма методом построения диаграмм Эйлера (или Венна) и методом соответствия правилам для корректных силлогизмов.
Решение
Большая посылка:
Ни одна здоровая еда (Р+) не полнит (М+).
Меньшая посылка:
Все торты (S+) полнят (М-).
Заключение:
Ни один торт (S+) не является здоровой едой (Р+).
Термины (S, Р, М) идентичны.
Фигура силлогизма:
Р М
S М
Логическая форма силлогизма:
Ни одно Р+ не есть М+.
Все S+ есть М-.
Ни одно S+ не есть Р+.
Фигура силлогизма – вторая (№ 2)
. Модус ЕАЕ.
Проверка правил терминов силлогизма:
1. В каждом силлогизме должно быть только три термина. – Соблюдено. 2. Средний термин должен быть распределен хотя бы в одной посылке. – Соблюдено. 3. Термин распределен в заключении, если и только если он распределен в посылках. – Соблюдено.
Проверка правил посылок силлогизма:
4. Из двух отрицательных посылок нельзя сделать никакого заключения