DES PROPOSITIONS FORMELLES DU JUGEMENT
traditionnelle relativement aux propriétés formelles du jugement. Tout jugement peut être considéré sous le rapport de la qualité, de la quantité, de la relation, de la modalité, et chacun de ces quatre modes de l'assertion, dits catégories, comporte trois sortes de jugements. La logique formelle, il est vrai, n'utilise que deux espèces de jugements dans la catégorie de la qualité, les affirmatifs et les négatifs, et deux dans la catégorie de la quantité, les universels et les particuliers ; si l'on considère à la fois la qualité et la quantité, on a donc quatre sortes de jugements, désignés par les scolastiques par les lettres A, E, I, 0.
A Universels affirmatifs I Particuliers affirmatifs
E Universels négatifs 0 Particuliers négatifs
Ils suffisent à construire la théorie du syllogisme. Kant cependant y ajoute, dans la catégorie de la qualité, les jugements indéfinis, qui sont négatifs avec un attribut négatif, et les jugements singuliers, qui sont universels avec un sujet singulier. Chaque catégorie comporte alors deux espèces contraires de jugements, plus une troisième espèce qui participe de l'une et de l'autre, en sorte que la triade : thèse, antithèse, synthèse serait logiquement antérieure aux catégories ellesmêmes, et que les quatre catégories seraient quatre aspects de cette triade :