Definition:Undistributed Term of Categorical Syllogism/Predicate

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $\mathbf \Phi$ be an affirmative categorical statement.

Then $P$ is described as being undistributed.


Examples

Universal Affirmative

Consider the Universal Affirmative categorical statement $\map {\mathbf A} {S, P}$.

The subject $S$ of $\map {\mathbf A} {S, P}$ is distributed.

The predicate $P$ of $\map {\mathbf A} {S, P}$ is undistributed.

Universal Negative

Consider the Universal Negative categorical statement $\map {\mathbf E} {S, P}$.

Both the subject $S$ and the predicate $P$ of $\map {\mathbf E} {S, P}$ are distributed.

Particular Affirmative

Consider the Particular Affirmative categorical statement $\map {\mathbf I} {S, P}$.

Both the subject $S$ and the predicate $P$ of $\map {\mathbf I} {S, P}$ are undistributed.

Particular Negative

Consider the Particular Negative categorical statement $\map {\mathbf O} {S, P}$.

The subject $S$ of $\map {\mathbf O} {S, P}$ is undistributed.

The predicate $P$ of $\map {\mathbf O} {S, P}$ is distributed.


This can be tabulated as follows:


$\begin{array}{rcl} \mathbf A & (S, & P) \\ & d & u \end{array} \qquad \begin{array}{rcl} \mathbf E & (S, & P) \\ & d & d \end{array}$


$\begin{array}{rcl} \mathbf I & (S, & P) \\ & u & u \end{array} \qquad \begin{array}{rcl} \mathbf O & (S, & P) \\ & u & d \end{array}$


where $d$ denotes a distributed term and $u$ denotes an undistributed term.


Sources