8 ideas
| 19323 | 'Snow is white' depends on meaning; whether snow is white depends on snow [Etchemendy] |
| Full Idea: The difference between (a) snow is white, and (b) 'snow is white' true is that the first makes a claim that only depends on the colour of snow, while the second depends both on the colour of snow and the meaning of the sentence 'snow is white'. | |
| From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.61), quoted by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.7 | |
| A reaction: This is a helpful first step for those who have reached screaming point by being continually offered this apparently vacuous equivalence. This sentence works well if that stuff is a particular colour. |
| 19137 | We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language [Etchemendy] |
| Full Idea: Getting from a Tarskian definition of truth to a substantive account of the semantic properties of the object language may involve as little as the reintroduction of a primitive notion of truth. | |
| From: John Etchemendy (Tarski on Truth and Logical Consequence [1988], p.60), quoted by Donald Davidson - Truth and Predication 1 | |
| A reaction: This is, I think, the first stage in modern developments of axiomatic truth theories. The first problem would be to make sure you haven't reintroduced the Liar Paradox. You need axioms to give behaviour to the 'true' predicate. |
| 12219 | Whether a modal claim is true depends on how the object is described [Quine, by Fine,K] |
| Full Idea: Quine says if ∃x□(x>7) makes sense, then for which object x is the condition rendered true? Specify it as '9' and it is apparently rendered true, specify it as 'the number of planets' and it is apparently rendered false. | |
| From: report of Willard Quine (Three Grades of Modal Involvement [1953]) by Kit Fine - Quine on Quantifying In p.105 | |
| A reaction: This is normally characterised as Quine saying that only de dicto involvement is possible, and not de re involvement. Or that that all essences are nominal, and cannot be real. |
| 10922 | Objects are the values of variables, so a referentially opaque context cannot be quantified into [Quine] |
| Full Idea: The objects of a theory are not properly describable as the things named by the singular terms; they are the values, rather, of the variables of quantification. ..So a referentially opaque context is one that cannot properly be quantified into. | |
| From: Willard Quine (Three Grades of Modal Involvement [1953], p.174) | |
| A reaction: The point being that you cannot accurately pick out the objects in the domain |
| 10923 | Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine] |
| Full Idea: What Aristotelian essentialism says is that you can have open sentences Fx and Gx, such that ∃x(nec Fx.Gx.¬nec Gx). For example, ∃x(nec(x>5). there are just x planets. ¬nec(there are just x planets)). | |
| From: Willard Quine (Three Grades of Modal Involvement [1953], p.176) | |
| A reaction: This is a denial of 'maximal essentialism', that all of a things properties might be essential. Quine is thus denying necessity, except under a description. He may be equivocating over the reference of 'there are just 9 planets'. |
| 10921 | Necessity can attach to statement-names, to statements, and to open sentences [Quine] |
| Full Idea: Three degrees necessity in logic or semantics: first and least is attaching a semantical predicate to the names of statements (as Nec '9>5'); second and more drastic attaches to statements themselves; third and gravest attaches to open sentences. | |
| From: Willard Quine (Three Grades of Modal Involvement [1953], p.158) |
| 10924 | Necessity is in the way in which we say things, and not things themselves [Quine] |
| Full Idea: Necessity resides in the way in which we say things, and not in the things we talk about. | |
| From: Willard Quine (Three Grades of Modal Involvement [1953], p.176) | |
| A reaction: This is a culminating idea of Quine's thoroughgoing empiricism, as filtered through logical positivism. I would hardly dare to accuse Quine of a use/mention confusion (his own bête noir), but one seems to me to be lurking here. |
| 16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
| Full Idea: In Kripke's puzzle about belief, the subject has two distinct mental files about one and the same object. | |
| From: comment on Saul A. Kripke (A Puzzle about Belief [1979]) by François Recanati - Mental Files 17.1 | |
| A reaction: [Pierre distinguishes 'London' from 'Londres'] The Kripkean puzzle is presented as very deep, but I have always felt there was a simple explanation, and I suspect that this is it (though I will leave the reader to think it through, as I'm very busy…). |