Advertisement
Published in:
2013 | OriginalPaper | Chapter
9. Deontische Logik
Author : Prof. Dr. Dr. Michael Schenke
Published in: Logikkalküle in der Informatik
Publisher: Springer Fachmedien Wiesbaden
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Zusammenfassung
Die DL
widmet sich der Erforschung sittlicher Normen, und zwar nicht nur in der Form einzelner Regeln, sondern als gesamtes System. Es geht also um Ausdrücke der Form „etwas ist obligatorisch“, „etwas ist erlaubt“ oder „etwas ist verboten“. Die Notwendigkeit sittlicher Beschränkungen in der Informatik und der Wissenschaft überhaupt ist evident.
Deren formale Behandlung im Rahmen einer rein kalkülmäßig betriebenen DL stößt aber auf große Schwierigkeiten. In den bisherigen formalen Systemen, etwa dem „Old System (OS)“ genannten System, wo erstmals formal modale Logik zur Grundlage der DL gemacht wurde, und dem späteren „Standardsystem der deontischen Logik (SDL)“, wurden gravierende Mängel und absurde Konsequenzen gefunden, die zeigen, wie schwierig eine konsistente formale Behandlung von Normen ist .
Ein möglicher aber sehr abstrakter Ausweg ist es, deontische Sätze nicht allgemeingültig zu formulieren sondern nur bezüglich einer nichtleeren Menge von Normen zu formulieren. Solche Mengen von Normen werden „Kodex“ genannt.