Категорична пропозиція

Категорична пропозиція , в силогістичній або традиційній логіці, пропозиція чи твердження, в якій присудок, без будь-якої кваліфікації, підтверджується або заперечується в цілому або в частині предмета. Таким чином, категоричні пропозиції мають чотири основні форми: "Кожне S - це P ", "No S - P ", "Деякі S - P " і "Деякі S - це не P. " Ці форми позначені літерами A, E , I та O, відповідно, так що "кожна людина смертна", наприклад, є A-пропозиція. Категоричні пропозиції слід відрізняти від складених та складних пропозицій, до яких вони входять як цілісні терміни; Зокрема, будучи твердженнями про факт, а не про логічні зв'язки, вони контрастують особливо з гіпотетичними положеннями, такими як "Якщо кожна людина смертна, то Сократ смертний".

Діаграми Венна з чотирьох категоричних положень. Ця стаття була нещодавно переглянута та оновлена ​​Джоном М. Каннінгемом, редактором Readers.