11 ideas
| 10528 | Definitions concern how we should speak, not how things are [Fine,K] |
| 10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
| 10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
| 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] |
| 10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
| 1554 | Contradiction is impossible, since only one side of the argument refers to the true facts [Prodicus, by Didymus the Blind] |
| 1555 | People used to think anything helpful to life was a god, as the Egyptians think the Nile a god [Prodicus] |
| 1543 | He denied the existence of the gods, saying they are just exaltations of things useful for life [Prodicus] |
| 535 | The gods are just personified human benefits [Prodicus] |