Tarski's truth definition

From Glottopedia
Revision as of 09:50, 10 June 2009 by Wohlgemuth (talk | contribs) (utrecht)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Tarski's truth definition is a definition which formalizes the relation between a sentence and its truth value. The definition formalizes what Wittgenstein (1922) describes as: 

to understand a proposition means to know what is the case if it is true.

It has the following general form: 

(i)  For any S in L and any v, S is true in v if and only if p.

S is a structural description of a sentence of a language L, v is a circumstance which has to be met, and p are the conditions that describe how this circumstance should be met.

Example

the definition for sentence S in (i) has (partly) the form of (ii). 

(ii) Snow is white is true iff Snow is white

Tarski's truth definition is crucial to a denotational meaning theory.

Links

Utrecht Lexicon of Linguistics

References

  • Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
  • Tarski, A. 1944. The Semantic Conception of Truth, Philosophy and Phenomenological Research 4, 341-375
STUB This article is a stub. You can help Glottopedia by expanding it.
CAT This article needs proper categorization. You can help Glottopedia by categorizing it
Please do not remove this block until the problem is fixed.
FORMAT This article is badly formatted. You can help Glottopedia by improving its formatting.
Please do not remove this block until the problem is fixed.


Retrieved from "http://glottopedia.org/index.php?title=Tarski%27s_truth_definition&oldid=9677"