A syllogism (, syllogismos, 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BC book Prior Analytics), a syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. 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: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. From the Middle Ages onwards, categorical syllogism and syllogism were usually used interchangeably. This article is concerned only with this historical use. The syllogism was at the core of historical deductive reasoning, whereby facts are determined by combining existing statements, in contrast to inductive reasoning in which facts are determined by repeated observations. Within some academic contexts, syllogism has been superseded by first-order predicate logic following the work of Gottlob Frege, in particular his Begriffsschrift (Concept Script; 1879). Syllogism, being a method of valid logical reasoning, will always be useful in most circumstances and for general-audience introductions to logic and clear-thinking. Early history In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. Aristotle Aristotle defines the syllogism as "a discourse in which certain (specific) things having been supposed, something different from the things supposed results of necessity because these things are so." Despite this very general definition, in Prior Analytics, Aristotle limits himself to categorical syllogisms that consist of three categorical propositions, including categorical modal syllogisms. The use of syllogisms as a tool for understanding can be dated back to the logical reasoning discussions of Aristotle. Before the mid-12th century, medieval logicians were only familiar with a portion of Aristotle's works, including such titles as Categories and On Interpretation, works that contributed heavily to the prevailing Old Logic, or logica vetus. The onset of a New Logic, or logica nova, arose alongside the reappearance of Prior Analytics, the work in which Aristotle developed his theory of the syllogism. Prior Analytics, upon rediscovery, was instantly regarded by logicians as "a closed and complete body of doctrine," leaving very