After successful completion of the course, students are able to name and explain the most imporant milestones in the development of formal logic, as well as to correctly argue theoretical relations of the considered formalisms and their relevance for modern logic.
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
- Cantor's theory of sets
- Frege'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