8 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
8203 | All the arithmetical entities can be reduced to classes of integers, and hence to sets [Quine] |
21386 | We should accept as explanations all the plausible ways in which something could come about [Epicurus] |
8202 | Meaning is essence divorced from things and wedded to words [Quine] |
8201 | The distinction between meaning and further information is as vague as the essence/accident distinction [Quine] |
14051 | A cosmos is a collection of stars and an earth, with some sort of boundary, movement and shape [Epicurus] |
1828 | God does not intervene in heavenly movements, but is beyond all action and perfectly happy [Epicurus] |