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.

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


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

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

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-09-21