24 ideas
22138 | Science rests on scholastic metaphysics, not on Hume, Kant or Carnap [Boulter] |
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
22134 | Thoughts are general, but the world isn't, so how can we think accurately? [Boulter] |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
22150 | Logical possibility needs the concepts of the proposition to be adequate [Boulter] |
22139 | Experiments don't just observe; they look to see what interventions change the natural order [Boulter] |
22136 | Science begins with sufficient reason, de-animation, and the importance of nature [Boulter] |
22135 | Our concepts can never fully capture reality, but simplification does not falsify [Boulter] |
22152 | Aristotelians accept the analytic-synthetic distinction [Boulter] |
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] |
22156 | The facts about human health are the measure of the values in our lives [Boulter] |
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] |