Combining Texts

All the ideas for 'Necessary Existents', 'The Development of Logic' and 'Counting and the Natural Numbers'

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

---

5 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V

10051

The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers

17423

The essence of natural numbers must reflect all the functions they perform [Sicha]

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

17424

Counting puts an initial segment of a serial ordering 1-1 with some other entities [Sicha]

17425

To know how many, you need a numerical quantifier, as well as equinumerosity [Sicha]

19. Language / D. Propositions / 3. Concrete Propositions

19216

Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]