Normenlogik

Más información sobre el libro

Die moderne Normenlogik wurde 1951 von G. H. v. Wright mit seinem Aufsatz 'Deontic Logic' begründet, was zur Entwicklung des 'Standardsystems' der Normenlogik in verschiedenen Varianten führte. Dieses Buch bietet eine Einführung in diese Systeme und richtet sich primär an Leser, die bereits mit elementarer Logik vertraut sind, ist jedoch auch für Neulinge geeignet. Nach einer informellen Diskussion über die syntaktische Struktur und die Interpretation von Normsätzen wird die formallogische Standardsprache für Normen und die zugehörige Mögliche-Welten-Semantik entwickelt. Die metalogischen Beweise für die Korrektheit und Vollständigkeit des normenlogischen Standardsystems werden schrittweise dargestellt. Darauf aufbauend werden weiterführende Entwicklungen, alternative Systeme und Neuansätze behandelt, darunter multimodale und dyadische Systeme, 'defeasible deontic reasoning' sowie dynamische Normenlogik. Zudem wird gezeigt, wie die formalsprachlichen Verfahren der Normenlogik auf alltägliche und fachspezifische Formulierungen in Moral, Recht, Ethik und Jurisprudenz angewendet werden können. Ein Kapitel über die Geschichte der Normenlogik der letzten 100 Jahre rundet das Buch ab.