Philosophy Lexicon of Arguments

Screenshot Tabelle Begriffe

 
Convention T: is part of the theory of truth by A. Tarski, which contains the demand that in the so-called W-schema Tr(x) <> p with the example instance "snow is white" is true, if and only if snow is white, the right side of the equivalence, is so that p is a translation of the expression x on the left side into the meta-language of the theory, whereby the meta-language must be inter alia rich enough to contain the predicate "is true". From this follows a derivability of arbitrarily many other instances of the schema.

_____________
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 Summary Meta data

 
Books on Amazon
Berka I 476f
Def Convention T/original place/Tarski: We will call a true definition of truth a formally correct definition of the symbol "Wr" ("class of all true statements") formulated in terms of the meta language MS if it leads to the following conclusions:
I 477
a) all sentences that are gained from the expression "x e Wr iff "p" by inserting for the symbol x a structurally descriptive name of an arbitrary statement in the considered language ((s) of the object language) and for the symbol "p" the expression that is the translation of this statement in the meta language;
b) the statement "for an arbitrary x - if x e Wr, then x e AS" (or in other words ""Wr < AS").
New in relation to Chapter 1: introduction of the meta language.


_____________
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


Send Link
> Counter arguments against Tarski

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-10-22