5 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
3212 | Beliefs are maps by which we steer [Ramsey] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |