Поняття та структура простого категоричного силогізму
Простий категоричний силогізм (ПКС) - це дедуктивний умовивід, який складається з двох засновків та висновку, і всі вони є простими категоричними судженнями.
Візьмемо класичний приклад:
Всі люди смертні
Сократ - людина Сократ - смертний
Як бачите, кожне судження, яке входить до складу цього умовиводу, є простим категоричним судженням.
Кожне з них має в своєму складі суб'єкт та предикат. Але склад силогізму починають аналізувати з висновку.Суб'єкт висновку називають меншим терміном простого категоричного силогізму. Його позначають буквою S.
В нашому випадку ним буде термін «Сократ».
Предикат висновку називають більшим терміном простого категоричного силогізму. Позначається буквою Р.
В нашому силогізмі це - термін «смертні».
Термін, який входить до складу обох засновків, але не входить до висновку, називається середнім терміном. Позначається буквою M (від латинського media - середній).
Тут це термін «людина».
Назви термінів походять від співвідношення термінів в одному з найпоширеніших типів силогізмів, який називають першою фігурою силогізму.
Візьмемо приведений вище приклад і за допомогою кругів Ейлера зобразимо співвідношення термінів в ньому (мал. 16).
Мал. 16. Співвідношення термінів у судженні
З діаграми добре видно, що термін «смертні» тут буде найбільшим за об'ємом. Термін «люди» буде вужчим за нього, але ширшим за термін «Сократ», а цей останній буде найвужчим.
Засновок, до складу якого входить менший термін, називають меншим.
В нашому прикладі меншим засновком є судження «Сократ - людина» Засновок, до якого входить більший термін, називається більшим. У нас ним є судження «Всі люди - смертні».
Зазвичай, більший засновок в силогізмі йде першим.
Залежно від того, на якому місці в засновках стоять середні терміни, розрізняють чотири різні фігури силогізму.
Силогізм про Сократа, наведений на початку цього розділу, побудований за першою фігурою.
7.2.