16 ideas
| 9935 | Mathematical truth is always compromising between ordinary language and sensible epistemology [Benacerraf] |
| 17927 | Realists have semantics without epistemology, anti-realists epistemology but bad semantics [Benacerraf, by Colyvan] |
| 9936 | The platonist view of mathematics doesn't fit our epistemology very well [Benacerraf] |
| 13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
| 13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
| 13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
| 13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
| 13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
| 13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
| 13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
| 13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
| 17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
| 13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
| 13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
| 13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
| 9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |