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.⁽¹⁾
>Definierbarkeit/Tarski.


1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935