Дедуктивное умозаключение

1) 1. Все планеты солнечной системы вращаются вокруг Солнца.

2. Юпитер - планета солнечной системы.

3. Юпитер вращается вокруг Солнца.

Фигура I:

1. М                               Р

2. S                                М

3. S                                Р

Модус ААА (BARBARA).

Цифрой 1 обозначается большая посылка (все планеты солнечной системы вращаются вокруг Солнца), цифрой 2 - меньшая посылка (Юпитер - планета солнечной системы), а цифрой 3 - заключение.

М - средний термин (планеты солнечной системы);

S - меньший термин (Юпитер);

Р - больший (тело, вращающееся вокруг Солнца).

ААА означает, что все три высказывания утверждающие, т.е. с логической формой. “Всякий S есть З - S А Р).

2) 1. Ни одно млекопитающее не является растением.

2. Все люди - млекопитающие.

3. Ни один человек не является растением.

Силлогизм I фигуры модуса Е А Е (CELARENT).

Е - выражение вида “Всякий S не есть Р”.

Энтилема - сокращенная форма силлогизма с пропуском одной из посылок или заключения.

а) “Раз ни одно млекопитающее не является растением, то и человек не является растением”. Пропущена меньшая посылка “все люди - млекопитающие”.

б) “Раз люди - млекопитающие, то они не растения”. Пропущена большая посылка. “Ни одно млекопитающее не является растением”.

в) “Так как ни одно млекопитающее не есть растение, то все люди - млекопитающие”. Пропущено заключение.

Данные энтилемы корректны, т.к. выполняются условия: 1) они могут быть восстановлены до правильного модуса категорического силлогизма; 2) все посылки в восстановленном правильном модусе окажутся истинными утверждениями.

3) Эпиэейрема - такой сложносокращенный силлогизм, в котором обе посылки являются энтилимами, т.е. простыми сокращенными силлогизмами.

Рекомендуем скачать другие рефераты по теме: работа реферат, реферат рк.





1  2  3  4 | Следующая страница реферата