7 ideas
13639 | Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro] |
17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
21557 | Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey] |