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.

2022S, VU, 2.0h, 3.0EC
Lecture Tube

LVA-Bewertung

Merkmale

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

Lernergebnisse

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.

Methoden

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

Prüfungsmodus

Schriftlich

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

Institut

Leistungsnachweis

 Final exam

LVA-Anmeldung

Von Bis Abmeldung bis
22.02.2022 11:00

Anmeldemodalitäten

Register in advance for this meeting:

https://tuwien.zoom.us/meeting/register/tJUlf-2rqz4vGdBfVidBcFtb-bq-EEB-OgJ4

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

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

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

Vorausgehende Lehrveranstaltungen

Sprache

Englisch