history of logic

Table of Contents

Introduction
Origins of logic in the West
- Precursors of ancient logic
- Aristotle
  - Categorical forms
  - Syllogisms
- Theophrastus of Eresus
- The Megarians and the Stoics
- Late representatives of ancient Greek logic
Medieval logic
- Transmission of Greek logic to the Latin West
- Arabic logic
- The revival of logic in Europe
  - St. Anselm and Peter Abelard
  - The “properties of terms” and discussions of fallacies
- Developments in the 13th and early 14th centuries
  - The theory of supposition
  - Developments in modal logic
- Late medieval logic
Modern logic
- The 16th century
- The 17th century
- Leibniz
- The 18th and 19th centuries
  - Gottfried Ploucquet
  - Johann Heinrich Lambert
  - Other 18th-century logicians
  - Boole and De Morgan
  - Charles Sanders Peirce
  - Gottlob Frege
  - Ernst Schröder
  - Georg Cantor
  - Other 19th-century logicians
Logic since 1900
- Propositional and predicate logic
- Principia Mathematica and its aftermath
- Set theory
  - Zermelo-Fraenkel set theory (ZF)
  - The continuum problem and the axiom of constructibility
  - The axiom of choice
  - Problems and new directions
- Theory of logic (metalogic)
- Syntax and proof theory
- Logical semantics and model theory
  - Completeness
  - Gödel’s incompleteness theorems
  - Development of model theory
- Interfaces of proof theory and model theory
- Theory of recursive functions and computability
  - Effective computability
  - The Turing machine
  - Applications of recursive-function theory

References & Edit History Related Topics

Images

Plato conversing with his pupils

Rembrandt: Aristotle with a Bust of Homer

Marcus Tullius Cicero

Holbein the Younger: Boethius

logic: universal affirmative

John von Neumann

Read Next

Spiral Galaxy type Sa-Sb or Sa/Sb in the constellation Virgo. The majestic Sombrero Galaxy Messier 104 (M104) or NGC 4594. The team took six pictures of the galaxy, stitched them together to create the final composite image. Photo from May-June 2003

9 Britannica Articles That Explain the Meaning of Life

Discover

Poker game. Card game. Royal Flush in poker. Hearts suit gambling

Poker Hands Ranked

Figure 13: A Maxim machine gun, belt-fed and water-cooled, operated by German infantrymen, World War I.

7 Deadliest Weapons in History

Dancers at a Cinco de Mayo festival at the Mission District, San Francisco, California. (Photo dated 2019.) holidays

Is Cinco de Mayo Mexico's Independence Day?

Happy, smiling, flying pig

7 Everyday English Idioms and Where They Come From

Ethel Rosenberg arrested in August 1950. Photograph dated Aug. 8, 1950. American civilians executed for espionage. Spies, communists, Julius Rosenberg

Spies Like Us: 10 Famous Names in the Espionage Game

King Cobra snake in Malaysia. (reptile)

9 of the World’s Deadliest Snakes

Illustration for Demystified "How Dangerous is Quicksand"

How Deadly Is Quicksand?

history of logic: Related Content

Written and fact-checked by The Information Architects of Encyclopaedia Britannica

Photos

Plato conversing with his pupils

Rembrandt: Aristotle with a Bust of Homer

Marcus Tullius Cicero

Holbein the Younger: Boethius

logic: universal affirmative

John von Neumann

See All Images →

Topics

logic ancient logic medieval logic formal logic applied logic metalogic modern logic philosophy of logic fuzzy logic predicate calculus law of nature

Dig Deeper: More Articles That Discuss This Topic

Charles Sanders Peirce: Work in logic.