Lexikon der Argumente

 

Skirbekk I 156
Rekursion/rekursives Verfahren/Tarski: Rekursives Verfahren heißt, von einfachen Aussagenfunktionen ausgehend die Operationen angeben, mit denen man zusammengesetzte Funktionen konstruiert.
>Funktion/Tarski, >Rekursive Regeln.
Skirbekk I 157
Rekursion/Tarski: Problem: Zusammengesetzte Aussagen werden aus einfacheren Aussagenfunktionen konstruiert, aber nicht immer aus einfacheren Aussagen.
>Aussagenfunktionen.
Daher gibt es keine allgemeine rekursive Methode.
Rekursive Definition der Erfüllung ist nur in wesentlich reichhaltiger Metasprache möglich (d.h. die Metasprache kann Variablen von höherem logischen Typ als die Objektsprache enthalten).⁽¹⁾
>Reichhaltigkeit.

1. A.Tarski, „Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik“ (1944) in. G: Skirbekk (Hg.) Wahrheitstheorien, Frankfurt 1996