192.130 Deontic Logic for Normative Reasoning
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2024S, VU, 2.0h, 3.0EC
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Hybrid

Learning outcomes

After successful completion of the course, students are able to

  • Understand the mainstream formalisms in deontic logic for normative reasoning
  • Understand and discuss some of the main problems encountered in deontic logic
  • Use deontic logic to formalize legal or ethical reasoning
  • Communicate the basic concepts of deontic logic and their relevance for computer science and AI
  • Get a better insight on how deontic logic can be relevant for their own work

Subject of course

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 multi-agent systems and AI, it is viewed as instrumental in the design of a fully autonomous system,  able to reason about the lawfullness of its own behavior, and make ethical decisions. In legal informatics, it provides effective and general means for the automation of normative reasoning  processes based on legal knowledge bases. In philosophy, it provides a means of precise description of meaning, and helps tounderstand the nature of normative (e.g. ethical) reasoning, whose very possibility has been questioned. In linguistics it is a powerful tool for the semantic analysis of deontic modalities like ``must" or ``may'', thus allowing to draw meaning from texts
containing these modalities.

The course will cover the fundamentals of deontic logic, which emphasis on their semantics.

Two research traditions have dominated the landscape of deontic logic, one drawing on methods from modal logic, and the other drawing on methods from AI and rule-based systems.  This course will introduce to three frameworks representative of these two research traditions: monadic deontic logic (MDL), dyadic deontic logic (DDL), and input/output (I/O) logic. We will describe their language, semantics, axiom systems,and gives soundness and completeness theorems. We 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 provide a glimpse of normative automated reasoning (Isabelle/HOL).

This is primarily meant as a logic course.  However, it will also introduce to topics in philosophy of norms and in the philosophy of language, of direct relevance to the course.

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.

Teaching methods

The course is organized in lectures, homework and exercise sessions. 

Blocked course over 2-3 weeks, with one lecture per day at 13:00-14:30 pm (but practicals at 16:00-17:30)

Mode of examination

Written

Additional information

Contents

  • Mon 8.4.24: Intro + MDL + Anderson's reduction. (Room van Neumann FAV EG B)
  • Tu 9.4.24: paradoxes, neighborhood semantics (Seminarrum FAV 01 C)       
  • Mon 15.4.24: DDL 1. (Room van Neumann FAV EG B)
  • Tu  16.4.24: DDL 2 (Seminarrum FAV 01 C)
  • Th 18.4.24: practicals (Room van Neumann FAV EG B)   
  • Mon  22.4.24: IOL 1. (Room van Neumann FAV EG B)
  • Tu  23.4.24: IOL 2 (Seminarrum FAV 01 C)
  • Th  25.4.24: practicals (Room van Neumann FAV EG B)  
  • Th  02.5.24: practicals (Room van Neumann FAV EG B)  

 


Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon13:00 - 15:0008.04.2024 - 22.04.2024Seminarraum FAV EG B (Seminarraum von Neumann) deontic logic course
Tue13:00 - 15:0009.04.2024 - 23.04.2024Seminarraum FAV 01 C (Seminarraum 188/2) deontic logic course
Thu16:00 - 18:0011.04.2024 - 25.04.2024Seminarraum FAV EG B (Seminarraum von Neumann) deontic logic course -- practicals
Deontic Logic for Normative Reasoning - Single appointments
DayDateTimeLocationDescription
Mon08.04.202413:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) deontic logic course
Tue09.04.202413:00 - 15:00Seminarraum FAV 01 C (Seminarraum 188/2) deontic logic course
Thu11.04.202416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) deontic logic course -- practicals
Mon15.04.202413:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) deontic logic course
Tue16.04.202413:00 - 15:00Seminarraum FAV 01 C (Seminarraum 188/2) deontic logic course
Thu18.04.202416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) deontic logic course -- practicals
Mon22.04.202413:00 - 15:00Seminarraum FAV EG B (Seminarraum von Neumann) deontic logic course
Tue23.04.202413:00 - 15:00Seminarraum FAV 01 C (Seminarraum 188/2) deontic logic course
Thu25.04.202416:00 - 18:00Seminarraum FAV EG B (Seminarraum von Neumann) deontic logic course -- practicals

Examination modalities

Final exam (60%)

Homework (40%)

Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Thu - 06.06.2024written27.05.2024 00:00 - 05.06.2024 23:45TISSdeontic logic for normative reasoning

Course registration

Begin End Deregistration end
20.02.2024 11:00

Registration modalities

Register in advance for this course by clicking the button "register".


Curricula

Literature

No lecture notes are available.

Previous knowledge

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

Preceding courses

Language

English