199.087 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.

2019W, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Lernergebnisse

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

After successful completion of the course, students are able to...

  • explain the field "Deontic Logic" and the problems it faces for the formalisation of normative systems.

************************

 

Inhalt der Lehrveranstaltung

The lecturer of this course will be Prof. Guido Governatori (CSIRO Data61 / Australia).

The course is divided in two parts.
In the first part it starts from the seminal paper by von Wright (1951) then it examines the various paradoxes affecting deontic logic and looks at various logical systems meant to address the paradoxes and other aspects of normative reasoning.
The second part is dedicated to a computationally and practical logic, called Defeasible Deontic Logic, for the formalisation of normative systems: this part provides both a theoretical investigation of the logics (and its variants), and a practical component where the students have the opportunity to get their hands on the logic and provide encoding for some normative documents.

Methoden

Interactive lecture, students' presentations

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

This is a visiting professor course of the Vienna PhD School of Informatics.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.10:00 - 13:0016.12.2019FAV Hörsaal 2 Deontic Logic for Normative Reasoning
Di.11:00 - 14:0017.12.2019Seminarraum FAV 01 C (Seminarraum 188/2) Deontic Logic for Normative Reasoning
Mi.10:00 - 13:0018.12.2019Seminarraum FAV 01 C (Seminarraum 188/2) Deontic Logic for Normative Reasoning
Di.11:00 - 14:0007.01.2020Seminarraum FAV 01 B (Seminarraum 187/2) Deontic Logic for Normative Reasoning
Mi.10:00 - 13:0008.01.2020Seminarraum FAV 01 C (Seminarraum 188/2) Deontic Logic for Normative Reasoning
Do.13:00 - 16:0009.01.2020Seminarraum FAV 01 C (Seminarraum 188/2) Deontic Logic for Normative Reasoning
Fr.11:00 - 13:0010.01.2020Seminarraum FAV 01 C (Seminarraum 188/2) Deontic Logic for Normative Reasoning
LVA wird geblockt abgehalten

Leistungsnachweis

Immanent

LVA-Anmeldung

Von Bis Abmeldung bis
17.10.2019 06:00 17.12.2019 23:59

Anmeldemodalitäten:

Please register in TISS.

Curricula

StudienkennzahlSemesterAnm.Bed.Info
PhD Vienna PhD School of Informatics

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch