Tarski on essentially richer metalanguages
Source: Journal of Philosophical Logic, Volume 28, Number 1, February 1999 , pp. 1-28(28)
It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarskis way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that it is necessary and sufficient that the metalanguage be essentially richer. Our contention, put bluntly, is that this claim deserves more scrutiny from philosophers than it usually gets and in fact is false unless essentially richer means nothing else than sufficient to contain a truth definition for the object language.
Document Type: Regular paper
Publication date: 1999-02-01