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

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • 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 (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.

Methoden

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

 

Prüfungsmodus

Schriftlich

Weitere Informationen

Contents

  • Lecture 1  Introduction and motivations (computer science, philosophy) 
  • Lecture 2  MDL 1: Syntax and Semantics
  • Lecture 3  MDL 2 : Anderson's reduction 
  • Lecture 4  MDL 3: Paradoxes 1           
  • Lecture 5  DDL 1 : Total order case 
  • Lecture 6  DDL 2 : Advanced topics  
  • Lecture 7  IOL 1:unconstrained I/O (handling conflicts) 
  • Lecture 8  IOL 2:constraints (conflicts), permission 
  • Lecture 9 Automated reasoning

Vortragende Personen

Institut

Leistungsnachweis

 Final exam to be held on-line.

LVA-Anmeldung

Von Bis Abmeldung bis
21.02.2023 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