34 ideas
6675 | The heart has its reasons of which reason knows nothing [Pascal] |
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] |
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] |
22011 | The first principles of truth are not rational, but are known by the heart [Pascal] |
6681 | We only want to know things so that we can talk about them [Pascal] |
7096 | We may still admire a person's character even if the traits are involuntary [Statman] |
6676 | Painting makes us admire things of which we do not admire the originals [Pascal] |
7098 | There is a new sort of moral scepticism, about the possibility of moral theories [Statman] |
6680 | It is a funny sort of justice whose limits are marked by a river [Pascal] |
6677 | Imagination creates beauty, justice and happiness, which is the supreme good [Pascal] |
7099 | With a broad concept of flourishing, it might be possible without the virtues [Statman] |
6678 | We live for the past or future, and so are never happy in the present [Pascal] |
7100 | Virtue theory isn't a genuine ethical theory, because it doesn't have universal application [Statman] |
7102 | Promises create moral duties that have nothing to do with character [Statman] |
7095 | Moral education is better by concrete example than abstract principle [Statman] |
7094 | Friends express friendship even when no utility is involved [Statman] |
7093 | Behaviour may be disgusting or inhumane, but violate no duty [Statman] |
7104 | The ancients recognised imperfect duties, but we have added perfect duties like justice [Statman] |
20732 | If man considers himself as lost and imprisoned in the universe, he will be terrified [Pascal] |
6682 | Majority opinion is visible and authoritative, although not very clever [Pascal] |
6679 | It is not good to be too free [Pascal] |
7103 | Abortion issues focus on the mother's right over her body, and the status of the foetus [Statman] |
7455 | Pascal knows you can't force belief, but you can make it much more probable [Pascal, by Hacking] |
7457 | Pascal is right, but relies on the unsupported claim of a half as the chance of God's existence [Hacking on Pascal] |
7456 | The libertine would lose a life of enjoyable sin if he chose the cloisters [Hacking on Pascal] |
6684 | If you win the wager on God's existence you win everything, if you lose you lose nothing [Pascal] |