№38 Безпосередній умовивід та його види

Безпосереднім умовиводом називається дедуктивний умовивід, у якому висновок отримують із

одного засновку. Види безпосередніх умовиводів на прикладах: Всі студенти історичного факультету вивчають логіку — (засновок): 1. Отже, деякі особи, що вивчають логіку є студентами історичного факультету — (висновок, отриманий шляхом обернення засновку ). 2. Жоден студент історичного факультету не може бути серед тих, хто не вивчає логіку — (отриманий шляхом перетворення засновку ). 3. Жоден, хто не вивчає логіку не належить до студентів історичного факультету — (отриманий, шляхом протиставлення предиката засновку до суб'єкта ). 4. Невірно, що деякі студенти історичного факультету не вивчають логіку (висновок, отриманий за правилом умовиводу по «логічному квадрату» ). Оберненням називається такий безпосередній умовивід у висновку якого суб'єктом стає предикат засновку, а предикатом — суб'єкт засновку. Схема цього умовиводу така: S є Р / Р є S. В умовиводі шляхом перетворення ми отримуємо висновок, де суб'єктом є суб'єкт засновку, а предикатом є поняття, що суперечить предикату засновку. Це стає можливим завдяки зміні якості засновку. Схемою такого умовиводу є: S є Р / S не є не – Р. Протиставленням предикату називається такий безпосередній умовивід у результаті якого отримують висновок суб'єктом якого є поняття, що суперечить предикату засновку, а предикатом стає суб'єкт засновку. Схема цього умовиводу така: S є Р / не - Р є S. Умовиводи, які будуються із урахуванням підпорядкування, суперечності, противності і підпротивності між категоричними судженнями, називають умовиводами за «логічним квадратом».

⇐ Предыдущая 19 20 21 22 232425 26 27 28 Следующая ⇒