Britannica
Sources used in this answer
How do categorical propositions break down into subject, predicate, quantifier, and negation?
Created from Britannica articles
using AI.
AI can make mistakes, so verify using Britannica articles.
Ancient logic
Zeno's paradox, illustrated by Achilles' racing a tortoise.
In ancient logic, categorical propositions are analyzed as structured statements that affirm or deny a predicate of a subject. These propositions are composed of five primary elements:
- Quantifier: Indicates the scope of the subject, such as "every" (universal), "some" (particular), or "no" (universal negative).1
- Subject: The term or individual about which something is being asserted.12
- Copula: The linking verb (typically "is" or "are") that connects the subject to the predicate.1
- Negation: The term "not," which may be used to deny the predicate of the subject.1
- Predicate: The property or characteristic being affirmed or denied of the subject.13
These elements combine to form the four basic categorical forms, historically designated as A, E, I, and O:
| Form | Logical Structure | Example |
| :--- | :--- | :--- |
| A | Universal affirmative | "Every S is P"41|
| E | Universal negative | "No S is P"41|
| I | Particular affirmative | "Some S is P"41|
| O | Particular negative | "Some S is not P"41|
This formal analysis, developed by Aristotle in his syllogistic, allows for the evaluation of logical validity by focusing on the structure of these terms rather than just their content.2