Nichtmonotone Systeme Der Deontischen Logik Fur Bedingte Normen: Insights from Cern Physicists

In dieser Arbeit wird an Hand der Behandlung bedingter Normen die Entwicklung der deontischen Logik von ihrem klassischen Standardsystem bis hin zu den modernen nichtmonotonen Systemen nachgezeichnet. Im ersten Teil werden die konventionelle deontische Standardlogik SDL, ihre Probleme, und ihr Ausbau zu einer dyadischen deontischen Logik SDL2 vorgestellt. Beide klassischen Systeme werden in ihrer Behandlung bedingter Normen einer Kritik unterzogen. Da das Problem der Darstellung bedingter Normen in SDL auch mit den bekannten Paradoxien von SDL zusammenhängt, lohnt es sich, die wichtigsten Paradoxien ausführlich zu diskutieren. Im Rahmen dieser Diskussion wird auch bewiesen, daß die für SDL so problematische Paradoxie von Chisholm in SDL2 gelöst wird. Nach der Diskussion der Probleme von SDL und SDL2 werden zwei Systeme vorgestellt, deren Schwerpunkt die nichtmonotone Behandlung von bedingten Normen ist. Dazu wird einführend ein allgemeiner Überblick über nichtmonotone Logiken gegeben.