6 ideas
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
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] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
5958 | The sun is always bright; it doesn't become bright when it emerges [Plutarch] |