Nichtklassische Logik : : Eine Einführung / / hrsg. von Werner Stelzner, Siegfried Gottwald, Lothar Kreiser.

• HerausgeberIn: Gottwald, Siegfried,; Kreiser, Lothar,; Stelzner, Werner,
• Place / Publishing House: Berlin ;, Boston : : De Gruyter, , [2022]; ©1990
• Year of Publication: 2022
• Edition: 2., durchgesehene Auflage, Reprint 2022
• Language: German
• Physical Description: 1 online resource (452 p.)

Table of Contents

• Frontmatter
• Inhaltsverzeichnis
• Vorwort
• Vorwort zur zweiten Auflage
• 1. Klassische und nichtklassische Logik
• 1.1. Zum Gegenstand der Logik*
• 1.2. Zum allgemeinen Kalkülbegriff
• 1.3. Klassische Aussagenlogik
• 1.4. Klassische Prädikatenlogik
• 2. Mehrwertige Logik
• 2.1. Grundprinzipien der mehrwertigen Logik
• 2.2. Mehrwertige Aussagenlogik
• 2.2.1. Die formale Sprache
• 2.2.2. Spezielle Wahrheitswertmengen und Junktoren
• 2.2.2.1. Wahrheitswert funktionell für Negatidnen
• 2.2.2.2. Wahrheitswertfunktionen für Konjunktionen
• 2.2.2.3. Wahrheitswertfunktionen für Alternativen
• 2.2.2.4. Wahrheitswertfunktionen für Implikationen
• 2.2.2.5. Spezielle dreiwertige Wahrheitswertfunktionen
• 2.2.3. Ausgezeichnete Quasiwahrheitswerte, Tautologien und Folgerungen
• 2.2.4. Allgemeine Probleme bei mehrwertigen aussagenlogischen Systemen
• 2.2.4.1. Das Problem der Axiomatisierbarkeit der Menge aller Taviologien
• 2.2.4.2. Das Problem der formalen Darstellung der Folgerungsbeziehung
• 2.2.4.3. Das Problem der funktionalen Vollständigkeit der betrachteten Menge von Junktoren
• 2.2.4.4. Das Problem der Entscheidbarkeit
• 2.2.5. Spezielle mehrwertige aussagenlogische Systeme
• 2.2.5.1. Das dreiwertige System L3 von Lukasiewicz [1920]
• 2.2.5.2. Die dreiwertigen Systeme B3, B3 E von Boóvar [1938]
• 2.2.5.3. Die dreiwertigen Systeme K3, K3* von Kleene [1938], [1952]
• 2.2.5.4. Die n-wertigen Systeme P„ von Post [1921]
• 2.2.5.5. Die mehrwertigen Systeme L, von Lukasiewicz
• 2.2.5.6. Die n-wertigen Systeme G„ von Oödel [1932]
• 2.2.6. Mehrdimensionale Mengen von Quasiwahrheitswerten und Produktlogiken
• 2.3. Mehrwertige Prädikatenlogik
• 2.3.1. Mehrwertige Prädikate
• 2.3.2. Die formale Sprache
• 2.3.3. Interpretationen, allgemeingültige Ausdrücke
• 2.3.4. Die Lukasiewiczschen prädikatenlogischen Systeme L,
• 2.4. Anwendungen mehrwertiger logischer Systeme
• 2.4.1. Deutungsverstiche für alethische Modalitäten
• 2.4.2. Zur Deutung der intuitionistischen Logik
• 2.4.3. Mehrwertige Wahrheitswertstrukturen für die Präsuppositionstheorie
• 2.4.4. Undbhängigkeitsbeweise
• 2.4.5. Mehrwertige Schaltalgebra
• 2.4.6. Untersuchungen zur Widerspruchsfreiheit der Mengenlehre
• 2.4.7. Unscharfe Mengen und, Vagheit von Begriffen
• 2.4.8. Eine dreidimensionale, mehrwertige Logik und ihre Begründung aus wissenschaftsmethodologischer Sicht
• 2.4.9. Bemerkungen zur Bangreihen-Logik
• 2.5. Historischer Überblick zur mehrwertigen Logik
• 3. Modallogik
• 3.1. Problemstellung
• 3.2. Prinzipien für den Aufbau einer einfachen Modallogik
• 3.3. Das System K
• 3.3.1. Zum Aufbau des Kalküls
• 3.3.2. Semantische Charakterisierung
• 3.3.3. Der Satz über Adäquatheit
• 3.4. Klassische Modallogik (Normale Systeme)
• 3.4.1. Die Kalküle T, S4 und S520
• 3.4.2. Relationssemantiken für T, S4 und S5
• 3.4.3. Ein unifizierendes Prinzip
• 3.4.4. Entscheidbarkeit
• 3.4.5. Die Ausdrucksfähigkeit modaler Kalküle
• 3.5. Modifikationen und Erweiterungen
• 3.5.1. Hirdikkas mögliche Welten
• 3.5.2. Nichinormale Systeme
• 3.5.3. Umgebungssemantiken
• з.5.4. Angewandte Modallogiken
• 3.5.5. Grenzen des semantischen Verfahrens
• 3.6. Modale Prädikatenlogik
• 3.6.1. Einige prädikatenlogische modale Systeme
• 3.6.2. Erweiterungen
• 3.6.3. Quantifikation und Modalitäten
• 4. Intuitionistische Logik
• 4.1. Problemstellung
• 4.2. Syntax
• 4.3. Semantik
• 4.4. Intuitionistische Prädikatenlogik
• 4.5. Modifikationen
• 4.6. Historisches
• 5. Epistemische und deontische Logik
• 5.1. Epistemische Prädikate
• 5.1.1. Parameterbezogeriheit epistemischer Prädikate
• 5.1.2. Explizite und implizite epistemische Prädikate
• 5.1.3. Wissen
• 5.2. Systeme der epistemischen Logik
• 5.2. Systeme der epistemischen Logik
• 5.2.2. Die Glaubenslogik von Pap
• 5.2.3. Weltensemantiken und epistemische Logik
• 5.2.3.1. Hintikkas epistemische Logik: Knowledge and Belief
• 5.2.3.2. Kripke-Semantiken in der epistemischen Logik
• 5.2.3.2.1. von Kutschern
• 5.2.3.2.2. Lenzen
• 5.3. Effektive epistemische Logik
• 5.3.1. Behauptung
• 5.3.2. Das System Sz
• 5.3.3. Starke Begriffe der elementaren Logizität, der Widerspruchsfreiheit, der schwachen und der strengen Folgerichtigkeit von Behauptenden
• 5.4. Ausgewählte Probleme der deontischen Logik
• 5.4.1. Hauptlinien der bisherigen Entwicklung
• 5.4.2. Logik der Normen oder der Normsätze?
• 5.4.3, Kodexe
• 5.4.4. Bedingte Normen
• 5.4.5. Das Standardsystem deordischer Logik und seine Paradoxe
• 5.4.6. Postulate, die ein deontisches System erfüllen sollte
• 5.4.7. Ein axiomatischer Kalkül des Systems DSC5
• 6. Kausallogik
• 6.1. Problemstellung
• 6.2. Formalisierungsansätze
• 6.3. Jaskowski-Systeme
• 6.4. Modifikationen
• 7. Algorithmische Logik
• 7.1. Problemstellung
• 7.2. Algorithmische Theorien
• 7.3. Ein Anwendungsbeispiel
• 7.4. Weitere Programmlogiken im Überblick
• 8. Entscheidungslogik
• 8.1. Der Gegenstand der Entscheidungslogik
• 8.2. Die Theorien von Bayes und Ramsey
• 8.2.1. Das Bayessche Modell
• 8.2.2. Ramseys Theorie
• 8. 3. Jeffreys Entscheidungslogik
• 8.3.1. Verwendung von Propositionen
• 8.3.2. Wahrscheinlichkeits- und Wünschbarkeitsaxiome
• 8.3.3. Untersuchung von Präferenzschemata
• 9. Präsuppositionen — Ein Überblick über die logischen Darstellungsweisen
• 9.1. Problemstellung
• 9.2. Freie Logik
• 9.2.1. Aufgeben von Präsiipposition 1: Zulassung leerer Individuenbereiche
• 9.2.2. Aufgeben von Präsupposition 2: Zulassung nichtbezeichnender Individuenkonstanten
• 9.2.3. Aufgeben von Präsupposition 1 und Präsupposition 2 — Die universell freie Logik (Ufl)
• 9.2.4. Ausblick: Präsupposition I und Modallogik
• 9.3. Präsupposition und mehrwertige Logik
• 9.3.1. Die Methode der Superbewertungen
• 9.3.2. 3-wertige Logik
• 9.3.3. 4-wertige Logik und 2-dimensionale Semantik
• 9.4. Präsupposition und intensionale Semantik/Modallogik (Ml)
• 9.4.1. Ein Beispiel
• 9.4.2. Präsupposition und Kontext
• 9.4.2.1. Die Semantik möglicher Welten und semantische Präsuppositionen
• 9.4.2.2. Kontext-Theorie und kontextuelle Präsuppositionen
• 9.5. Präsupposition und Pragmatik
• Gemeinsames Hintergrundwissen
• 9.5.2. Pragmatische Präsuppositionen als Gricesche konventionale Implikaturen
• 9.6. Ausblick
• Literaturverzeichnis
• Namenverzeichnis
• Stichwortverzeichnis