more on this theme | more from this thinker
Full Idea
Statements of the form '"it is snowing" is true if and only if it is snowing' and '"the world war will begin in 1963" is true if and only if the world war will being in 1963' can be regarded as partial definitions of the concept of truth.
Gist of Idea
'"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth
Source
Alfred Tarski (The Establishment of Scientific Semantics [1936], p.404)
Book Ref
Tarski,Alfred: 'Logic, Semantics, Meta-mathematics' [Hackett 1956], p.404
A Reaction
The key word here is 'partial'. Truth is defined, presumably, when every such translation from the object language has been articulated, which is presumably impossible, given the infinity of concatenated phrases possible in a sentence.
13335 | Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski] |
13336 | A language containing its own semantics is inconsistent - but we can use a second language [Tarski] |
13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
13339 | A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski] |
13340 | Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski] |
13341 | Using the definition of truth, we can prove theories consistent within sound logics [Tarski] |