Combining Texts

All the ideas for 'Frege's Theory of Numbers', 'Set Theory and its Logic' and 'Of liberty, Fate and God's grace'

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

---

3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility

21717

Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]

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]

9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities

13082

The complete concept of an individual includes contingent properties, as well as necessary ones [Leibniz]