6 ideas
8463 | Maths can be reduced to logic and set theory [Quine] |
Full Idea: Researches in the foundations of mathematics have made it clear that all of (interpreted) mathematics can be got down to logic and set theory, and the objects needed for mathematics can be got down to the category of classes (and classes of classes..). | |
From: Willard Quine (The Scope and Language of Science [1954], §VI) | |
A reaction: This I take to be a retreat from pure logicism, presumably influenced by Gödel. So can set theory be reduced to logic? Crispin Wright is the one the study. |
8461 | The category of objects incorporates the old distinction of substances and their modes [Quine] |
Full Idea: The category of objects embraces indiscriminately what would anciently have been distinguished as substances and as modes or states of substances. | |
From: Willard Quine (The Scope and Language of Science [1954], §6) | |
A reaction: This nicely captures Quine's elimination of properties, by presenting them as inseparable from their objects/substances. Armstrong calls this 'Ostrich Nominalism' (for refusing to address the universals problem) but Quineans are unshaken. |
14082 | No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J] |
Full Idea: Many decent candidates could the referent of this 'cup', differing over whether outlying particles are parts. No further sortal I could invoke will be selective enough to rule out all but one referent for it. | |
From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1 n8) | |
A reaction: I never had much faith in sortals for establishing individual identity, so this point comes as no surprise. The implication is strongly realist - that the cup has an identity which is permanently beyond our capacity to specify it. |
14081 | Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J] |
Full Idea: There can be determinately true identity claims despite indeterminate reference of the terms flanking the identity sign; these will be identity claims true under all admissible interpretations of the flanking terms. | |
From: Jonathan Schaffer (Deflationary Metaontology of Thomasson [2009], 3.1) | |
A reaction: In informal contexts there might be problems with the notion of what is 'admissible'. Is 'my least favourite physical object' admissible? |
6456 | Sense-data are neutral uninterpreted experiences, separated from objects and judgements [Angeles] |
Full Idea: Sense-data are that which is given to us directly and immediately such as colour, shape, smell, without identification of them as specific material objects; they are usually thought to be devoid of judgment, interpretation, bias, preconception. | |
From: Peter A. Angeles (A Dictionary of Philosophy [1981], p.254) | |
A reaction: This definition makes them clearly mental (rather than being qualities of objects), and they sound like Hume's 'impressions'. They are not features of the external world, but the first steps we make towards experience. |
8462 | A hallucination can, like an ague, be identified with its host; the ontology is physical, the idiom mental [Quine] |
Full Idea: A physical ontology has a place for states of mind. An inspiration or a hallucination can, like the fit of ague, be identified with its host for the duration. It leaves our mentalistic idioms fairly intact, but reconciles them with a physical ontology. | |
From: Willard Quine (The Scope and Language of Science [1954], §VI) | |
A reaction: Quine is employing the same strategy that he uses for substances and properties (Idea 8461): take the predication as basic, rather than reifying the thing being predicated. The ague analogy suggests that Quine is an incipient functionalist. |