display all the ideas for this combination of texts
2 ideas
16728 | 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 |
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. |