Logische Methoden für deontische Erklärungen

Normatives Schließen, das Verpflichtungen und verwandte Konzepte beinhaltet, ist in einer Vielzahl von Bereichen von großer Bedeutung von Recht und Ethik bis hin zu künstlicher Intelligenz. Die Kombination von deontischer Logik und formaler Argumentation bietet eine umfangreiche theoretische Grundlage für die Modellierung dieses logischen Schließens. Die drei Partner des Projekts LOgical Methods for Deontic EXplanations (LoDEx) repräsentieren wichtige Entwicklungen auf diesem Gebiet: Agata Ciabattoni (TU Wien) befasst sich mit mathematischen und praktischen Aspekten der Logik, Christian Straßer (Ruhr-Universität Bochum) integriert formale Methoden in die Philosophie, und Leon van der Torre (Universität Luxemburg) liefert juristische und ethische Argumente in den Bereichen Informatik und künstliche Intelligenz. Nun bündeln sie ihre Kräfte, um eine formale Theorie zu entwickeln, um Entscheidungen gemäß normativen Codes (Vorschriften, Straßenregeln, ethische Grundsätze usw.) zu erklären. Deontische Erklärungen bieten Begründungen dafür, warum bestimmte Normen in manchen Situationen anwendbar sind und in anderen nicht. Sie geben Antworten auf komplexe Fragen wie Wieso sollte, unter gegebenen Umständen, ein Kind seinem Vater und nicht seiner Mutter anvertraut werden? oder Sollte jemand mit bestimmten religiösen Überzeugungen gezwungen werden, sich einem lebensrettenden medizinischen Eingriff zu unterziehen? Warum oder warum nicht?". Das LoDEx-Projekt plant, unterstützt durch Werkzeuge, logische Methoden zu entwickeln, um diese Entscheidungen zu erklären. Die in LoDEx entwickelten formalen Methoden werden auf Schlüsselfallstudien in den Bereichen (Bio-)Ethik und Recht angewendet und anhand dessen evaluiert. Das Ziel von LoDEx ist es, die komplexen Entscheidungen, die in diesen beiden Bereichen und in verwandten Bereichen getroffen werden, sowie allgemein die Entscheidungen, die wir in unserem täglichen Leben treffen, besser zu verstehen begründen zu können. Letztendlich trägt unsere Arbeit dazu bei, einen stärker auf den Menschen ausgerichteten Ansatz für logisches Schließen zu entwickeln.