more on this theme     |     more from this thinker


Single Idea 12219

[filed under theme 5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic ]

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.

Gist of Idea

Whether a modal claim is true depends on how the object is described

Source

report of Willard Quine (Three Grades of Modal Involvement [1953]) by Kit Fine - Quine on Quantifying In p.105

Book Ref

Fine,Kit: 'Modality and Tense' [OUP 2005], 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.


The 5 ideas from 'Three Grades of Modal Involvement'

Whether a modal claim is true depends on how the object is described [Quine, by Fine,K]
Necessity can attach to statement-names, to statements, and to open sentences [Quine]
Objects are the values of variables, so a referentially opaque context cannot be quantified into [Quine]
Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine]
Necessity is in the way in which we say things, and not things themselves [Quine]