Восстановить энтимему
Энтимема – простой категорический силлогизм, в кот. отсутствует либо одна из посылок, либо заключение.
Пример:
Все кашалоты – киты, следовательно, все кашалоты – млекопитающие
Все киты (М) – млекопитающие (P)
Все кашалоты (S) – киты (M)
Все кашалоты (S) – млекопитающие (P)
Алгоритм:
Необходимо выяснить что пропущено (заключение или одна из посылок)
Если пропущена одна из посылок, то:
При восстановлении энтимемы надо, во-первых, определить, какое суждение является посылкой, а какое — заключением.
Посылка обычно стоит после союзов «так как», «потому что», «ибо» и т. п., а заключение стоит после слов «следовательно», «поэтому», «потому» и т. д.
В заключении выделяем субъект (S) и предикат (P) и определяем, какая из посылок нарушена.
Используя правила, восстанавливаем посылку и находим средний термин (М)
Если пропущена посылка, то нужно найти субъект (S), предикат (P) и средний термин (М).
Используя правила, восстанавливаем заключение.
Определяем правильно ли восстановлено суждение (если оно ложное, то энтимема некорректна (опирается на ложное суждение))
И в конце обоих случаев определяем фигуру и модус.
Используя условную посылку построить условно-категорическое умозаключение по утверждающему и отрицающему модусам
В условно-категорическом умозаключении первая посылка является условным суждением, а вторая простое или категорическое суждение.
Условно-категорическое умозаключение имеет 2 модуса:
Утверждающий – первая посылка (А→В) состоит из основания (А) и следствия (В), вторая посылка является утверждением основания (А), а в заключение утверждается следствие (В).
Схема:
А→В – первая посылка (Если А, то В)
А – вторая посылка
---------
В – заключение
Пример:
Отрицающий – первая посылка (А→В) состоит из основания (А) и следствия (В), вторая посылка является отрицанием следствия, а заключение отрицается основание
Схема:
А→В – первая посылка (Если А, то В)
B (-) – вторая посылка
---------
A (-) – заключение
Пример:
Используя разделительную посылку построить разделительно-категорическое умозаключение по утверждающе-отрицающему и утверждающе-отрицающему модусам.
Разделительно-категорические умозаключения – первая посылка является разделительным суждением, а вторая простое или категорическое суждение.
Разделительно-категорическое умозаключение имеет 2 модуса:
В
утверждающе-отрицающем модусе – первая
посылка представляет собой строгую
дизъюнкцию (А
В
С)
нескольких вариантов чего-либо, во
второй посылке утверждается один из
них (А), а в заключение отрицается всё
остальное (В (-), С (-)).
Схема:
A B С
A
--------------
B (-), С (-)
Пример:
Леса бывают хвойными, или лиственными, или смешанными.
Этот лес хвойный.
------------------------------------------------------------------------------------------------------
Этот лес не лиственный и не смешанный
Отрицающе-утверждающий модус
В утверждающе-отрицающем модусе – первая посылка представляет собой строгую дизъюнкцию (А В С) нескольких вариантов чего-либо, во второй посылке отрицаются все данные варианты, кроме одного (B (-), С (-)), а в заключение утверждается этот один вариант (А).
Схема:
A B С
B (-), С (-)
--------------
А
