## Philosophy Lexicon of Arguments | |||

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. | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Books on Amazon |
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. --- 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: 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. --- 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) 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. --- I 526 Thus we have justified the logic of this studied science as a part of the morphology. |
Tarsk I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei

Ed. Martin Schulz, access date 2017-05-29