11 ideas
4742 | Correspondence may be one-many or many one, as when either p or q make 'p or q' true [Armstrong] |
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
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] |
5049 | Intelligent pleasure is the perception of beauty, order and perfection [Leibniz] |
4798 | In recent writings, Armstrong makes a direct identification of necessitation with causation [Armstrong, by Psillos] |
5048 | Perfection is simply quantity of reality [Leibniz] |
5050 | Evil serves a greater good, and pain is necessary for higher pleasure [Leibniz] |