Combining Texts

All the ideas for 'The Roots of Reference', 'A Plea for Substitutional Quantification' and 'Mathematics, Science and Language'

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

---

6 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 / 1. Mathematics

18119

Mathematics is a mental activity which does not use language [Brouwer, by Bostock]

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics

18118

Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock]

8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived

14296

Dispositions are physical states of mechanism; when known, these replace the old disposition term [Quine]