Proposizione categoriale , in logica sillogistica o tradizionale, una proposizione o affermazione, in cui il predicato è, senza qualificazione, affermato o negato di tutto o parte del soggetto. Pertanto, le proposizioni categoriali sono di quattro forme di base: "Ogni S è P " , "Nessuna S è P " , "Alcune S è P " e "Alcune S non è P. " Queste forme sono designate dalle lettere A, E , I e O, rispettivamente, in modo che "Ogni uomo è mortale", ad esempio, è un A-proposizione. Le proposizioni categoriali devono essere distinte dalle proposizioni composte e complesse, in cui entrano come termini integrali; in particolare, essendo affermazioni di fatto piuttosto che di connessioni logiche, contrastano soprattutto con proposizioni ipotetiche, come "Se ogni uomo è mortale, allora Socrate è mortale".
Questo articolo è stato recentemente rivisto e aggiornato da John M. Cunningham, Readers Editor.
