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. |
| 14617 | Predicates can't apply to what doesn't exist [Stalnaker] |
| Full Idea: Nothing can be predicated of something which does not exist. | |
| From: Robert C. Stalnaker (Merely Possible Propositions [2010], p.28) | |
| A reaction: [He says he is 'agreeing with Plantinga' on this] This seems very puzzling, as you can obviously say that dragons do not exist, but they breathe fire. Why can't you attach predicates to hypothetical objects? |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |
| 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. |
| 14616 | A 'Russellian proposition' is an ordered sequence of individual, properties and relations [Stalnaker] |
| Full Idea: A 'Russellian proposition' is an ordered sequence containing the individual, along with properties and relations. | |
| From: Robert C. Stalnaker (Merely Possible Propositions [2010], p.22) | |
| A reaction: Since Russell took properties and relations to be features of reality, this made the whole proposition a feature of reality. This is utterly different from what I understand by the word 'proposition', which is a feature of thought, not of the world. |