Філософія

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Умовиводи, їх види

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

Види:

1.Дедуктивний умовивід – це умовивід, у якому висновок зроблено обовязково із засновків, яі виражають знання достатньо великого ступеня загальності і які самі є знанням меншого степеня загальності.

А) Безпосередні умовиводи наз дедуктивні умовиводи, які виводять з одного засновку.

Б) Категоричний силогізм – вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок

2.Індуктивний умовиводи – це опосередковані умовиводи у яких з одиничних суджень – засновків – виводять часткое або й загальне судження – висновок.

А)повна індукція – різновид індуктивного умовиводу, в якому на підставі знання про належність певної ознак кожному предметові класу робиться висновок про належність цієї ознаки всім предметам цього класу

Б)неповна індукція- індуктивний умовивд, в якому висново про весь клас предметів робиться на підставі знання тільки деяких предметів цього класу.

3.Умовиводи за аналогією – цетрадуктивний умовивід, у якому на підставі подібності предметів в одих ознак робиться висновок про їхню подібність в інших ознаках.

А)проста аналогія-на підставі подібності предметів за одними якими-небудь ознаками облять висновок про їх подібність в інших ознак.

Б) строга аналогія-грунтується на знанні залежності ознак предметів, що порівнюються

В)нестрога – в ній робиться висновок без знання про звязок подібних ознак.