Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Bolzano, Bernard, --- Criticism and interpretation. --- Philosophers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Die moderne Normenlogik wurde 1951 von G.H. volume 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 Einführung 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 für Neulinge auf dem Gebiet der Logik als Einstieg in dieses Spezialgebiet. Anschließend an eine informelle Erörterung der syntaktischen Struktur und der Interpretation von Normsätzen wird die formallogische Standardsprache für Normen und die dazugehörige Mögliche-Welten-Semantik entwickelt. Die metalogischen Beweise für die Korrektheit und Vollständigkeit des normenlogischen Standardsystems werden Schritt für Schritt vorgeführt. Auf dieser Grundlage aufbauend, werden weiterführende Entwicklungen, alternative Systeme und Neuansätze der Normenlogik behandelt oder zumindest kurz erläutert, nämlich: multimodale und dyadische Systeme der Normenlogik, 'defeasible deontic reasoning' sowie die dynamische Normenlogik. Außerdem 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 über die Geschichte der Normenlogik in den letzten 100 Jahren beschließt das Buch.

Logic. --- PHILOSOPHY --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Mental philosophy --- Humanities --- Methodology

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Causation --- Causalité. --- Bolzano, Bernard --- Causalité.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic. --- Logic, Symbolic and mathematical. --- Logique --- Logique symbolique et mathématique --- Bolzano, Bernard, --- Criticism and interpretation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Philosophy, Modern --- Popper, Karl Raimund.