Definition:Categorical Statement

Definition
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): \quad$ Every $S$ is $P$


 * $(E): \quad$ No $S$ is $P$


 * $(I): \quad$ Some $S$ is $P$


 * $(O): \quad$ Some $S$ is not $P$

In modern predicate logic, they are intepreted as:


 * $(A): \quad \forall x: S \left({x}\right) \implies P \left({x}\right)$


 * $(E): \quad \forall x: S \left({x}\right) \implies \neg P \left({x}\right)$


 * $(I): \quad \exists x: S \left({x}\right) \land P \left({x}\right)$


 * $(O): \quad \exists x: S \left({x}\right) \land \neg P \left({x}\right)$

Linguistic Note
The letters $A$, $E$, $I$ and $O$ are assigned to the various categorical statements from the first and second vowels to appear in the Latin words affirmo (I affirm) and nego (I deny).

Some sources refer to this as a categorical sentence. However, the word statement is generally preferred as the latter term has a more precise definition.

Also see

 * Existential Import
 * Categorical Syllogism
 * Square of Opposition