What Is Logic? A Journey from Syllogisms to Theorems

What has been corrected on this page?

Every accepted correction to this page is recorded with the exact change, so readers can see how the page improved over time.

1. 12 July 2026 · corrected by Emir Baycan

   Logic Theorist proved 38 of the 52 theorems in Chapter 2 (propositional logic), not first 52 of whole work

   Before

   Allen Newell and Herbert Simon's Logic Theorist (1956) proved 38 of the first 52 theorems in Russell and Whitehead's Principia Mathematica.

   After

   Allen Newell and Herbert Simon's Logic Theorist (1956) proved 38 of the 52 theorems in Chapter 2 of Russell and Whitehead's Principia Mathematica.

   Why: Verified fix is fully applied: body text correctly reads '38 of the 52 theorems in Chapter 2 of Russell and Whitehead's Principia Mathematica'. This article has no separate bibliography/references section. FAQ field decoded cleanly (ops: base64,json,base64,json, 7 entries) and contains no mention of the Logic Theorist or this theorem count at all. No further changes needed.

   View the full record →

Who checked this page?

1 contributor has checked "What Is Logic? A Journey from Syllogisms to Theorems" on When Notes Fly. Each name below links to that person's public CitePep profile, where every contribution they have made is listed with the exact change they proposed.