Difference between revisions of "Tarski's truth definition"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
(Edited the format and removed the block {{format}}) |
||
| Line 1: | Line 1: | ||
| + | ==Definition== | ||
'''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: | '''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. | to understand a proposition means to know what is the case if it is true. | ||
| Line 8: | Line 9: | ||
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. | 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 | (ii) ''Snow is white'' is true iff Snow is white | ||
| Line 16: | Line 16: | ||
Tarski's truth definition is crucial to a denotational [[meaning theory]]. | Tarski's truth definition is crucial to a denotational [[meaning theory]]. | ||
| − | + | == Links == | |
| − | + | *[http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Tarski%27s+truth+definition&lemmacode=139 Utrecht Lexicon of Linguistics] | |
| − | [http://www2.let.uu.nl/UiL-OTS/Lexicon/zoek.pl?lemma=Tarski%27s+truth+definition&lemmacode=139 Utrecht Lexicon of Linguistics] | ||
| − | |||
| − | |||
| + | == References == | ||
* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | * 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 | * Tarski, A. 1944. ''The Semantic Conception of Truth,'' Philosophy and Phenomenological Research 4, 341-375 | ||
| Line 28: | Line 26: | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
| − | {{stub}}{{cats | + | {{stub}}{{cats}} |
Latest revision as of 07:11, 17 August 2014
Definition
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
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 |
| CAT | This article needs proper categorization. You can help Glottopedia by categorizing it Please do not remove this block until the problem is fixed. |
