Combining Texts

Ideas for 'fragments/reports', 'Necessary Truth' and 'Logicism and Ontological Commits. of Arithmetic'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic

10015	Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
	Full Idea: Brand higher-order logic as unintelligible if you will, but don't conflate it with set theory.
	From: Harold Hodes (Logicism and Ontological Commits. of Arithmetic [1984], p.131)
	A reaction: [he gives Boolos 1975 as a further reference] This is simply a corrective, because the conflation of second-order logic with set theory is an idea floating around in the literature.