Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Tarski, Alfred
 
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.
---
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


> Counter arguments against Tarski
> Counter arguments in relation to Method



back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-29