more from this thinker     |     more from this text

Single Idea 19174

[filed under theme 3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth ]

Full Idea

Axioms specify how each unstructured predicate is satisfied by a particular sequence. Then recursive axioms characterise complex sentences built from simpler ones. Closed sentences have no free variables, so true sentences are satisfied by all sequences.

Gist of Idea

Axioms spell out sentence satisfaction. With no free variables, all sequences satisfy the truths

Source

Donald Davidson (Truth and Predication [2005], 7)

Book Ref

Davidson,Donald: 'Truth and Predication' [Belknap Harvard 2005], p.160

A Reaction

I take 'all sequences' to mean all combinations of objects in the domain. Thus nothing in domain contradicts the satisfied sentences. Hence Tarski's truth is said to be 'true in a model', where the whole system vouches for the sentence.

Related Ideas

Idea 19175 Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson]

Idea 19191 Specify satisfaction for simple sentences, then compounds; true sentences are satisfied by all objects [Tarski]

The 18 ideas with the same theme ['satisfaction' as a means of defining truth]:

14454 An argument 'satisfies' a function φx if φa is true [Russell]
19184 The best truth definition involves other semantic notions, like satisfaction (relating terms and objects) [Tarski]
19191 Specify satisfaction for simple sentences, then compounds; true sentences are satisfied by all objects [Tarski]
15410 Truth only applies to closed formulas, but we need satisfaction of open formulas to define it [Burgess on Tarski]
18811 Tarski uses sentential functions; truly assigning the objects to variables is what satisfies them [Tarski, by Rumfitt]
15365 We can define the truth predicate using 'true of' (satisfaction) for variables and some objects [Tarski, by Horsten]
19314 For physicalism, reduce truth to satisfaction, then define satisfaction as physical-plus-logic [Tarski, by Kirkham]
19316 Insight: don't use truth, use a property which can be compositional in complex quantified sentence [Tarski, by Kirkham]
19175 Tarski gave axioms for satisfaction, then derived its explicit definition, which led to defining truth [Tarski, by Davidson]
19145 We can explain truth in terms of satisfaction - but also explain satisfaction in terms of truth [Davidson]
19146 Satisfaction is a sort of reference, so maybe we can define truth in terms of reference? [Davidson]
19174 Axioms spell out sentence satisfaction. With no free variables, all sequences satisfy the truths [Davidson]
10817 Tarski just reduced truth to some other undefined semantic notions [Field,H]
19318 A 'sequence' of objects is an order set of them [Kirkham]
19319 If one sequence satisfies a sentence, they all do [Kirkham]
13504 Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD]
13634 Satisfaction is 'truth in a model', which is a model of 'truth' [Shapiro]
19128 If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh]