4 ideas
18170 | The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine] |
6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
3212 | Beliefs are maps by which we steer [Ramsey] |
9379 | A sentence is obvious if it is true, and any speaker of the language will instantly agree to it [Quine] |