Combining Texts

Ideas for 'The Problem of Empty Names', 'Logicism and Ontological Commits. of Arithmetic' and 'Sentences'

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

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
Logicians acknowledge too few things, while others acknowledge too many [Fitzralph]
     Full Idea: Those who have been well trained in logic err in recognising too few things, whereas others who are ignorant of logic ascribe to every statement a new entity, postulating more entities than God has ever established as real.
     From: Richard Fitzralph (Sentences [1328], II.1.2), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.3
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
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.