@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Tarski,Alfred}, subject = {Method}, note = {Berka I 401 Consistent-proof/Gödel: cannot be performed if the meta language does not contain variables of higher type. >Metalanguage, >Expressivity, cf. >Type theory. Undecidability: Undecidability is eliminated when one enriches the examined theory (object language) with variables of higher type.(1) >Decidability. 1. A.Tarski, „Grundlegung der wissenschaftlichen Semantik“, in: Actes du Congrès International de Philosophie Scientifique, Paris 1935, VOl. III, ASI 390, Paris 1936, pp. 1-8 --- I 462 Meta language/Tarski: is our real examination object. ((s) because of the application conditions of the truth concept). I 464 Meta language/Tarski: 2nd category of expressions: specific terms of structural-descriptive character. >Structural-descriptive name. Names of specific signs and expressions of the class calculus, names of classes names of sequences of such expressions and of structural relations between them, Any expression of the considered language (object language) one can allocate - 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. That is decisive for the construction of the truth-definition. >Truth definition/Tarski. I 464 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) be 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. >Homophony. So we have the morphology of the language, that is, even the concept of inference is traced back. I 526 Thus we have justified the logic of this studied science as a part of the morphology.(2) >Description levels, >Semantic closure. 2. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935}, note = { Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=247944} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=247944} }