Установите корректность следующих силлогизмов:
1. Ни одно млекопитающее не дышит жабрами, акула же дышит жабрами, значит…
2. Хулиганство – наказуемое деяние, так как все преступления – наказуемые деяния, а хулиганство преступление.
3. Некоторые люди обладают способностью к быстрому счету. Некоторые люди – математики. Следовательно, все математики обладают способностью к быстрому счету.
4. Некоторые земноводные животные есть млекопитающие. Все млекопитающие есть позвоночные. Следовательно…
5. Все тела при нагревании расширяются. Это тело расширилось. Следовательно…
6. Все металлы являются веществами. Все металлы – химические элементы. Следовательно, все вещества являются химическими элементами.
7. Все планеты есть небесные тела. Ни одна планета не есть самосветящееся тело. Следовательно…
Решение
1)
Е: Ни одно млекопитающее (Р+) не дышит жабрами (М+).
А: Акула (S+) дышит жабрами (М-).
Е: Акула (S+) не есть млекопитающее (Р+).
Схема вывода:
Ни одно Р не есть М
Все S есть М
Данный модус – Cesare – является правильным модусом 2-й фигуры силлогизма, следовательно, умозаключение является правильным, а заключение, полученное в результате рассуждения, – достоверным.
Проверка правил терминов:1. В каждом силлогизме должно быть только три термина. – Соблюдено. 2. Средний термин должен быть распределен, по крайней мере, в одной из посылок. – Соблюдено. 3. Термин распределен в заключении, если и только если он распределен в посылках. – Соблюдено.
Проверка правил посылок: 4. Из двух отрицательных посылок нельзя сделать никакого заключения. – Соблюдено. 5. Если одна из посылок отрицательная, то и заключение должно быть отрицательным. – Соблюдено. 6. Из двух частных посылок нельзя сделать заключение. – Соблюдено. 7. Если одна из посылок частная, то и заключение должно быть частным. – Соблюдено.
Проверка правил фигур: при второй фигуре одна из посылок и заключение должны быть отрицательными, большая посылка должна быть общей.
Силлогизм правильный, вывод следует с необходимостью.
2)
А: Все преступления (М+) – наказуемые деяния (Р-).
А: Хулиганство (S+) – преступление (М-).
Е: Хулиганство (S+) – наказуемое деяние (Р-).
Схема вывода:
Все М есть Р
2794636736600027952706350000
279527016827500
Все S есть М
Данный модус – Barbara – является правильным модусом 1-й фигуры силлогизма, следовательно, умозаключение является правильным, а заключение, полученное в результате рассуждения, – достоверным.
Проверка правил терминов:1. В каждом силлогизме должно быть только три термина. – Соблюдено. 2. Средний термин должен быть распределен, по крайней мере, в одной из посылок. – Соблюдено. 3. Термин распределен в заключении, если и только если он распределен в посылках. – Соблюдено.
Проверка правил посылок: 4. Из двух отрицательных посылок нельзя сделать никакого заключения. – Соблюдено. 5. Если одна из посылок отрицательная, то и заключение должно быть отрицательным
. – Соблюдено. 6. Из двух частных посылок нельзя сделать заключение. – Соблюдено. 7. Если одна из посылок частная, то и заключение должно быть частным. – Соблюдено.
Проверка правил фигур: при первой фигуре большая посылка должна быть общей, меньшая – утвердительной.
Силлогизм правильный, вывод следует с необходимостью.
3)
I: Некоторые люди (М-) обладают способностью к быстрому счету (Р+).
I: Некоторые люди (М-) – математики (S+).
А: Все математики (S+) обладают способностью к быстрому счету (Р-).
Схема вывода:
Некоторые М есть Р
Некоторые М есть S
Фигура 3. Модус IIА является неправильным модусом.
Проверка правил терминов:1. В каждом силлогизме должно быть только три термина. – Соблюдено. 2. Средний термин должен быть распределен, по крайней мере, в одной из посылок. – Нарушено. 3. Термин распределен в заключении, если и только если он распределен в посылках. – Нарушено.
Проверка правил посылок: 4. Из двух отрицательных посылок нельзя сделать никакого заключения. – Соблюдено. 5. Если одна из посылок отрицательная, то и заключение должно быть отрицательным. – Соблюдено. 6. Из двух частных посылок нельзя сделать заключение. – Нарушено. 7. Если одна из посылок частная, то и заключение должно быть частным. – Нарушено.
Силлогизм неправильный, вывод недостоверный.
4)
I: Некоторые земноводные животные (Р-) есть млекопитающие (М-).
А: Все млекопитающие (М+) есть позвоночные (S-).
I: Некоторые позвоночные (S-) есть земноводные (Р-).
Схема вывода:
Некоторые Р есть М
Все М есть S
Данный модус – Dimaris – является правильным модусом 4-й фигуры силлогизма, следовательно, умозаключение является правильным, а заключение, полученное в результате рассуждения, – достоверным.
Проверка правил терминов:1. В каждом силлогизме должно быть только три термина. – Соблюдено. 2. Средний термин должен быть распределен, по крайней мере, в одной из посылок. – Соблюдено. 3. Термин распределен в заключении, если и только если он распределен в посылках. – Соблюдено.
Проверка правил посылок: 4