Combining Texts

All the ideas for 'Intuitionism: an Introduction', 'True Method in Philosophy and Theology' and 'Thoughts without Laws'

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

---

3 ideas

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique

8754	Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]

7. Existence / A. Nature of Existence / 6. Criterion for Existence

19393

What is not active is nothing [Leibniz]

11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs

12582

The function of beliefs is to produce beliefs-that-p when p [Millikan]