9 ideas
4742 | Correspondence may be one-many or many one, as when either p or q make 'p or q' true [Armstrong] |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
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] |
4870 | The most beautiful hand seen through the microscope will appear horrible [Spinoza] |
4798 | In recent writings, Armstrong makes a direct identification of necessitation with causation [Armstrong, by Psillos] |