199.093 Introduction to deontic logic: challenges, formal systems, applications
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2020W, VU, 2.0h, 3.0EC
TUWEL
This course is evaluated following the new mode. Learn more

Course evaluation

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 and explain the

  • motivations, such as the notorious deontic paradoxes,
  • formalisms (traditional modal and alternative norm based approaches),
  • applications (in ethical and legal reasoning, linguistics, multiagent systems)
  • computational aspects.

Subject of course

The lecturer of this course will be Leendert (Leon) van der Torre / University of Luxembourg.


Course description

The deontic logic community is an interdisciplinary research eld with a biannual conference since 1991. Interest in deontic logic in artificial intelligence and
computer science has strongly increased lately due to the need to address legal and ethical aspects of new technologies.
A typical deontic logic course is a mix of four components, which can each be handled in more or less detail depending on the interests and background of
the audience:

  • 1. motivations, such as the notorious deontic paradoxes,
  • 2. formalisms (traditional modal and alternative norm based approaches),
  • 3. applications (in ethical and legal reasoning, linguistics, multiagent systems)
  • 4. computational aspects.


 

Teaching methods

The lectures will be interactive presentations and in class exercises.

The structure will be as follows:

1. standard deontic logic and the search for a new standard (1): paradoxes, actions 2. standard deontic logic and the search for a new standard (2): nonmonotonic logic 3. unconstrained input/output logic 4. constrained input/output logic 5. formal argumentation and deontic logic 6. permission in input/output logic 7. rights and actions 8. common framework for standard deontic logic and input/output logic

Mode of examination

Immanent

Additional information

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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon10:00 - 12:0005.10.2020 - 19.10.2020EI 3A Hörsaal Introduction to deontic logic: challenges, formal systems, applications
Thu10:00 - 13:0008.10.2020 - 15.10.2020EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Thu10:00 - 13:0022.10.2020EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Tue09:00 - 11:0027.10.2020EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Thu10:00 - 13:0029.10.2020EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Introduction to deontic logic: challenges, formal systems, applications - Single appointments
DayDateTimeLocationDescription
Mon05.10.202010:00 - 12:00EI 3A Hörsaal Introduction to deontic logic: challenges, formal systems, applications
Thu08.10.202010:00 - 13:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Mon12.10.202010:00 - 12:00EI 3A Hörsaal Introduction to deontic logic: challenges, formal systems, applications
Thu15.10.202010:00 - 13:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Mon19.10.202010:00 - 12:00EI 3A Hörsaal Introduction to deontic logic: challenges, formal systems, applications
Thu22.10.202010:00 - 13:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Tue27.10.202009:00 - 11:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Thu29.10.202010:00 - 13:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications

Examination modalities

Information to be announced as soon as possible.

Course registration

Begin End Deregistration end
18.09.2020 00:00 05.10.2020 23:59

Registration modalities:

Please register in TISS.

Group Registration

GroupRegistration FromTo
Group 120.10.2020 15:15

Curricula

Literature

Recommended literature:

We wrote a textbook in 2018 which I use for my course on deontic logic at the master in computer science, which focuses on the logical aspects of the formalisms that are discussed in the course. It is freely available online:
https://www.collegepublications.co.uk/TLR/?00001

In addition, the handbook of deontic logic in computer science (first volume 2018, second volume 2020) will be used for background reading and the source for the paradoxes and applications in law and ethics.
https://collegepublications.co.uk/handbooks/?00001
Concerning the computational aspects, we can use Isabelle/HOL and an article that is to appear in AI Journal: https://arxiv.org/abs/1903.10187

All material is open access. Additional material can be supplied in case of specific interests.

Previous knowledge

This course is complementary to the one of Guido Governatori (guest lecture from the past year), but that course is not a prerequisite for the one here.

A general knowledge of (propositional) logic will be necessary, and a general knowledge of modal logic will be an advantage, but not strictly necessary.

Miscellaneous

  • Attendance Required!

Language

English