Normenlogik

Die moderne Normenlogik wurde 1951 von G.H. v. Wright mit seinem Aufsatz 'Deontic Logic' aus der Taufe gehoben. Durch Umwandlung in ein modallogisches System entstand daraus das 'Standardsystem' der Normenlogik in verschiedenen Varianten. Dieses Buch bietet eine Einfuhrung in diese normenlogischen Standardsysteme; es richtet sich zwar in erster Linie an Leserinnen und Leser, die bereits mit der elementaren Logik vertraut sind, eignet sich aber auch fur Neulinge auf dem Gebiet der Logik als Einstieg in dieses Spezialgebiet. Anschlieend an eine informelle Erorterung der syntaktischen Struktur und der Interpretation von Normsatzen wird die formallogische Standardsprache fur Normen und die dazugehorige Mogliche-Welten-Semantik entwickelt. Die metalogischen Beweise fur die Korrektheit und Vollstandigkeit des normenlogischen Standardsystems werden Schritt fur Schritt vorgefuhrt. Auf dieser Grundlage aufbauend, werden weiterfuhrende Entwicklungen, alternative Systeme und Neuansatze der Normenlogik behandelt oder zumindest kurz erlautert, namlich: multimodale und dyadische Systeme der Normenlogik, 'defeasible deontic reasoning' sowie die dynamische Normenlogik. Auerdem wird aufgezeigt, wie sich die formalsprachlichen Verfahren der Normenlogik auf konkrete alltags- oder fachsprachliche Formulierungen in Moral und Recht bzw. Ethik und Jurisprudenz anwenden lassen. Ein Kapitel uber die Geschichte der Normenlogik in den letzten 100 Jahren beschliet das Buch.