This lecture deals with a brief overview on the history of logic.
Formal logic has a tradition spanning more than 2000. Today, it is a powerful tool for knowledge representation and fundamental not only in computer science but for science in general. In this lecture, we deal with a brief overview on the historical development of logic. Topics include:
- Aristotle's system of syllogisms
- Leibniz's work on logic (algebraic calculi, the idea of a complete and automated language of reasoning - "calculus ratiocinator")
- algebra and geometry
- Boole's algebra of logic
- Frege's logic
- Cantor's arithmetic
- Peano's logic
- Whitehead and Russell's Principia Mathematica
- Hilbert and Gödel
Kneale & Kneale: The Development of Logic
Nidditch: The Development of Mathematical Logic
Doxiadis & Papadimitriou:Logicomix - An Epic Search for Truth
Cryan, Shatil, & Mayblin: Logic - A Graphic Guide