Category:Categorical Statements
Jump to navigation
Jump to search
This category contains results about Categorical Statements.
Definitions specific to this category can be found in Definitions/Categorical Statements.
Let $S$ and $P$ be predicates.
A categorical statement is a statement that can be expressed in one of the following ways in natural language:
| \((A)\) | $:$ | Universal Affirmative: | Every $S$ is $P$ | ||||||
| \((E)\) | $:$ | Universal Negative: | No $S$ is $P$ | ||||||
| \((I)\) | $:$ | Particular Affirmative: | Some $S$ is $P$ | ||||||
| \((O)\) | $:$ | Particular Negative: | Some $S$ is not $P$ |
Subcategories
This category has the following 12 subcategories, out of 12 total.
A
C
L
- Laws of Conversion (3 P)
N
P
- Particular Affirmative (1 P)
- Particular Negative (empty)
- Predicates of Categorical Statements (empty)
S
- Subjects of Categorical Statements (empty)
U
- Universal Affirmative (empty)
- Universal Negative (1 P)
Pages in category "Categorical Statements"
The following 11 pages are in this category, out of 11 total.
P
U
- Universal Affirmative and Negative are both False iff Particular Affirmative and Negative are both True
- Universal Affirmative and Particular Negative are Contradictory
- Universal Affirmative and Universal Negative are Contrary iff First Predicate is not Vacuous
- Universal Affirmative implies Particular Affirmative iff First Predicate is not Vacuous
- Universal Negative implies Particular Negative iff First Predicate is not Vacuous