Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'Precepts for Advancing Science and Arts' and 'Elements of Intuitionism (2nd ed)'

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

---

3 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic

18832

Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett]

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure

17447

Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck]

13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique

19392

I don't recommend universal doubt; we constantly seek reasons for things which are indubitable [Leibniz]