Все кошки любят молоко.
Некоторые люди любят кошек.
Некоторые люди любят молоко.
Найдем термины этого силлогизма: «Кошки» - это меньший термин, соответственно «Все кошки любят молоко» - меньшая посылка; «Молоко» - больший термин, соответственно «Некоторые люди любят молоко» - большая посылка; «Некоторые люди любят кошек» - это средний термин.
Данное умозаключение является простым категорическим силлогизмом, т.к. в нем из двух простых категорических суждений ("Все кошки любят молоко" и "Некоторые люди любят кошек"), связанных общим термином ("кошки"), получается новое простое категорическое суждение ("Некоторые люди любят молоко").
9. Проверьте, является ли корректной следующая энтимема:
"Железо твердое, потому что железо – это металл".
Запишем ее в удобной для анализа форме:
Железо твердое.
Железо – это металл.
Определим термины данной энтимемы. Меньший термин «железо», следовательно, нам дана меньшая посылка, в которой средний термин («железо твердое»). Следовательно, нам нужно восстановить большую посылку. Для этого у нас есть все необходимое: нам известен средний термин и предикат заключения «металл», который в большей посылке является большим термином. Нам остается только соединить больший и средний термины и получить большую посылку.
Опираясь на уже известным вам правила силлогизма, мы вправе утверждать, что 1) пропущенная посылка должна быть утвердительной, иначе заключение было бы отрицательным, а у нас оно утвердительное; 2) средний термин в пропущенной посылке должен быть распределен, в противном случае будет не респределен ни в одной из посылок, так в данной посылке он не распределен.
Утвердительный суждений с терминами М и Р может быть только четыре: «Металлы являются твердыми» (но здесь М не распределен), «Некоторые металлы являются твердыми» (и здесь М не распределен), «Некоторые металлы не являются твердыми» (М тоже не распределен), «Все металлы являются твердыми». Только этом случае М распределен. Следовательно, пропущенная посылка «Все металлы являются твердыми».
В нашем примере единственно возможная посылка является ложной, так как не все металлы являются твердыми. Значит, данная энтимема будет логически некорректной.
10. Используя условную посылку, постройте умозаключение по: а) утверждающему модусу, б) отрицательному модусу. Постройте их схему в символической записи.
Если будет засуха (А), то посевы погибнут (В).
а) по утверждающему модусу:
"Если будет засуха (А), то посевы погибнут (В)". А→В
(А) Будет засуха.
(В) Посевы погибнут.
Схема: если А→ то В
А
В или ((А→В) ν А) →В)
б) по отрицательному модусу:
"Посевы не погибнут (В), если не будет засухи (А)", А→В
(не А) Не будет засухи.
(не В) Посевы не погибнут.
Схема: если А→ то В, не А, не В
Если будет выплачен аванс, то сделка состоится.
а) по утверждающему модусу:
"Если будет выплачен аванс (А), то сделка состоится (В)". А→В
(А) Будет выплачен аванс.
(В) Сделка состоится.
Схема: если А→ то В
А
В или ((А→В) ν А) →В)
б) по отрицательному модусу:
"Сделка не состоится (В), если не будет выплачен аванс (А)", А→В
(А) Не будет выплачен аванс.
(В) Сделка не состоится.
Схема: если А→ то В, если не А, то не В
Не В В
Не А Ā
11. Используя разделительную посылку, постройте умозаключение по: а) утверждающе-отрицательному модусу, б) отрицающе-утверждающему модусу. Постройте их схему в символической записи.
1) Встреча не состоялась (А). Либо один из участников забыл о ней (В1), либо перепутал место встречи (В2), либо перепутал время встречи (В3).
А есть В1, или В2, или В3.
по: а) утверждающе-отрицательному модусу,
А v В1, А v В2, А v В3
Альтернативы: «Встреча состоялась» (А) и «Встреча не состоялась» (В)
Категорическая посылка - «Встреча не состоялась » - подтверждает одну из альтернатив (В).
Модус этого силлогизма утверждающе-отрицающий.
по б) отрицающе-утверждающему модусу
В данном примере не учтена возможность, например, несчастного случая. Участник умер по дороге на встречу или его задавила машина.
А или В. Не-А. Следовательно, В.
А или В. Не-В. Следовательно, А.
Машина не завелась. Либо закончился бензин, либо машина неисправна.
А есть В1, или В2.
по: а) утверждающе-отрицательному модусу,
А v В1, А v В2.
Альтернативы: «Машина завелась» (А) и «Машина не завелась» (В)
Категорическая посылка - «Машина не завелась » - подтверждает одну из альтернатив (В).
Модус этого силлогизма утверждающе-отрицающий.
по б) отрицающе-утверждающему модусу
В данном примере не учтена возможность, например, угона автомашины, ее поджога или взрыва.
А или В. Не-А. Следовательно, В.
А или В. Не-В. Следовательно, А.
Определите вид дилеммы, сделайте вывод и постройте его схему.
"Если наука идет от заранее назначенного идеала к жизни, то она обречена на схоластику. Если же она идет от жизни к идеалу, то она становится плодотворной".
Если наука идет от заранее назначенного идеала к жизни, то она обречена на схоластику (А®В).
Если же она идет от жизни к идеалу, то она становится плодотворной (А®С).
Наука либо обречена на схоластику, либо она плодотворна.
(А®В) Ú (А®С), А Ú В, А Ú С.
Это сложная конструктивная дилемма:
- в условной посылке устанавливается два основания и разные следствия, которые вытекает из этих оснований.
- в разделительной посылке утверждается возможность только этих двух оснований, а в заключении - только этих двух следствий.