Combining Texts

All the ideas for 'works', 'Reals by Abstraction' and 'On the Algebra of Logic'

expand these ideas     |    start again     |     specify just one area for these texts


3 ideas

5. Theory of Logic / G. Quantification / 2. Domain of Quantification
De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
The real numbers may be introduced by abstraction as ratios of quantities [Hale, by Hale/Wright]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Truth-functional conditionals have a simple falsification, when A is true and B is false [Peirce]