Kripke-Semantik, Modallogik: Die Kripke-Semantik ist eine Formalisierung der Modallogik (einer Logik mit Operatoren, die als Möglichkeit und Notwendigkeit interpretiert werden können), die die Zugänglichkeit zwischen möglichen Welten nicht beschränkt. Zugänglichkeit heißt in diesem Fall, dass das Wissen, dass etwas anders sein könnte, in einer Welt vorhanden ist. Bekannte Systeme mit mehr oder weniger starken Beschränkungen der Zugänglichkeitsrelation sind die Systeme T, D, B sowie S 4 und S 5. Die Systeme unterscheiden sich untereinander durch die Hinzunahme von Axiomen. Siehe auch Zugänglichkeit, Notwendigkeit, Möglichkeit, Semantik möglicher Welten, Modaler Realismus, Gegenstück-Theorie._____________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.
|