display all the ideas for this combination of texts
4 ideas
| 10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
| Full Idea: In studying second-order logic one can think of relations and functions as extensional or intensional, or one can leave it open. Little turns on this here, and so words like 'property', 'class', and 'set' are used interchangeably. | |
| From: Stewart Shapiro (Higher-Order Logic [2001], 2.2.1) | |
| A reaction: Important. Students of the metaphysics of properties, who arrive with limited experience of logic, are bewildered by this attitude. Note that the metaphysics is left wide open, so never let logicians hijack the metaphysical problem of properties. |
| 8502 | Realism doesn't explain 'a is F' any further by saying it is 'a has F-ness' [Devitt] |
| Full Idea: Realists feel that the one-place predication 'a is F' leaves something unexplained, yet all that is offered is a two-place predication (a relational statement). There is an equal problem about 'a having F-ness'. | |
| From: Michael Devitt ('Ostrich Nominalism' or 'Mirage Realism'? [1980], p.97) | |
| A reaction: I think this is a key argument on the nominalist side - the denial that the theory of universals actually makes any progress at all in giving an explanation of what is going on around here. Platonist have the problem of 'partaking'. |
| 8503 | The particular/universal distinction is unhelpful clutter; we should accept 'a is F' as basic [Devitt] |
| Full Idea: Talk of 'particulars' and 'universals' clutters the landscape without adding to our understanding. We should rest with the basic fact that a is F. | |
| From: Michael Devitt ('Ostrich Nominalism' or 'Mirage Realism'? [1980], p.98) | |
| A reaction: Ramsey was first to challenge the basic distinction. I find the approach of Quine and Devitt unsatisfactory. We abandon explanation when it is totally hopeless, but that is usually in the face of complexity. Properties are difficult but simple. |
| 8501 | Quineans take predication about objects as basic, not reference to properties they may have [Devitt] |
| Full Idea: For 'a and b have the same property, F-ness' the Quinean Nominalist has a paraphrase to hand: 'a and b are both F'. ..In denying that this object need have properties, the Quinean is not denying that it really is F. | |
| From: Michael Devitt ('Ostrich Nominalism' or 'Mirage Realism'? [1980], p.95) | |
| A reaction: The question that remains is why 'F' is used of both a and b. We don't call a and b 'a', because they are different. Quine falls back on resemblance. I suspect Quineans of hiding behind the semantics. |