Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Tarski, Alfred
 
Books on Amazon
Convention T 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.

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



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
 
Ed. Martin Schulz, access date 2017-04-29