World Library  
Flag as Inappropriate
Email this Article

Semantic theory of truth

Article Id: WHEBN0000601240
Reproduction Date:

Title: Semantic theory of truth  
Author: World Heritage Encyclopedia
Language: English
Subject: Truth, Truth-value semantics, T-schema, Truth condition, Deflationary theory of truth
Collection: Theories of Deduction, Theories of Truth
Publisher: World Heritage Encyclopedia

Semantic theory of truth

A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[1]


  • Origin 1
  • Tarski's theory 2
  • See also 3
  • References 4
  • Further reading 5
  • External links 6


The semantic conception of truth, which is related in different ways to both the correspondence and deflationary conceptions, is due to work published by Polish logician Alfred Tarski in the 1930s. Tarski, in "On the Concept of Truth in Formal Languages", attempted to formulate a new theory of truth in order to resolve the liar paradox. In the course of this he made several metamathematical discoveries, most notably Tarski's undefinability theorem using the same formal technique as Kurt Gödel used in his incompleteness theorems. Roughly, this states that a truth-predicate satisfying convention-T for the sentences of a given language cannot be defined within that language.

Tarski's theory

To formulate linguistic theories[2] without semantic paradoxes like the liar paradox, it is generally necessary to distinguish the language that one is talking about (the object language) from the language that one is using to do the talking (the metalanguage). In the following, quoted text is use of the object language, while unquoted text is use of the metalanguage; a quoted sentence (such as "P") is always the metalanguage's name for a sentence, such that this name is simply the sentence P rendered in the object language. In this way, the metalanguage can be used to talk about the object language; Tarski demanded that the object language be contained in the metalanguage.

Tarski's material adequacy condition, also known as Convention T, holds that any viable theory of truth must entail, for every sentence "P", a sentence of the following form (known as "form (T)"):

(1) "P" is true if, and only if, P.

For example,

(2) 'snow is white' is true if and only if snow is white.

These sentences (1 and 2, etc.) have come to be called the "T-sentences". The reason they look trivial is that the object language and the metalanguage are both English; here is an example where the object language is German and the metalanguage is English:

(3) 'Schnee ist weiß' is true if and only if snow is white.

It is important to note that as Tarski originally formulated it, this theory applies only to formal languages. He gave a number of reasons for not extending his theory to natural languages, including the problem that there is no systematic way of deciding whether a given sentence of a natural language is well-formed, and that a natural language is closed (that is, it can describe the semantic characteristics of its own elements). But Tarski's approach was extended by Davidson into an approach to theories of meaning for natural languages, which involves treating "truth" as a primitive, rather than a defined concept. (See truth-conditional semantics.)

Tarski developed the theory to give an inductive definition of truth as follows.

For a language L containing ¬ ("not"), ∧ ("and"), ∨ ("or"), ∀ ("for all"), and ∃ ("there exists"), Tarski's inductive definition of truth looks like this:

  • (1) "A" is true if, and only if, A.
  • (2) "¬A" is true if, and only if, "A" is not true.
  • (3) "AB" is true if, and only if, A and B.
  • (4) "AB" is true if, and only if, A or B or (A and B).
  • (5) "∀x(Fx)" is true if, and only if, every object x satisfies the sentential function F.
  • (6) "∃x(Fx)" is true if, and only if, there is an object x which satisfies the sentential function F.

These explain how the truth conditions of complex sentences (built up from connectives and quantifiers) can be reduced to the truth conditions of their constituents. The simplest constituents are atomic sentences. A contemporary semantic definition of truth would define truth for the atomic sentences as follows:

Tarski himself defined truth for atomic sentences in a variant way that does not use any technical terms from semantics, such as the "expressed by" above. This is because he wanted to define these semantic terms in terms of truth, so it would be circular were he to use one of them in the definition of truth itself. Tarski's semantic conception of truth plays an important role in modern logic and also in much contemporary philosophy of language. It is a rather controversial matter whether Tarski's semantic theory should be counted either as a correspondence theory or as a deflationary theory.

See also


  1. ^ Hale, Bob; Wright, Crispin, eds. (1999). "A Companion to the Philosophy of Language". A Companion to the Philosophy of Language. pp. 309–330.  , p. 326
  2. ^ Parts of section is adapted from Kirkham, 1992.

Further reading

External links

  • Tarski's Truth Definitions (an entry of Stanford Encyclopedia of Philosophy)
  • Alfred Tarski, 1944. The Semantic Conception of Truth and the Foundations of Semantics. Philosophy and Phenomenological Research 4.

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.