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] |
4398 | An event causes another just if the second event would not have happened without the first [Lewis, by Psillos] |