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

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

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

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

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

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

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

КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.

Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.

Модусами КС наз його різновиди, що відрізняються один від одного якісною і кількісною хар-кою засновків, що входять до нього, і висновком.

Ентимемою наз скорочений КС, в якому пропущений один із засновків або висновок.

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

22.Основні фігури категоричного силогізму

Фігурами КС наз форми силогізму, які розрізняються за положеннями середнього терміна М у засновках. Розрізняють:

1фігура: більший засновок повинен бути загальним, а менший-стверджувальним

2фігура:більший засновок є загальним, а один із засновків і висновок-заперечними

3фігура:менший засновок повинен бути ствердним, а висновок –частковим

4фігура:загальностверлних висновків не дає; якщо більший засновок ствердний, тоді менший повинен бути загальним.

Якщо один із засновків заперечний,то більший повинн бути загальним

23.Модуси категоричного силогізму

КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.

Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.

Модусами КС наз його різновиди, що відрізняються один від одного якісною і кількісною хар-кою засновків, що входять до нього, і висновком. У чотирьох фігурах правильних млдусів 19.

24.Умовно-категоричний силогізм

КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.

Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.

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

1)стверджуючий модус АВ,А / В

2)заперечуючий модус АВ,не-В/не-А