СДД - Непряме похідне правило. Умовиводи за «логічним квадратом».відношень існує чотири види: підпорядкування, суперечності, противності і підпротивності. Умовиводи, які будуються із урахуванням цих 4-х типів відношень між категоричними судженнями, назива

СДД - Непряме похідне правило

Висновки із категоричних висловлювань поділяються на:

— безпосередні (дедуктивний умовивід, у якому висновок отримують із)

а) обернення, перетворення, протиставлення предикату;

б) умовиводи за логічним квадратом.

— опосередковані (відносять простий категоричний силогізм. )

Обернення. метою безпосереднього умовиводу шляхом обернення є отримання інформації про відношення Р до S у структурі категоричного судження. S e P | P e S. оберненням називається такий безпосередній умовивід у висновку якого суб'єктом стає предикат засновку, а предикатом — суб'єкт засновку.

Якщо у ролі засновку маємо судження А, то у висновку отримуємо судження І: Всі підручники мають методичний зміст. Отже, деякі книги методичного характеру є підручниками.

Якщо у ролі засновку наявне судження Е, то у висновку також отримуємо судження Е: Жодний мій знайомий не був учасником минулого кінофестивалю. Отже, жоден учасник минулого кінофестивалю не був серед моїх знайомих.

У випадку із судженням І висновком матимемо судження І: Деякі книги нашої бібліотеки є рідкісними. Отже, деякі рідкісні книги є в нашій бібліотеці.

Cудження О оберненню не підлягає. «Деякі рослини не є деревами».

Обернення суджень Е і І називають оберненням без обмежень. Обернення судження А називають оберненням з обмеженням.

Перетворення. S e P | S ne e ne P. В умовиводі шляхом перетворення ми отримуємо висновок де суб'єктом є суб'єкт засновку, а предикатом є поняття, що суперечить предикату засновку. Це стає можливим завдяки зміні якості засновку. Судження А перетворюється у судження Е. ( Усі мої друзі мають вищу освіту. Отже, серед моїх друзів немає жодного, хто не мав би вищої освіти. ) Судження Е перетворюється у судження А. ( Жоден мій приятель не має вищої освіти. Отже, усі мої приятелі є людьми без вищої освіти. ). Судження І перетворюється у судження О (Деякі мої приятелі вивчають англійську мову. Отже, деякі мої приятелі не належать до людей, що не вивчають англійську мову. ). Судження О перетворюється в судження І (Деякі науки не є гуманітарними. Отже, деякі науки є не гуманітарними. )

Протиставлення предикату. S e P | ne-P e S. Протиставленням предикату називається такий безпосередній умовивід у результаті якого отримують висновок суб'єктом якого є поняття, що суперечить предикату засновку, а предикатом стає суб'єкт засновку. Із судження А шляхом протиставлення предикату отримують судження Е (Будь-яка теорія підтверджується на практиці. Отже, все, що не підтверджується на практиці не теорією. ). Із судження Е шляхом протиставлення предикату отримують судження А. (Жоден мій приятель не має вищої освіти. Отже, деякі люди без вищої освіти мої приятелі. ). Із судження О шляхом протиставлення предикату отримують судження І. (Деякі студенти не є учасниками конференції. Отже, деякі не учасники конференції студенти. ). Із судження І шляхом протиславлення предикату висновок отримати неможливо.

Умовиводи за «логічним квадратом». відношень існує чотири види: підпорядкування, суперечності, противності і підпротивності. Умовиводи, які будуються із урахуванням цих 4-х типів відношень між категоричними судженнями, називають умовиводами за «логічним квадратом».

Побудова умовиводів за «логічним квадратом» підпорядкована певним правилам, які: по-перше, забезпечують правильність умовиводу в кожному конкретному випадку; а по-друге, дають систематичний огляд всіх можливих міркувань такого типу.

Правила висновку умовиводів за «логічним квадратом» поділяються на:

— основні

— похідні.