Combining Texts

All the ideas for 'fragments/reports', 'works' and 'A Plea for Substitutional Quantification'

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]

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

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 / e. Ordinal numbers

22716

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

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

468	Musical performance can reveal a range of virtues [Damon of Ath.]