11 ideas
17949 | Inquiry is the cause of philosophy [Aristotle] |
4742 | Correspondence may be one-many or many one, as when either p or q make 'p or q' true [Armstrong] |
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] |
9497 | Without modality, Armstrong falls back on fictionalism to support counterfactual laws [Bird on Armstrong] |
15550 | Properties are contingently existing beings with multiple locations in space and time [Armstrong, by Lewis] |
4743 | The truth-maker for a truth must necessitate that truth [Armstrong] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
4798 | In recent writings, Armstrong makes a direct identification of necessitation with causation [Armstrong, by Psillos] |