# Definition:Categorical Syllogism/Middle Term

Jump to navigation
Jump to search

## Definition

The **middle term** of a categorical syllogism is the term that does not appear in the conclusion of the syllogism.

It appears once in each of the premises of the syllogism.

It is usually denoted by $M$.

## Also known as

Some sources denote it with the letter $G$.

## Sources

- 1965: E.J. Lemmon:
*Beginning Logic*... (previous) ... (next): $\S 4.4$: The Syllogism - 1998: David Nelson:
*The Penguin Dictionary of Mathematics*(2nd ed.) ... (previous) ... (next): Entry:**syllogism** - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next): Entry:**syllogism**