4 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
3212 | Beliefs are maps by which we steer [Ramsey] |
20041 | Intentional actions are those which are explained by giving the reason for so acting [Anscombe] |