Combining Texts

All the ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'works' and 'Contributions of Philosophy (On Appropriation)'

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

---

5 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent

15586

When philosophy makes itself intelligible, it commits suicide [Heidegger]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

3340	Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn]

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory

3355	Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA]

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

10792

The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers

22716

Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone]