Human Reasoning and the Weak Completion Semantics
It has been shown in many experiments that human reasoning deviates from reasoning in classical logic. Although investigated for more than 100 years there is no general theory of human reasoning. Ideally, such a theory should adequately model human reasoning, it should be formal, computable, cognitive, and biological plausible. About 10 years ago a novel theory has emerged: The Weak Completion Semantics. It is based on the three-valued logic of Lucasiewicz, logic programming, abduction, counterexamples, and artificial neural networks. The lecture will give an in-depth introduction into human reasoning and the weak completion semantics, and will discuss to what extent the Weak Completion Semantics meets the desired properties.
The lecture will be given using a flipped classroom model. The lectures will be recorded in advance. A textbook will be made available. Participants are supposed to watch the videos and read the textbook before we meet once a week to discuss the content. Tutorials will accompany the lectures.
The lecture, the slides, and the videos are in English. The discussion will be in English or German depending on the participants. Whether the discussion and the tutorials will be physical or on-line will depend on the number of participants and the corona situation at the university. In on-line meetings all participants must be visible.
Enrolment is mandatory.