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 article is issued from Wikipedia - version of the Saturday, February 14, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.