display all the ideas for this combination of philosophers
2 ideas
| 13638 | Properties are often seen as intensional; equiangular and equilateral are different, despite identity of objects [Shapiro] |
| Full Idea: Properties are often taken to be intensional; equiangular and equilateral are thought to be different properties of triangles, even though any triangle is equilateral if and only if it is equiangular. | |
| From: Stewart Shapiro (Foundations without Foundationalism [1991], 1.3) | |
| A reaction: Many logicians seem to want to treat properties as sets of objects (red being just the set of red things), but this looks like a desperate desire to say everything in first-order logic, where only objects are available to quantify over. |
| 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. |