display all the ideas for this combination of texts
3 ideas
8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |
Full Idea: Quine said higher-order logic is 'set theory in sheep's clothing', and there is concern about the ontology that is involved. One approach is to deny quantificational ontological commitments, or say that the entities involved are first-order objects. | |
From: comment on Willard Quine (Existence and Quantification [1966]) by B Hale / C Wright - Logicism in the 21st Century 8 | |
A reaction: [compressed] The second strategy is from Boolos. This question seems to be right at the heart of the strategy of exploring our ontology through the study of our logic. |
13986 | Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle] |
Full Idea: Plato (in 'Parmenides') shows that the theory that 'Eide' are substances, and Kant that space and time are substances, and Bradley that relations are substances, all lead to aninomies. | |
From: report of Plato (Parmenides [c.364 BCE]) by Gilbert Ryle - Are there propositions? 'Objections' |
14150 | Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato] |
Full Idea: Plato's 'Parmenides' is perhaps the best collection of antinomies ever made. | |
From: comment on Plato (Parmenides [c.364 BCE]) by Bertrand Russell - The Principles of Mathematics §337 |