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
Quinn ECTS Erhebung


  • 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 (in particular 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 and in-class exercise sessions 


Blocked course over 12 days, with one lecture per day at 4 pm Vienna Time / 10 am Tufts time

Scheduled for 1-13 June 2023. 



Weitere Informationen


  • 1.6.2023:  Intro + MDL + Anderson's reduction
  • 2.6.2023:  paradoxes, neighborhood semantics
  • 5.6.2023:  practicals          
  • 6.6.2023:  DDL 1
  • 7.6.2023:  DDL 2
  • 8.6.2023: no lecture (bank holiday) 
  • 9.6.2923:   IOL 1
  • 12.6.2023: IOL 2
  • 13.6.2023: practicals
  • 16.6.2023: practicals (exact day to be discussed)

Vortragende Personen



 Final exam to be held on-line.


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.


066 931 Logic and Computation Gebundenes Wahlfach
175 FW Freie Wahlfächer - Wirtschaftsinformatik Freifach
880 FW Freie Wahlfächer - Informatik Freifach


Es wird kein Skriptum zur Lehrveranstaltung angeboten.


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

Vorausgehende Lehrveranstaltungen