Упражнение. Сделайте вывод из посылок с помощью общих правил силлогизма

Сделайте вывод из посылок с помощью общих правил силлогизма. Сделайте полный разбор силлогизма: укажите заключение (вывод) и посылки, средний, меньший и больший термины, меньшую и большую посылки. Запишите структуру силлогизма. Определите фигуру и модус. Проверьте по правилам

Пример: Все студенты юридических факультетов изучают логику. Иванов изучает логику. Следовательно…

Для того чтобы сделать вывод, необходимо найти в обеих посылках средний термин. В данном случае – это понятии «изучающие логику». Оставшиеся термины – крайние.

Все студенты юридических факультетов (Р+) изучают логику (М-).

Иванов (S+) изучает логику (М-).

Иванов (S+) – студент юридического факультета (Р-).

А: Все Р+ есть М- – большая посылка

А: Все S+ есть М- - меньшая посылка

А: Все S+ есть Р- - заключение

PM

SM

2 фигура (ААА)

Из анализа посылок устанавливаем, что средний термин, занимающий место предиката в обеих посылках, не распределен ни в одной из них. Нарушено правило терминов, значит, вывод не является необходимым, заключение недостоверно.

Об этом свидетельствует и то, что в данном силлогизме нарушено одно из правил 2-й фигуры, которое гласит: одна из посылок должна быть отрицательным суждением. В данном примере обе посылки – утвердительные суждения.

1. Вы – не я, а я – человек. Следовательно, …

2. Книги – источник поучения и развлечения, таблица логарифмов – книга. Следовательно, …

3. Все космонавты обладают высокой эмоциональной устойчивостью. Петров обладает высокой эмоциональной устойчивостью. Следовательно, …

4. Лошадь погибает от одного грамма никотина, а я – не лошадь. Следовательно,…

5. Ни одно ископаемое животное не может быть несчастно в любви. Устрица не может быть несчастна в любви. Следовательно, …

Умозаключение (выводы из сложных суждений)

6. 1. Условно-категорический силлогизм

Силлогизм, в котором по крайней мере одна из посылок – условное суждение, называется условным.

Различают чисто условный и условно-категорический силлогизм.

Чисто условный силлогизм выражается формулой:

если p, то q

если q, то r

Следовательно, если p, то r.

Или: (p ® q) L (q ® r)

p ® r

Та часть посылки, которая начинается словом “если”, называется основанием (антецедентом). Та часть посылки, которая начинается словом “то” – следствием (консеквентом). Заключение в чисто условном силлогизме может быть получено не из 2-х, а из большего числа посылок. Оно имеет формулу:

(p ® q) L (q ® r) L (r ® s)

p ® q

Условно-категорический силлогизм – это дедуктивное умозаключение, в котором большая посылка является условным суждением, а меньшая и заключение являются простыми категорическими суждениями.

Условно-категорический силлогизм имеет два правильных модуса: утверждающий и отрицающий.

Утверждающий модус условно-категорического силлогизма (modus ponens) – это разновидность условно-категорического силлогизма, в котором ход мысли направлен от утверждения основания к утверждению следствия (меньшая посылка – утверждение истинности основания, заключение – утверждение истинности следствия).

Схема: p ® q

p

q

Например: Если у человека повышена температура, то он болен.

У данного человека повышена температура.

Данный человек болен.

Отрицающий модус условно-категорического силлогизма (modus tollens) – это разновидность условно-категорического силлогизма, в котором ход мысли направлен от отрицания следствия к отрицанию основания (из ложности следствия условной посылки всегда с необходимостью следует ложность основания).

Его схема: p ® q

┐q

┐p

Например: Если у человека повышена температура, то он болен.

Данный человек не болен.

У данного человека не повышена температура.