23.Модуси категоричного силогізму
КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.
Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.
Модусами КС наз його різновиди, що відрізняються один від одного якісною і кількісною хар-кою засновків, що входять до нього, і висновком. У чотирьох фігурах правильних млдусів 19.
Модуси категоричного силогізму:
В посилках простого К.С. середній термін (М) може займати місце Суб’єкта чи Предиката. В залежності від цього існує чотири види, що їх називають модусами, силогізму:
В першій фігурі М виступає Суб’єктом в першій і Предикатом в другій.
В другій фігурі М – Предикат і в першій, і в другій посилках.
В третій фігурі М – Суб’єкт в обох посилках.
В четвертій фігурі М – Предикат в більшій і Суб’єкт в меншій посилках.
Графічно це зображується так:
1. М P 2. P M
S M S M
3. M P 4. P M
M S M S
Отже, фігури силогізму – це його різновиди, що різняться між собою положенням середнього терміну M. Оскільки посилки кожної фігури може мати 24(16) комбінацій видів суджень (A,E,I,O), то комбінацій в усіх 4-х фігурах буде 64. Одначе, не всі модуси відповідають загальним правилам термінів і правил посилок силогізму. Правильними буде лише 19 силогізмів, а саме:
24.Умовно-категоричний силогізм
КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.
Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.
Види умовно-категоричного силогізму:
1)стверджуючий модус А”В,А / В
2)заперечуючий модус А”В,не-В/не-А
25.Розділово-категоричний силогізм
КС- вид дедуктивного умовиводу, в якому з 2ох категоричних суджень, звязаних середнім терміном (М), при додержані правил обовязково випливає висновок.У складі :два засновки і два висновки.
Терміни – це поняття, що входять до силогізму. Більший засновок має в собі більший за розміром термін і навпаки.В основі висновку в КС лежить аксіома силогізму-все що стверджується або заперечується стосовно виду, належить до даного роду.
Види розділово-категоричного силогізму:
1)стверджуючо-заперечуючий модус (більший засновок-завжди строга дизюнкція) А-В/В
2)заперечуючо-стверджувальний модус (більший засновок – як строга, так і нестрога крнюкція)
26.Полісилгізми
Полісилгізмом наз два або декілька простих КС, повязаних один з одним так, що втсновок одногоє засновкомдля іншого:
1.Прогресивний полісилогізм-висновок попереднього силогізму стає більшим засновком наступного силогіму.
Прогресивний сорит можна отримати з прогрествного полісилогізму шляхом послідовного вилучення висновків передуючих силогізмів і більших наступних засновків.
2.Регресивний полісилогізм-висновок перелуючого силогізму стає меншим засновком наступного силогізму
Регресивний сорит можна отримати з регресивного полісилогізму шляхом послідовного вилучення висновків передуючих силогізмів і менших засновків,що випливають з них.
27.Індуктивні умовиводи
Умовивід – це форми мисленя, у якій з одного чи кількох істинних суджнь на основі певних павил виводи виводять нове судження.Структура: засновок, висновок, логічний звязок між засновками та висновками. Умовивід буде правильним, якщо в ньому виконуюються основні закони логіки.
Індуктивний умовиводи – це опосередковані умовиводи у яких з одиничних суджень – засновків – виводять часткое або й загальне судження – висновок.
А)повна індукція – різновид індуктивного умовиводу, в якому на підставі знання про належність певної ознак кожному предметові класу робиться висновок про належність цієї ознаки всім предметам цього класу
Б)неповна індукція- індуктивний умовивд, в якому висново про весь клас предметів робиться на підставі знання тільки деяких предметів цього класу.