Простий категоричний силогізм
Простий категоричний силогізм (від грец. syllogismos - рахування, виведення наслідку) - це опосередкований дедуктивний умовивід, що складається з двох засновків і одного висновку, які є судженнями категоричними
Наприклад:
Істина - це знання, яке відповідає дійсності.
Теорема Піфагора - істина.Отже, теорема Піфагора - це знання, яке відповідає дійсності.
Простий категоричний силогізм складається із двох засновків і висновку.
Поняття, які входять у засновки силогізму, називаються термінами силогізму.
Наприклад:
Усі метали електропровідні.
Мідь є металом.
Отже, мідь - електропровідна.
У даному силогізмі, судження, які знаходяться над лінією є засновками, а судження, яке знаходиться під лінією є висновком силогізму. Поняття „метали”, „електропровідні”, „мідь” є термінами силогізму.
Поняття, яке є суб'єктом висновку, називається меншим терміном.
В наведеному прикладі меншим терміном є поняття „мідь”. Поняття, яке є предикатом висновку, називається більшим терміном. В наведеному прикладі більшим терміном є поняття „електропровідна”. Менший термін позначається літерою S, а більший термін - літерою Р. Менший і більший терміни називаються крайніми термінами. S і Р входять тільки в один із засновків.
Засновок, до складу якого входить більший термін, називається більшим засновком, а засновок, до складу якого входить менший термін, називається меншим засновком.
Менший і більший засновок визначається не місцем, яке вони займають у силогізмі.
Наприклад, в умовиводі:
Петренко - юрист.
Усі юристи вивчають теорію доказу.
Отже, Петренко вивчає теорію доказу.
Меншим засновком є судження „Петренко - юрист”, який стоїть на першому місці в силогізмі, а більшим засновком є судження „Усі юристи вивчають теорію доказу”, який стоїть на другому місці.
Термін, який повторюється у більшому і меншому засновках називається середнім терміном (від лат. terminus medius), він пов'язує між собою крайні терміни.
Саме завдяки середньому терміну із двох суджень, які є засновками, виводиться нове судження, яке є висновком.
Виходячи із розглянутої структури простого категоричного силогізму, його можна визначити як умовивід про відношення двох термінів (S і Р) на основі їх відношення до третього терміну (М).
5.4.