Psychology Dictionary of ArgumentsHome | |||
| |||
Method: a method is a procedure agreed on by participants of a discussion or research project. In the case of violations of a method, the comparability of the results is in particular questioned, since these no longer come from a set with uniformly defined properties of the elements._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
Alfred Tarski on Method - Dictionary of Arguments
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_____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |