Combining Texts

All the ideas for 'Content Preservation', 'A Plea for Substitutional Quantification' and 'Counting and the Natural Numbers'

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

---

7 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic

9470	Modal logic is not an extensional language [Parsons,C]

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

9469	Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C]

9468	On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C]

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

17425

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

17424

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

13. Knowledge Criteria / C. External Justification / 1. External Justification

9382	Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge]