Journal of Philosophical Logic 28 (1):1-28 (1999)

Authors
David DeVidi
University of Waterloo
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,159
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.
The Concept of Truth in Formalized Languages.Alfred Tarski - 1936 - In A. Tarski (ed.), Logic, Semantics, Metamathematics. Oxford University Press. pp. 152--278.
Undecidable Theories.Alfred Tarski - 1953 - Amsterdam: North-Holland Pub. Co..

View all 26 references / Add more references

Citations of this work BETA

Truth, Revenge, and Internalizability.Kevin Scharp - 2014 - Erkenntnis 79 (S3):597-645.
On the Matter of Essential Richness.Greg Ray - 2005 - Journal of Philosophical Logic 34 (4):433-457.
Tarski and Primitivism About Truth.Jamin Asay - 2013 - Philosophers' Imprint 13:1-18.
Truth as Translation – Part A.Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (4):281-307.

View all 6 citations / Add more citations

Similar books and articles

Circularity or Lacunae in Tarski’s Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.
More on Putnam and Tarski.Panu Raatikainen - 2003 - Synthese 135 (1):37 - 47.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
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.

Analytics

Added to PP index
2009-01-28

Total views
56 ( #192,108 of 2,454,849 )

Recent downloads (6 months)
2 ( #303,284 of 2,454,849 )

How can I increase my downloads?

Downloads

My notes