Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Modallogik: Erweiterung der klassischen Logik zu Systemen, in denen auch Möglichkeit und Notwendigkeit ausgedrückt werden können. Verschiedene Ansätze gebrauchen dafür Operatoren zum Ausdruck von „notwendig“ und „möglich“, die je nach Platzierung innerhalb von Formeln Behauptungen von unterschiedliche Stärke gewinnen lassen. Bsp Es gibt einen Gegenstand, der notwendig die Eigenschaft F hat/ Es ist notwendig, dass es einen Gegenstand mit der Eigenschaft F gibt. Die Einführung möglicher Welten macht Quantifikation zum Ausdrücken von Möglichkeit (Es gibt mindestens eine Welt, in der…) und Notwendigkeit (Für alle Welten gilt…) möglich. Siehe auch Operatoren, Quantoren, Vollständigkeit, Reichweite, Mögliche Welten.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.

 
Autor Begriff Zusammenfassung/Zitate Quellen

S.A. Kripke über Modallogik – Lexikon der Argumente

Berka I 161
Modallogik/Unentscheidbarkeit: Kripke (1962)(1) bewies die Unentscheidbarkeit des einstelligen modalen Prädikatenkalküls (Funktionen mit einem Argument).
Vgl. >Entscheidbarkeit
, >Vollständigkeit.


1.S.A. Kripke, The Undecidability of Monadic Modal Quantification Theory in Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 8, pp. 113-116, 1962.

_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der Argumente
Der Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente.

Kripke I
S.A. Kripke
Name und Notwendigkeit Frankfurt 1981

Kripke II
Saul A. Kripke
"Speaker’s Reference and Semantic Reference", in: Midwest Studies in Philosophy 2 (1977) 255-276
In
Eigennamen, Ursula Wolf Frankfurt/M. 1993

Kripke III
Saul A. Kripke
Is there a problem with substitutional quantification?
In
Truth and Meaning, G. Evans/J McDowell Oxford 1976

Kripke IV
S. A. Kripke
Outline of a Theory of Truth (1975)
In
Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg) Oxford/NY 1984

Berka I
Karel Berka
Lothar Kreiser
Logik Texte Berlin 1983

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z