170. Безпосередні умовиводи (бу)

БУ наз дедуктивні умовиводи, які виводять з одного засновку:

1)Перетворення – вид БУ, в якому змінюється якість засновків без зміни їх кількості

2)Оберненням – наз такий БУ, в якому у висновку субєктом стає предикат, а предикатом – субєкт. Бувають прості (без обмежень)-утв тоді, коли S і P іабо розподілені, або нерозподілені; з обмеженнями- коли субєкт-розподілениий, а предикат-нерозподілений, і навпаки.

3)Протистпвлення предикату – такий БУ, у якому в новому судженні субєктом виступає поняття, яке суперечить предикату вихідного судження, а предикатом є субєкт вихідного прложення, причому звязка змінюється на протилежну

4)Умовивід за логічним квадратом

171.Категоричний силогізм (кс)

Категоричний силогізм – опосередкований дедуктивний умовивід, який складається з двох засновників(посилань) і висновку, які є категоричними судженнями. Так умовивід „Всі паралелограми – чотирикутники, а ромби – паралелограми; отже ромби – чотирикутники” – типовий приклад категоричного силогізму, бо цей умовивід дедуктивний, оскільки в ньому з більш загальних положень одержують менш загальні, а засновки і висновок цього умовиводу є категоричними судженнями. В основі силогізму лежить аксіома:

те, що належить роду, належить також виду та індивіду

ознака ознаки речі є ознакою самої речі

все, що стверджується(або заперечується) стосовно певної множини предметів, стверджується(або заперечується) стосовно будь-якого предмету, який входить до цієї множини.

Будова категоричного силогізму:

Термін, який повторюється в засновках і пов’язує їх між собою, називається середнім, два інших терміни – крайніми. Ширший за обсягом крайній термін називається більшим(він виконує у висновку роль предиката), а вужчий за обсягом крайній термін – меншим(він виконує роль суб’єкта).Засновок, до складу якого входить більший термін, називається більшим, а засновок, до якого входить менший термін – меншим.

Враховуючи саме таку будову категоричного силогізму та роль у ньому середнього терміна його визначають так: простий категоричний силогізм є умовивід про відношення двох термінів на підставі їх відношення до третього терміна.

Проте трапляються випадки, які свідчать про те, що секрети силогізму не вичерпуються знанням його будови. Так силогізм „Всі люди дихають киснем, а земноводні – не люди, отже вони не дихають киснем” побудовано з урахуванням місця та ролі термінів. Щоб не припускатися помилок необхідно знати й уміти застосовувати численні правила силогізмів: стосовно термінів, правила засновків та фігур силогізму.

172. Фігури категоричного силогізму, правила фігур.

Фігури категоричного силогізму:

Фігури силогізму – це його різновиди, які розрізняються місцем середнього терміна в засновках.

Модусом простого категоричного силогізму є різновиди силогізмів, які різняться кількістю і якістю засновків.

1 фігура: ААА, ЕАЕ, АІІ, ЕІО.

2 фігура: ЕАЕ, АЕЕ, ЕІО, АОО,

3 фігура: ААІ, ІАІ, АІІ, ЕАО, ОАО, ЕІО.

4 фігура: ААІ, АЕЕ, ІАІ, ЕАО, ЕІО.

Правила 1-ї фігури: 1. Більший засновок – загальне судження.

2. Менший – ствердне судження.

1 фігура – найбільш типова форма дедуктивного умовиводу.

Правила 2-ї фігури: 1. Більший засновок – загальне судження.

2. Один із засновків – заперечне судження.

Правила 3-ї фігури: 1. Менший – ствердне.

2. Висновок – часткове судження.

Правила 4-ї фігури не розглядаються, бо вони не ти пічні для мислення – звича йно це виводи 1 фігури.