Definition:Distributed Term of Categorical Syllogism/Subject

From ProofWiki
Jump to navigation Jump to search


This page has been identified as a candidate for refactoring of medium complexity.
In particular: Change this to a Theorem: Universal Categorical Statement Distributes its Subject
Until this has been finished, please leave {{Refactor}} in the code.

New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only.

Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Refactor}} from the code.


Definition

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

Let $\mathbf \Phi$ be a universal categorical statement.

Then $S$ is described as being distributed.


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

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Distributed_Term_of_Categorical_Syllogism/Subject&oldid=722008"