more from this thinker | more from this text
Full Idea
We can think of 'satisfaction' as a generalised form of reference.
Gist of Idea
'Satisfaction' is a generalised form of reference
Source
Donald Davidson (Truth and Predication [2005], 2)
Book Ref
Davidson,Donald: 'Truth and Predication' [Belknap Harvard 2005], p.30
A Reaction
Just the sort of simple point we novices need from the great minds, to help us see what is going on. One day someone is going to explain Tarski's account of truth in plain English, but probably not in my lifetime.
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] |
19140 | 'Satisfaction' is a generalised form of reference [Davidson] |
9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
13633 | 'Satisfaction' is a function from models, assignments, and formulas to {true,false} [Shapiro] |
10235 | A sentence is 'satisfiable' if it has a model [Shapiro] |
15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
15366 | Satisfaction is a primitive notion, and very liable to semantical paradoxes [Horsten] |