Definition:Categorical Syllogism/Secondary Term

From ProofWiki
Jump to navigation Jump to search


The secondary term of a categorical syllogism is the term that appears as the first predicate of the conclusion of the syllogism.

It also appears once in one of the premises of the syllogism, traditionally the minor premise.

It is usually denoted by $S$.

Also known as

Some sources call this the minor term, whence the name of the minor premise in which it occurs.

Others call it the subject of the syllogism, but this is not recommended as it can be a cause for confusion due to its ambiguity.

Some sources denote it with the letter $F$.