From the Universal to the Particular
All men are mortal. Socrates is a man. Therefore, Socrates is mortal. The syllogism -- that elegant machine of certainty -- has been the backbone of Western logic since Aristotle codified it in the Prior Analytics. Deductive reasoning moves from established premises to inescapable conclusions; if the premises are true, the conclusion cannot be false. It is the gold standard of logical inference, the method by which mathematics builds its towering edifices of proof.
From modus ponens to modus tollens, from categorical syllogisms to hypothetical chains, deduction provides the scaffolding upon which all formal systems rest. Every theorem ever proven, every contradiction ever exposed, every proof by exhaustion ever completed -- all owe their certainty to the deductive method.
From the Particular to the Probable
The sun rose today. The sun rose yesterday. The sun rose every day for as long as anyone can remember. Therefore, the sun will rise tomorrow. Inductive reasoning takes observed patterns and projects them forward -- not with certainty, but with justified confidence. David Hume's "problem of induction" exposed this confidence as philosophically ungrounded, yet science marches forward on inductive legs nonetheless.
From Francis Bacon's Novum Organum to Karl Popper's falsificationism, from Bayesian updating to machine learning's gradient descent, induction is the engine of empirical knowledge. Every scientific law is an inductive generalization; every prediction model a sophisticated inductive bet. We cannot prove the future from the past, but we can make extraordinarily well-calibrated wagers.
Inference to the Best Explanation
The grass is wet. Rain would explain wet grass. Therefore, it probably rained. Charles Sanders Peirce named this third mode of reasoning "abduction" -- the creative leap from surprising observation to explanatory hypothesis. Unlike deduction's certainty or induction's accumulation, abduction is the logic of discovery, the inferential act that generates new ideas rather than merely validating existing ones.
Sherlock Holmes's "deductions" are, ironically, almost entirely abductive. Medical diagnosis, scientific hypothesis formation, archaeological interpretation, detective work -- all rely on abduction. It is the most human form of reasoning: messy, fallible, creative, and indispensable. The philosopher Gilbert Harman formalized it as "inference to the best explanation," emphasizing that abduction selects among competing hypotheses by their explanatory virtue.
Where Reason Confronts Itself
"This statement is false." With four words, the Liar's Paradox shatters the comfortable assumption that every proposition must be either true or false. Paradoxes are not failures of logic -- they are logic's immune system, stress-testing the boundaries of formal systems and revealing hidden assumptions. From Zeno's arrow that never reaches its target to Russell's set of all sets that don't contain themselves, paradoxes have driven the most profound advances in logical theory.
Gödel's incompleteness theorems -- the crown jewels of mathematical logic -- are paradoxes domesticated. The halting problem, the surprise examination paradox, Newcomb's problem, the sorites paradox of the heap -- each forces us to refine our understanding of truth, proof, decidability, and vagueness. Paradox is not the enemy of reason; it is reason's most productive provocation.
4th century BCE
Aristotle's syllogistic -- the first formal system. Categorical propositions, figures, moods. The Organon as logic's founding document. Stoic propositional logic extending the Aristotelian framework into conditional reasoning.
6th century BCE onward
Nyāya's five-part syllogism (pramāṇa), Buddhist catuṣkoṭi (fourfold negation), Jain syādvāda (many-valued logic). A tradition of debate as spiritual discipline, where logical rigor serves liberation.
5th century BCE
The Mohist Canons -- parallel development of formal reasoning. The "white horse is not a horse" paradox of Gongsun Long. The School of Names exploring reference, predication, and the limits of language as a vehicle for truth.
9th century CE
Al-Fārābī's commentaries transmitting Aristotle. Avicenna's temporal modal logic. The mantiq tradition integrating logic with Islamic theology, producing innovations in conditional reasoning that anticipated modern developments by centuries.
17th century CE
Leibniz's characteristica universalis -- the dream of a universal logical language. Boole's algebraization of logic. Frege's Begriffsschrift founding modern predicate logic. Russell, Gödel, Turing -- logic's golden century.