Definition:Categorical Statement/Subject

Definition

Let $S$ and $P$ be predicates.

Let $\map {\mathbf \Phi} {S, P}$ be a categorical statement, expressed in abbreviated form.

The symbol $S$ can be referred to as the subject of $\map {\mathbf \Phi} {S, P}$.

Also see

• Results about subjects of categorical statements can be found here.

Sources

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $4$: The Predicate Calculus $2$: $4$ The Syllogism
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): syllogism
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): syllogism