7 ideas
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 |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
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'. |
16695 | Successive entities are in flux, flowing in existence, with different parts at different times [Oresme] |
Full Idea: For any time, some of a successive entity exists in one of its parts, and a totally different such exists in another part. …It is in continuous flux and transition, ..and flows in existence if it does not have the same existence over a whole time. | |
From: Nicole Oresme (On 'Physics' [1346], III.6, dist.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 18.1 | |
A reaction: Pasnau says the successive entity is the whole made up of these changing parts, so it sounds very like the temporal stages view of Sider and Hawley. |
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. |