@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} }