Читать поиск информации по логике: "Опосередковані дедуктивні умовиводи" Страница 1

(Назад) (Cкачать работу)

Опосередковані дедуктивні умовиводи

До складу опосередкованих дедуктивних умовиводів можуть входити різні за відношенням судження: тільки категоричні (простий категоричний силогізм), тільки розділові (суто розділовий умовивід), тільки умовні (суто умовний умовивід) та різні комбінації цих суджень, які загалом становлять відповідні різновиди розділових та умовних умовиводів.Простий категоричний силогізмПростий категоричний силогізм — опосередкований дедуктивний умовивід, що складається з двох засновків (посилок) і висновку, які є категоричними судженнями.Так, умовивід «Всі паралелограми — чотирикутники, а ромби — паралелограми; отже, ромби — чотирикутники» — типовий приклад категоричного силогізму, бо цей умовивід дедуктивний, оскільки в ньому з більш загальних положень одержують менш загальні, а засновки і висновок цього умовиводу є категоричними судженнями.Аксіома силогізму. Хоч силогізм має чимало виявів, модифікацій, та в його основі лежить загальне правило, яке називають аксіомою силогізму. Є кілька формулювань цієї аксіоми:1) те, що належить роду, належить також виду та індивіду;2) ознака ознаки речі є ознакою самої речі;3) все, що стверджується (або заперечується) стосовно певної множини предметів, стверджується (або заперечується) стосовно будь-якого предмета, який належить до цієї множини.Будова простого категоричного силогізмуОскільки до складу простого категоричного силогізму входять три простих судження, то звідси випливає висновок, що цей силогізм складається з шістьох термінів. Проте при ближчому ознайомленні з ним виявляється, що до його складу входять лише три терміни, кожен з яких двічі повторюється. У цьому можна пересвідчитися, звернувшись до наведеного вище прикладу.Неважко помітити, що в засновках є всі три терміни, які фігурують у силогізмі, а один термін навіть двічі повторюється (у нашому прикладі — «паралелограм»).Термін, який повторюється в засновках і пов'язує їх між собою, називають середнім, два інших терміни — крайніми.Ширший за обсягом крайній термін називають більшим (він виконує у висновку роль предиката), а вужчий за обсягом крайній термін — меншим (він виконує у висновку роль суб'єкта).Засновок, до складу якого входить більший термін, називають більшим, а засновок, до складу якого входить менший термін — меншим.Беручи до уваги саме таку будову простого категоричного силогізму та роль у ньому середнього терміна, його визначають і так:— «Простий категоричний силогізм є умовивід про відношення двох термінів на підставі їх відношення до третього терміна» — «Силогізм — це такий умовивід..., в якому встановлюється зв'язок між крайніми термінами у висновку на підставі їх відношення до середнього терміна в засновках» Ознайомившись зі структурою силогізму, зокрема запам'ятавши, що висновок у ньому робиться з крайніх термінів, можна піддатись ілюзії, ніби вже осягнуто всі секрети побудови силогізму. Вона підсилюється тим, що для побудови правильного міркування у формі простого категоричного силогізму часто достатньо знати його структуру, місце і роль кожного терміна. Так, маючи засновки «Всі метали — електропровідні, а ртуть — метал» і знаючи, який із цих термінів є

Похожие работы