11 ideas
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
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] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
4691 | If all mental life were conscious, we would be unable to see things, or to process speech [McGinn] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
4690 | If meaning is speaker's intentions, it can be reduced to propositional attitudes, and philosophy of mind [McGinn] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |