Modus::style    Small::solid    Logic::premise    Outline::terms    Premises::which    Clear::forms

A syllogism (Greek: συλλογισμός{{#invoke:Category handler|main}} syllogismos, "conclusion, inference") is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two or more propositions that are asserted or assumed to be true.

In its earliest form, defined by Aristotle, from the combination of a general statement (the major premise) and a specific statement (the minor premise), a conclusion is deduced. For example, knowing that all men are mortal (major premise) and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form (without sentence-terminating periods){{ safesubst:#invoke:Unsubst||date=__DATE__ |$B= {{#invoke:Category handler|main}}{{#invoke:Category handler|main}}[citation needed] }}:

All men are mortal

Socrates is a man

Therefore, Socrates is mortal

Syllogism sections
Intro  Early history  Basic structure  Terms in syllogism  Existential import  Syllogism in the history of logic  Syllogistic fallacies  See also  Notes  References  External links  

PREVIOUS: IntroNEXT: Early history