Overview about the development of logic.
Didactic procedure:lecture presentation using slides.
News:
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:
Oral exam.
Not necessary
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
Basic knowledge in formal logic.