7 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
15533 | We can quantify over fictions by quantifying for real over their names [Lewis] |
15534 | We could quantify over impossible objects - as bundles of properties [Lewis] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
15532 | 'Allists' embrace the existence of all controversial entities; 'noneists' reject all but the obvious ones [Lewis] |
15535 | We can't accept a use of 'existence' that says only some of the things there are actually exist [Lewis] |
18431 | Internal relations combine some tropes into a nucleus, which bears the non-essential tropes [Simons, by Edwards] |