Aristotle Quote on Logic: The Definition of the Syllogism

Quote

"A syllogism is discourse in which, certain things being stated, something other than what is stated follows of necessity from their being so."

— Aristotle, Prior Analytics (Book I, Chapter 1)

Historical Context

The passage opens the Prior Analytics, the third treatise of Aristotle's Organon and the work in which logic is effectively invented. Writing in the fourth century BCE within the disputatious culture of the Platonic Academy, Aristotle took the decisive step of treating arguments themselves as objects of study. Before him, no one had asked systematically which forms of inference are valid and which are not. The Categories and On Interpretation had examined terms and propositions; the Prior Analytics rises to the level of the argument, and its opening definition announces the program: logic will be the science of what follows of necessity from what is stated. The definition matters as much for what it excludes as for what it includes — it makes validity a property of the relation between premises and conclusion, not of the truth or plausibility of the content, and it thereby separates the study of reasoning from the study of the world it reasons about.

Philosophical Interpretation

The definition contains three ideas that still define the subject. First, discourse: logic concerns language and thought, the medium in which inference is carried out. Second, certain things being stated: an argument begins from premises that are granted, whatever their origin — this is what makes the theory general across all subject matters. Third, follows of necessity: the mark of validity is that the conclusion cannot fail to be true if the premises are true. With this definition, Aristotle locates the essence of deduction — and every later account of logical consequence, from the Stoics through Frege and Russell to modern model theory, is a refinement of the same idea. The definition also implies the priority of form: since "certain things being stated" can be anything, what makes the inference necessary must be the shape of the argument — the arrangement of terms — not its subject matter. That insight, that validity is a matter of form, is the founding insight of formal logic and the reason Aristotle's syllogistic, two millennia later, is recognized as the ancestor of the formal systems of Principia Mathematica.

Related Concepts

The syllogism is analyzed in full in the Prior Analytics and summarized in the answer to what is a syllogism. Its three-tier architecture — terms combine into propositions, propositions into syllogisms — is the subject of the Organon, and its distinction from induction is drawn in deduction vs. induction. The definition of validity as necessary consequence is discussed in what is logic and connects to reasoning and critical thinking. Aristotle's catalogue of how arguments fail is treated in what is a logical fallacy.

Learning Path

1. Start with the thinker: Read the Aristotle page to situate the Prior Analytics in the corpus and in the history of philosophy of logic.
2. Learn the machinery: The answer page what is a syllogism explains the figures, moods, and terms that Aristotle's definition introduces.
3. Contrast deduction and induction: The distinction drawn in deduction vs. induction clarifies why Aristotle's definition concerns only the deductive side.
4. Study the source: Read the first book of the Prior Analytics, whose opening chapter states the definition and whose later chapters build the full syllogistic.
5. Trace the legacy: Compare Aristotle's necessity with modern accounts of logical consequence and with the formal systems of Principia Mathematica.