Combining Texts

All the ideas for 'The Development of Logic', 'The Modularity of Mind' and 'A Plea for Substitutional Quantification'

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


5 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
Modal logic is not an extensional language [Parsons,C]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C]
On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C]
18. Thought / B. Mechanics of Thought / 3. Modularity of Mind
Mental modules are specialised, automatic, and isolated [Fodor, by Okasha]