David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal for General Philosophy of Science 28 (1):121-158 (1997)
The Idea behind Tarski's Definition of Truth. In Tarski's presentations of his truth-definition, the steps of the construction are not sufficiently explained. It is not clear, on what general strategy the construction is based, what the fundamental ideas are, how some crucial steps work, and especially how the transition from the definition of satisfaction to the definition of truth should be understood. The paper shows that the account given in the model-theoretic literature, which is supported by Tarski's lemmata A and B, is unsatisfactory, because Tarski's notion of truth can't be interpreted as ‘truth independent of the assignment of values to the variables’. Moreover, a satisfactory account of all the crucial steps is given.
|Keywords||concept of truth satisfaction satisfaction-schemata definition principle of compositionality sequence|
|Categories||categorize this paper)|
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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ignacio Jané (2006). What is Tarski's Common Concept of Consequence? Bulletin of Symbolic Logic 12 (1):1-42.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Luis Fernández Moreno (2001). Tarskian Truth and the Correspondence Theory. Synthese 126 (1-2):123 - 147.
Panu Raatikainen (2003). More on Putnam and Tarski. Synthese 135 (1):37 - 47.
Artur Rojszczak (2002). Philosophical Background and Philosophical Content of the Semantic Definition of Truth. Erkenntnis 56 (1):29 - 62.
Ilkka Niiniluoto (2004). Tarski's Definition and Truth-Makers. Annals of Pure and Applied Logic 126 (1-3):57-76.
Greg Frost-Arnold (2004). Was Tarski's Theory of Truth Motivated by Physicalism? History and Philosophy of Logic 25 (4):265-280.
Bo Mou (2001). The Enumerative Character of Tarski's Definition of Truth and its General Character in a Tarskian System. Synthese 126 (1-2):91 - 121.
David DeVidi & Graham Solomon (1999). Tarski on “Essentially Richer” Metalanguages. Journal of Philosophical Logic 28 (1):1-28.
Greg Ray (2003). Tarski and the Metalinguistic Liar. Philosophical Studies 115 (1):55 - 80.
Added to index2009-01-28
Total downloads17 ( #101,887 of 1,100,114 )
Recent downloads (6 months)8 ( #33,348 of 1,100,114 )
How can I increase my downloads?