Deontische Logik
Die deontische Logik ( griech déontos : das Nötige) (auch: Deontik) bezeichnet eine Logik der Normen und der normativen Begriffe, die die logischen Strukturen einer präskriptiven Sprache untersucht, d.h. einer Sprache der normativen Handlungen, von Handlungen, die eine Norm realisieren.Die deontische Logik wird manchmal als Teil der modalen Logik betrachtet. Eine Anwendung ist die Untersuchung von Eigenschaften solcher Funktoren wie
- "unbedingt"
- "erlaubt"
- "gleichgültig"
- "verboten"
- "Alle Absolventen müssen unbedingt Prüfungen ablegen"
- "Bei geschlossener Schranke ist es verboten, die Gleise zu überqueren"