Lexicon of Arguments

Philosophical and Scientific Issues in Dispute
 
[german]


Complaints - Corrections

Table
Concepts
Versus
Sc. Camps
Theses I
Theses II

Concept/Author*  

What is wrong?
Page
Other metadata
Translation
Excerpt or content
Other

Correction: Year / Place / Page
/ /

Correction:
(max 500 charact.)

Your username*
or User-ID

Email address*

The complaint
will not be published.

 
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

Found an error? Use our Complaint Form. Perhaps someone forgot to close a bracket? A page number is wrong?
Help us to improve our lexicon.
However, if you are of a different opinion, as regards the validity of the argument, post your own argument beside the contested one.
The correction will be sent to the contributor of the original entry to get his opinion about.