192.130 Deontic Logic for Normative Reasoning
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2023S, VU, 2.0h, 3.0EC


  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Hybrid


Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

  •     Verstehen Sie die gängigen Formalismen in der deontischen Logik für normatives Denken
  •     Verstehen und diskutieren Sie einige der Hauptprobleme, die in der deontischen Logik auftreten
  •     Erhalten Sie einen besseren Einblick, wie deontische Logik letztendlich für ihre eigene Arbeit relevant sein kan

Inhalt der Lehrveranstaltung

Deontic logic deals with obligation, permission and related normative concepts. It has become increasingly relevant for domains where it is necessary to distinguish between what is the case and what ought to be the case, in computer science (e.g. AI and law, ethics), but also philosophy or linguistics.

This course will introduce three frameworks that have dominated the landscape of deontic logic: monadic deontic logic, dyadic deontic logic, and input/output (I/O) logic. They are good representative of the two main research traditions in deontic logic. It will describe their language, semantics, axiom systems, and gives soundness and completeness theorems. It will also introduce students to some of the main topics discussed in deontic logic, including reasoning about norm violation and conflicts. If time allows the course will also show how norms can be implemented in Isabelle/HOL. 

The course will be based on a textbook co-written by the lecturer and Prof. Dr. van der Torre (University of Luxembourg), Introduction to Deontic Logic and Normative Systems (College Publications, UK, 2018). The textbook is freely available on the publisher's website.


The course is organized in on-line lectures, homework and in-class exercise sessions 



Weitere Informationen

The course will be held in blocked mode April and May. Preliminary schedule:

Tu 13:00 - 14:30 19.04.2022   Introduction and motivations (computer science, philosophy)
Fri 13:00 - 14:30 22.04.2022   MDL 1: Syntax and Semantics
Tu 13:00 - 14:30 26.04.2022   MDL 2 : Anderson's reduction
Fri 13:00 - 14:30 29.04.2022   MDL 3: Paradoxes 1
Tu 13:00 - 14:30 03.05.2022   MDL 4: Paradoxes 2, weaker systems
Fri 13:00 - 14:30 06.05.2022   Practicals
Tue 13:00 - 14:30 10.05.2022   DDL 1 : Total order case
Fri 13:00 - 14:30 13.05.2022   DDL 2 : Advanced topics 
Tue 13:00 - 14:30 17.05.2022   Practicals
Fri 13:00 - 14:30 20.05.2022   IOL 1:unconstrained I/O (handling conflicts)
Tue 13:00 - 14:30 24.05.2022   IOL 2:constraints (conflicts), permission
Fri 13:00 - 14:30 27.05.2022   A glimpse at automated reasoning


Vortragende Personen



 Final exam


Von Bis Abmeldung bis
21.02.2023 11:00


Register in advance for this meeting:


After registering, you will receive a confirmation email containing information about joining the meeting.



Es wird kein Skriptum zur Lehrveranstaltung angeboten.


 Propositional logic. Knowledge of modal logic is a plus, but not required.

Vorausgehende Lehrveranstaltungen