18.Дайте коротку характеристику логічному силогізму, його фігурам та модусам.

Силогізм — це вид дедуктивного умовиводу, в якому з двох категоричних суджень, зв’язаних середнім терміном (М), при додержанні правил обов’язково повинні бути два заснов­ки і висновок. Поняття, що входять до складу силогізму, називають його термінами.

Більший засновок має в собі більший за обсягом термін, менший засновок — менший термін. В основі висновку в категоричному силогізмі лежить аксіома силогізму: «Все, що стверджується або заперечується стосовно виду (або члена даного класу), належить до даного роду».

Фігурами силогізму називаються форми силогізму, які розріз­няються за положенням середнього терміна М у засновках і обов’язково наявністю предиката у більшому засновку і суб’єкта у меншому засновку:

S ——— P                S ——— P                 S ——— P               S ——— P

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

• перша фігура — ААА, ЕАЕ, АІІ, ЕІО;

• друга фігура — ЕАЕ, АОО, АЕЕ, ЕІО;

• третя фігура — ОАО, ААІ, АІІ, ІАІ, ЕАО, ЕІО;

• четверта фігура — ААІ, ЕАО, ІАІ, ЕОІ, АЕЕ.

19.Охарактеризуйте умовні та розділові силогізми.

Умовно-розділовий силогізм містить у першому засновку судження умовне, а в другому — судження розділове. Умовно-категоричний силогізм називають лемою (від лат. lemma — припущення). У залежності від числа альтернатив у розділовому судженні, леми підрозділяються на ділеми — дві альтернативи, трилеми — три альтернативи, полілеми — багато альтернатив.

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

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

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

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

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

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

Правила умовно-розділового силогізму:

1. Неприпустимо будувати умовивід від ствердження наслідку до ствердження підстави і від заперечення підстави до заперечення наслідку.

2. У розділовому судженні повинні бути перелічені усі диз`юнкти.

3. Розділове судження повинно бути сильною диз'юнкцією.

20.Що таке полі силогізм, сорит?

Полісилогізмом (складним силогізмом) називається два або декілька простих категоричних силогізмів, які пов’язані один з одним так, що висновок одного з них є засновком для іншого.:

1.Прогресивний полісилогізм-висновок попереднього силогізму стає більшим засновком наступного силогіму.

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

2.Регресивний полісилогізм-висновок перелуючого силогізму стає меншим засновком наступного силогізму

Регресивний сорит можна отримати з регресивного полісилогізму шляхом послідовного вилучення висновків передуючих силогізмів і менших засновків,що випливають з них.