3 ideas
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
10632 | The real numbers may be introduced by abstraction as ratios of quantities [Hale, by Hale/Wright] |
14303 | Truth-functional conditionals have a simple falsification, when A is true and B is false [Peirce] |