Aktuelles und Fristen


Die Erstsemesterbegrüßung findet am 08. April 2024 um 11 Uhr c.t. in HGD 20 statt.

Kommentiertes Vorlesungsverzeichnis (Grünbuch)

  • Das kommentierte Vorlesungsverzeichnis (Grünbuch) für das SoSe 2024 finden Sie hier.

Tutoriumstermine im Sommer Semester 2024

  • Tutoriumstermine für das SoSe 2024 finden Sie hier.

Zusätzliche Lehrveranstaltungen

030105    Straßer, Christian         „Formal Argumentation and Defeasible Reasoning (WM a, WM IIIa)                  

This course introduces into formal argumentation theory. Formal argumentation provides formal models of defeasible reasoning and argumentative exchanges.

We reason defeasibly whenever our conclusions don't necessarily follow from our assumptions, but rather typically, or probably, or plausibly. In unexpected circumstances we may have to retract these kind of inferences. For instance, although we had assumed that it rained during the night on the bases of observing wet streets, only to later learn that the streets have been cleaned. Typically we reason in this way when we lack information or the given information is uncertain. As such, this type of reasoning is central in everyday as well as in expert reasoning. Argumentation provides a natural way to think about defeasible reasoning since in cases in which we have to retract inferences can be expressed in terms of counter-arguments.

In this course we will cover basic approaches in formal argumentation, starting from Dung's seminal theory of abstract argumentation to systems of logic-based argumentation.

In this way students get introduced into an important and highly unifying sub-family of nonmonotonic logics (i.e., logics for defeasible reasoning) and, more generally, into a central paradigm in contemporary symbolic artificial intelligence.

A basic knowledge in formal logic is presupposed (such as a basic introductory lecture). Other than that, any student in the 5th+ term of a Bachelor program resp. in a master program can follow the course.

The course has a exercise unit in which weekly exercises are discussed.

Wednesdays, 14:30 -- 16:00, Wasserstraße 221, Seminar room: 1


030107    Straßer, Christian         Exercises: Formal Argumentation and Defeasible Reasoning“ (WM a, WM IIIa)             

This is the exercise unit for the course "Formal Argumentation and Defeasible Reasoning".

Wednesdays, 16:15 -- 17:45, Wasserstraße 221, Seminar room: 1


030113    Wang, Minkyung         Introduction to Social Epistemology (WM c, WM IIIc)

This course introduces selected topics in social epistemology, which addresses epistemological problems on a societal level. The primary focus will be on mathematical models of belief aggregation problems, which can vary depending on the input or output data type, logical relations of issues, incorporation of (shared) evidence or peer respect, and considerations of dynamic factors or long-term effects. Specifically, this course will cover topics such as judgment aggregation, probabilistic opinion pooling, Condorcet's jury theorem, the wisdom of crowds, Aumann's agreeing to disagree, consensus formation, and Bayesian merging of opinions. A prerequisite for this course is first-order logic. Some familiarity with basic set theory and probability calculus would be beneficial. The course will be conducted in English. As there is no standard textbook for mathematical social epistemology except for judgement aggregation, the course will follow my lecture notes referencing important papers in social epistemology.

Termin Mo, 14:00 - 16:00, GA 3/143  Beginn: 15.04.2024


030114    Wang, Minkyung         „Introduction to Formal Epistemology“ (WM c, WM IIIc)

Formal epistemology aims to address both old and new epistemological problems using mathematical methods. This introductory-level course will cover selected topics in formal epistemology. The main focus will be on different types of formal representation models of qualitative and quantitative beliefs and their rational relations. Specifically, the course will explore basic epistemic and doxastic logic, AGM belief revision theory, the Dutch book argument, epistemic decision theory, and the Lottery paradox.

Moreover, this course aims to balance breadth and depth of understanding.

Students will learn how to read formal theorems and proofs and play with mathematical concepts. A familiarity with first-order logic is a prerequisite. Some knowledge of basic set theory and probability calculus would be beneficial, though these will be taught during class. The course will be conducted in English. In principle, there will be no required readings. I will give lectures on important concepts and theorems with my lecture notes referencing the following literature.


Pettigrew, R. et al. (Eds.), Open Handbook for Formal Epistemology, Online.

Arlo-Costa, H. et al. (Eds.), Readings in Formal Epistemology Source Book, 2016, Springer.

Gärdernfors, P., Knowledge in Flux, 1988, MIT.

v. Ditmanrsch, H. et al., Dynamic Epistemic Logic, 2008, Springer.

Bradley, D., Critical Introduction to Formal Epistemology, 2011, Bloomsbury.

Titelbaum, M., Fundamentals of Bayesian Epistemology I, II, 2022, OUP.

Halpern, J., Reasoning about Uncertainty, 2017, MIT.

Pettigrew, R., Accuracy and the Law of Credence, 2016, OUP.

Leitgeb, H., Stability Theory of Belief, 2017, OUP.

Douven, I. (Eds.), Lotteries, Knowledge, and Rational Belief, 2021, CUP.

Termin Mi, 16:00 - 18:00, GD 1/236 Beginn: 17.04.2024


Bibliothekseinführung und Literaturrecherche