Middle term
In logic, a middle term is a term that appears (as a subject or predicate of a categorical proposition)[1] in both premises but not in the conclusion of a categorical syllogism.[2] The middle term (in bold below) must be distributed in at least one premise but not in the conclusion. The major term and the minor terms, also called the end terms, do appear in the conclusion.
Example:
- Major premise: All men are mortal.
- Minor premise: Socrates is a man.
- Conclusion: Socrates is mortal.
The middle term is bolded above.
References
This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |