143. Категоричний силогізм: поняття та структура.

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

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

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

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

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

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

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

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

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

1)стверджуючо-заперечуючий модус (більший засновок-завжди строга дизюнкція) А-В/В

2)заперечуючо-стверджувальний модус (більший засновок – як строга, так і нестрога конюкція)