Logik des Normativen; sie stellt eine Anwendung der formalen Logik auf den Bereich des Sollens und der Normen dar. In Anlehnung an die Modallogik und deren Operatoren, wie ›ist notwendig‹, ›ist möglich‹ ›ist nicht möglich‹ und ›ist kontingent‹ arbeitet die deontische Logik mit den Operatoren ›ist erlaubt‹, ›ist verboten‹ und ›ist indifferent‹. Im Unterschied zur herkömmlichen Aussagen- und Prädikatenlogik beinhaltet der propositionale Teil einer normativen Aussage keinen Sachverhalt, sondern bezieht sich auf Handlungstypen. In normativen Aussagen wird nicht über etwas, das der Fall oder nicht der Fall ist, gesprochen, sondern über Arten von Handlungen. In der deontischen Logik werden Handlungsarten in Hinblick auf ihre normativen Eigenschaften beurteilt. Aufgabe der deontischen Logik ist die Analyse normativer Aussagen mit dem Ziel, die Argumentationsstruktur von Handlungsbegründungen aufzuweisen. Grundbegriff der deontischen Logik ist ›p soll sein‹, der durch einen logischen Satzoperator O (O steht für obligatorisch) als ›Op‹ wiedergegeben werden kann. Der Operator O wird formal wie ein Modaloperator oder wie das Negationszeichen behandelt, welche durch Anwendung auf einen Satz einen neuen Satz ergeben.