@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024},
author = {Hintikka,Jaakko},
subject = {Entscheidbarkeit},
note = {II 7
Standard-Semantik/Kripke-Semantik/Hintikka: Welche Unterschiede gibt es eigentlich? Der Graben zwischen ihnen ist viel tiefer als es zuerst scheint.
Cocchiarella: Cocchiarella hat aber gezeigt, dass schon im einfachsten quantifikatorischen Fall, der monadischen Prädikatenlogik, die Standardlogik sich radikal von ihrem Kripkeschen Cousin unterscheidet.
Entscheidbarkeit: Monadische Prädikatenlogik ist, wie Kripke gezeigt hat, entscheidbar.
Die Kripke-Semantik ist dagegen unentscheidbar. Entscheidbarkeit impliziert Axiomatisierbarkeit.
II 208
Entscheidungsproblem/Prädikatenkalkül/Hao Wang: These: Das Problem entspricht der Aufgabe, die Euklidische Fläche mit quadratischen Dominosteinen unterschiedlicher Größe lückenlos auszufüllen.
Von jeder Größe muss mindestens ein Stein einmal gebraucht worden sein.
Bsp Logische Allwissenheit: Logische Allwissenheit kommt jetzt folgendermaßen herein:
An bestimmten Punkten kann ich wahrheitsgemäß nach meiner Wahrnehmung sagen:
(5) Ich sehe, dass diese Domino-Aufgabe unmöglich zu lösen ist.
>Logische Allwissenheit.
In anderen Fällen kann ich das nicht wahrheitsgemäß sagen.
Problem/HintikkaVsBarwise/HintikkaVsSituations-Semantik/Hintikka: Nach Barwise/Perry sollte es wahr sein von jedem unerfüllbaren Domino-Problem, dass ich die Unlösbarkeit sofort sehe, sobald ich die Formen der verfügbaren Steine sehe, denn die Unerfüllbarkeit folgt logisch aus der visuellen Information.
Lösung/Semantik möglicher Welten/Hintikka: Nach dem Urnenmodell gibt es kein Problem.
>Semantik Möglicher Welten.
II 209
Allwissenheit/Symmetrie/Hintikka: Situations-Semantik: Das Urnen-Modell braucht Situations-Semantik, um das zweite Problem der logischen Allwissenheit zu lösen.
Semantik möglicher Welten: Die Semantik möglicher Welten braucht ihrerseits Situations-Semantik, um das erste Problem zu lösen.
>Situationssemantik.},
note = { Hintikka I Jaakko Hintikka Merrill B. Hintikka Untersuchungen zu Wittgenstein Frankfurt 1996 Hintikka II Jaakko Hintikka Merrill B. Hintikka The Logic of Epistemology and the Epistemology of Logic Dordrecht 1989
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=507442}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=507442}
}