deontische Logik
deontische Logik [zu griechisch déon »die Pflicht«, »das Erforderliche«] die, -, Deontik,
Bereich der formalen Logik, der normative Aussagen (z. B. »Es ist erlaubt, dass ...«, »Es ist verboten, dass ...«) auf ihre formallogischen Beziehungen hin untersucht. Die deontische Logik wird als ein Spezialfall der Modallogik behandelt, wobei die Begriffe des Erlaubtseins, des Verbotenseins und der Verpflichtung zu den modallogischen Grundbegriffen der
Informationen zum Artikel
Quellenangabe