Combining Texts

All the ideas for 'Elements of Mathematical Logic', 'Reals by Abstraction' and 'Reductive Theories of Modality'

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

---

3 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined

9218	Maybe what distinguishes philosophy from science is its pursuit of necessary truths [Sider]

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic

8942	Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers

10632

The real numbers may be introduced by abstraction as ratios of quantities [Hale, by Hale/Wright]