10 ideas
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
22363 | You have only begun to do real science when you can express it in numbers [Kelvin] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |
22465 | We see a moral distinction between doing and allowing to happen [Foot] |
22466 | We see a moral distinction between our aims and their foreseen consequences [Foot] |
22467 | Acts and omissions only matter if they concern doing something versus allowing it [Foot] |
22470 | A good moral system benefits its participants, and so demands reciprocity [Foot] |
22468 | Virtues can have aims, but good states of affairs are not among them [Foot] |
22469 | Some virtues imply rules, and others concern attachment [Foot] |
20644 | Energy has progressed from a mere formula, to a principle pervading all nature [Kelvin] |