9 ideas
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
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] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
6017 | Nomos is king [Pindar] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |