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.

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

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.

Interactive lecture, students' presentations

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

Immanent

Please register in TISS.