Overview about the development of logic.

Didactic procedure:lecture presentation using slides.

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

Oral exam.

Basic knowledge in formal logic.