Tarski on “essentially richer” metalanguages

Journal of Philosophical Logic 28 (1):1-28 (1999)
Abstract
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)
Reprint years 2004
DOI 10.1023/A:1004294325183
Options
 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
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,756
Through your library
References found in this work BETA
The Semantic Conception of Truth: And the Foundations of Semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
Undecidable Theories.Alfred Tarski - 1968 - Amsterdam: North-Holland Pub. Co..
Truth and Paradox.Anil Gupta - 1982 - Journal of Philosophical Logic 11 (1):1-60.
A Course in Mathematical Logic.J. L. Bell - 1977 - 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
Truth, Revenge, and Internalizability.Kevin Scharp - 2014 - Erkenntnis 79 (S3):597-645.
Truth as Translation – Part A.Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (4):281-307.

Add more citations

Similar books and articles
Die Idee Hinter Tarskis Definition Von Wahrheit.Dirk Greimann - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (1):121-158.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
More on Putnam and Tarski.Panu Raatikainen - 2003 - Synthese 135 (1):37 - 47.
Circularity or Lacunae in Tarski's Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.

Monthly downloads

Added to index

2009-01-28

Total downloads

44 ( #119,500 of 2,177,988 )

Recent downloads (6 months)

1 ( #317,698 of 2,177,988 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums