TextBook Усі студенти університету "Україна" (М) вивчають логіку (Р). Петренко (Б) є студентом університету "Україна" (М). Петренко (Б) вивчає логіку (Р).
b) Силогізм першої фігури з опущеним меншим засновком.
Наприклад, "Оскільки всі громадяни України мають політичні права, то їх має і Петренко".
Відновлений силогізм має такий вигляд: Усі громадяни України (М) мають політичні права (Р). Петренко (Б) - громадянин України (М). Петренко (Б) має політичні права (Р).
c) Силогізм першої фігури з опущеним висновком.
Наприклад, "Усі студенти зобов'язані відвідувати практичні заняття, а Петренко - студент". Оскільки висновок не тільки є необхідним, але й очевидним, то він не формулюється.
Використовуються також ентимеми, побудовані за іншими фігурами категоричного силогізму. У формі ентимем можуть будуватися й умовно-категоричні та розділово-категоричні умовиводи.
d) Умовно-категоричний вивід з опущеним більшим засновком.
Наприклад, "Оскільки температура нижча, ніж 0 °С, то вода замерзла". Більший засновок: "Якщо температура опускається нижче 0 °С, то вода замерзає" мається на увазі. Оскільки це загальновідоме твердження, то потреби його формулювати немає.
е) Розділово-категоричний вивід з опущеним більшим засновком.
Наприклад, "У даній справі звинувачувальний вирок не ухвалено, отже він буде виправдовувальним". Більший засновок - розділове судження "У справі ухвалюється або звинувачувальний, або виправдовувальний вирок" - не формулюється.
f) Розділово-категоричний силогізм з опущеним висновком.
Наприклад, "Це могли бути або А, або В, або С. Це був А". Висновок: "Це не були ні В, ні С" формулювати нема потреби, бо він є очевидним у двох засновках.
Використання скорочених силогізмів зумовлено тим, що опущений засновок або висновок містять відоме твердження, яке не потребує письмового чи усного вираження, або в контексті висловлених частин умовиводу воно легко встановлюється. Тому міркування здійснюється в формі ентимеми. Але, оскільки в ентимемі не всі складові умовиводу є наявними, то помилку, яка криється у виводі, знайти значно важче,
ніжу повному умовиводі. Тому для перевірки правильності міркування необхідно знайти опущені складові виводу і відновити ентимему в повний умовивід.
Література для поглибленого вивчення розділу
A. Основна
1. Гетманова А.Д. Логика. - М.: Новая школа, 1995. - С. 139-159.
3. Жеребкін В.Є. Логіка. - X.: Основа; К.: Знання. 1999. - С. 143-169.
4. Кириллов В.И., Старченко A.A. Логика. - М.: Высшая школа, 1995. -С. 144-163.
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.Г.Мозгова на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „Розділ 9. Виводи логіки висловлювань“ на сторінці 4. Приємного читання.