Tarski on “essentially richer” metalanguages

Journal of Philosophical Logic 28 (1):1-28 (1999)
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. Tarski's 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."
Keywords truth definitions  T-scheme  material adequacy  hierarchies  consistency
Categories (categorize this paper)
DOI 10.1023/A:1004294325183
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,667
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Alfred Tarski (1968/2010). Undecidable Theories. Amsterdam, North-Holland Pub. Co..
Anil Gupta (1982). Truth and Paradox. Journal of Philosophical Logic 11 (1):1-60.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..

View all 20 references / Add more references

Citations of this work BETA
Hannes Leitgeb (2001). Truth as Translation – Part A. Journal of Philosophical Logic 30 (4):281-307.
Greg Ray (2005). On the Matter of Essential Richness. Journal of Philosophical Logic 34 (4):433 - 457.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

35 ( #93,701 of 1,726,249 )

Recent downloads (6 months)

5 ( #136,557 of 1,726,249 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.