Books on Amazon
|Method||Berka I 401
Consistent-proof/Gödel: cannot be performed if the meta language does not contain variables of higher type - undecidability: is eliminated when one enriches the examined theory (object language) with variables of higher type.
Meta language/Tarski: is our real examination object - ((s) because of the application conditions of the truth concept).
Meta language/Tarski: 2. category of expressions: specific terms of structural-descriptive character - names of specific signs and expressions of the class calculus - names of classes - from sequences of such expressions - and of structural relations between them - any expression of the considered language (object language) one can - on the one hand an individual name of this expression, and - on the other hand an expression that is the translation of this expression in the meta language, allocate - that is decisive for the construction of the truth-definition.
Name/translation/meta language/object language/Tarski: difference: an expression of the object language can in the meta language a) be given a name, or b) a translation.
Berka I 525
Morphology/Tarski: our meta language includes here the entire object language - that is, for us only logical expressions of the general class theory - that is, only structural-descriptive terms - so we have the morphology of the language, that is, even the concept of inference is traced back.
Thus we have justified the logic of this studied science as a part of the morphology.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983