Tarski's Definition of Truth

Scott Soames

in Understanding Truth

Published in print January 1999 | ISBN: 9780195123357
Published online November 2003 | e-ISBN: 9780199872114 | DOI:
 Tarski's Definition of Truth

Show Summary Details


This chapter provides a detailed explanation of Tarski's definition of truth for formalized languages. It begins by indicating how he conceived the problem, how his criterion of adequacy guarantees that any definition satisfying it introduces a predicate that applies to all and only object‐language truths, and how he approached the technical problem of formulating a definition that would allow him to derive what he regarded as a “partial definition” of truth for each sentence of the object language. Next, the formal techniques employed in his inductive definitions are explained, along with the method of turning those definitions into explicit definitions (where possible), and the way in which his definitions can be shown to be materially adequate. The explication concludes with a discussion of the relationship between truth and proof in the language of arithmetic, and the outlines of Tarski's theorem of the arithmetic indefinability of arithmetical truth.

Keywords: arithmetic; arithmetical truth; definition; formalized languages; material adequacy; object language; proof; Tarski; truth

Chapter.  16117 words. 

Subjects: Philosophy of Language

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.