9 ideas
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] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
15785 | Our commitments are to an 'ontology', but also to an 'ideology', or conceptual system [Hintikka] |
579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
15786 | Commitment to possible worlds is part of our ideology, not part of our ontology [Hintikka] |
578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |