From Syllogism to Commonsense: A Tour through the Logical Landscape (WS 2011-12)
- Lecturers
-
Dr. Mehul Bhatt, Dr. Oliver Kutz, Dr. Thomas Schneider
- Audience
-
Diplom, MSc, and PhD students in computer science, mathematics, philosophy and related subjects
- Hours
-
V2Ü1 – 90min lecture, break, 45min tutorial
- Time and place
- Thu 16:00–18:00 and 18:00–19:00 MZH 1110 (exceptions: 3rd and 17th Nov in MZH 3150)
Abstract
This course will give an overview of different non-classical logics and relate them with classical logics. Tentative list of topics (subject to change):
- Syllogism
- Propositional logic
- Intuitionistic logic
- Strict implication and modal logic
- Many-valued and fuzzy logic
- Description logic
- First-order logic
- Commonsense logic: situation calculus, event calculus
- Commonsense Spatial Reasoning
We will discuss intuitions and important theoretical aspects, and will demonstrate tools where they exist. Every lecture will be accompanied by exercises, to be discussed in the following week. There is no prerequisite for taking this course.
Literature
To be given as the course advances