A brief history of logic: from Leibniz to Boole | Math Foundations 254 | N J Wildberger

Main Ideas / Concepts Conveyed

Shift from Classical Logic to Modern Logic (17th–19th Centuries)

• After Aristotle’s era, Aristotelian syllogistic logic lost much of its dominance—especially after the Scientific Revolution.
• Reasoning shifted away from winning debates or rhetorical display toward:
  • understanding the world
  • unlocking nature’s “mysteries”
• Inductive reasoning became more prominent:
  • observing particular real-world cases
  • then generalizing This contrasted with older deductive/armchair approaches.

Logic Begins to Intertwine with Mathematics

• Modern mathematicians began systematizing reasoning procedurally—how to reason correctly.
• They looked back to classical logic, but aimed for:
  • formal analysis
  • foundations work
• The spirit was similar to the mathematical rigor used in physics and astronomy.

Leibniz as a Key “Bridge” Figure

Gottfried Leibniz (1646–1716) is portrayed as extraordinarily influential across calculus and as a thinker pushing toward mechanizing reasoning.

• He’s credited with major contributions to calculus notation and symbolism.
• He also built a mechanical calculator (described as a precursor to computation) and advocated that:
  • we can build machines to do arithmetic
  • therefore we might also mechanize reasoning and logic
• His goal was a “calculus of reason”:
  • using symbols
  • with manipulation rules
  • that could determine correctness/errors similarly to calculation
• The speaker emphasizes that Leibniz’s program did not fully mature in his own time, but likely influenced later developments.

18th Century: Visual / Logical Symbolism Emerges

Figures mentioned include Clouquet, Lambert, and Euler.

• Logic increasingly relied on:
  • formal symbols
  • diagrams
• Examples include symbolic forms for statements like “All A are B.”
• Euler/Venn-like diagrams:
  • represent subsets as regions (e.g., an A-circle inside a B-circle)
• Lambert’s approach used linear/segment representations for logical quantities and equations.

19th Century: Logic Becomes Mathematically Formal (“Logic Meeting Algebra”)

The talk frames the 19th century as the moment logic becomes a mathematical subject, with downstream impact on 20th-century computing and the digital world.

• The narrative is somewhat reversed from a common story:
  • Rather than logic being a foundation for mathematics from the start, the claim is that:
    • logic developed for centuries mostly through philosophy
    • then 19th-century mathematicians applied mathematics to logic, transforming it

Two Central Figures of Mathematical Logic (With Algebraic Structure)

Augustus De Morgan (1806–1871)

• Authored Formal Logic and the Calculus of Inference.
• Developed the idea of a universal “universe of discourse” (a set of all objects being considered).
• Advanced set-theoretic/logical operations such as complements.
• Formulated what are known as De Morgan’s laws:
  • Negation of a disjunction ↔ conjunction of negations
  • Negation of a conjunction ↔ disjunction of negations

George Boole (1815–1864)

• Portrayed as a leading figure in emerging pure mathematics and abstract structure.
• Key works:
  • The Mathematical Analysis of Logic (1847)
  • An Investigation of the Laws of Thought (1854)
• Boole’s goal:
  • convert Aristotelian syllogistic logic into a purely algebraic system
  • remove philosophical contextual subtleties and study the underlying algebra of logical relations
• The speaker notes a common misunderstanding:
  • “Boolean algebra” is often taught via electronics/circuit logic
  • but historically it is not originally just about circuits—it comes from Boole’s algebraic logic (close, but not identical, to practical circuit formulation).

---

Methodology / Instructional Elements (As Presented)

Inductive Reasoning Method (Bacon’s Approach, Conceptually)

• Observe particular instances in the real world.
• Generalize from those instances to form broader conclusions.
• Emphasis is on scientific inquiry and empirical grounding rather than purely “armchair” derivations.

Leibniz’s “Calculus of Reason” Program

Reasoning is represented with:

• symbols
• rules for symbol manipulation

Using those rules to:

• deduce consequences
• establish correctness via equivalence between:
  • correct vs incorrect calculation
  • correct vs incorrect reasoning

Long-term expectation: reasoning might become computable/mechanizable.

Boole-Style Logic-as-Equations Approach

• Treat a logical proposition as being expressible by an equation.
• The form of the equation determines allowed rules for:
  • conversion
  • transformation
• Logical equivalences correspond to symmetries in equations.

Example (symmetry-based equivalence):

• “Some pets are kittens” is equivalent to “Some kittens are pets.”

---

Speakers / Sources Featured (As Identifiable in the Subtitles)

• Norman J. Wildberger (speaker/host)
• Aristotle (referenced)
• Francis Bacon (referenced; mentioned with Novum Organum)
• Gottfried Wilhelm Leibniz (referenced; calculating machine, calculus of reason)
• Christian Huygens (referenced as inspiring Leibniz)
• Pascal (referenced)
• René Descartes (referenced)
• Isaac Newton (referenced indirectly via foundations of calculus)
• Augustus De Morgan (identified; De Morgan’s laws)
• George Boole (source figure; Boole’s books and quotations)
• Sir William Hamilton (referenced; includes a note about two Hamiltons)
• Clouquet (referenced)
• Lambert (referenced; linear representations)
• Euler (referenced; diagrammatic approach)
• Rowan Hamilton / Sir William Rowan Hamilton (referenced; quaternions; friend/contributor context)
• Project Gutenberg (referenced as a place to read Boole’s text online)
• [Music] (background music marker; not a speaker)