Proposition catégorique , en logique syllogistique ou traditionnelle, proposition ou énoncé, dans lequel le prédicat est, sans réserve, affirmé ou nié de tout ou partie du sujet. Ainsi, les propositions catégoriques sont de quatre formes de base: «Tout S est P », «Aucun S est P », «Certains S est P » et «Certains S n'est pas P. » Ces formes sont désignées par les lettres A, E , I, et O, respectivement, de sorte que «tout homme est mortel», par exemple, est un A-proposition. Les propositions catégoriques doivent être distinguées des propositions composées et complexes, dans lesquelles elles entrent comme termes intégraux; en particulier, étant des affirmations de fait plutôt que de connexions logiques, elles contrastent surtout avec des propositions hypothétiques, telles que «Si tout homme est mortel, alors Socrate est mortel».
Cet article a été récemment révisé et mis à jour par John M. Cunningham, rédacteur des lecteurs.
