Kategorisk proposition , i syllogistisk eller traditionell logik, ett proposition eller uttalande, där predikatet utan kvalifikation bekräftas eller nekas hela eller delar av ämnet. Kategoriska propositioner har således fyra grundläggande former: "Every S is P ", "No S is P ", "Some S is P " och "Some S is not P. " Dessa former är betecknade med bokstäverna A, E , I respektive O, så att "Varje människa är dödlig", till exempel, är en A-förslag. Kategoriska propositioner ska särskiljas från sammansatta och komplexa propositioner, i vilka de går in som integrerade termer; I synnerhet, eftersom de är påståenden om fakta snarare än om logiska förbindelser, står de i kontrast till hypotetiska påståenden, såsom "Om varje människa är dödlig, är Sokrates dödlig."
Denna artikel har senast reviderats och uppdaterats av John M. Cunningham, läsredaktör.
