Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Entscheidbarkeit: eine Fragestellung, z.B. ob eine Eigenschaft auf einen Gegenstand zutrifft oder nicht, ist entscheidbar, wenn innerhalb endlicher Zeit ein Ergebnis erreicht werden kann. Dafür wird ein Algorithmus als Entscheidungsverfahren zugrunde gelegt. Siehe auch Halteproblem, Algorithmus, Verfahren, Entscheidungsverfahren, Entscheidungstheorie._____________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 |
|---|---|---|---|
|
Alfred Tarski über Entscheidbarkeit – Lexikon der Argumente
Berka I 543ff Unentscheidbarkeit/Gödel/Tarski: Eine unentscheidbare Aussage wird in einer bereicherten Metawissenschaft entscheidbar. Vgl. >Metasprache, >Ausdrucksfähigkeit, >Semantische Geschlossenheit. Definierbarkeit/Tarski: Für jede deduktive Wissenschaft, die die Arithmetik enthält, lassen sich solche arithmetischen Begriffe angeben, die in ihr nicht definierbar sind. Vgl. >Ideologie/Quine, >Ontologie/Quine. I 545 Man kann aber mit Methoden, die den hier verwendeten analog sind, zeigen, dass diese Begriffe aufgrund der betrachteten Wissenschaft definiert werden können, wenn man die Wissenschaft durch Variablen höherer Ordnung bereichert.(1) >Definierbarkeit/Tarski. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935_____________ 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 ArgumenteDer 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. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |
||
> Gegenargumente gegen Tarski
> Gegenargumente zu Entscheidbarkeit ...
