15 ideas
22153 | Quine rejects Carnap's view that science and philosophy are distinct [Quine, by Boulter] |
8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
19485 | Names have no ontological commitment, because we can deny that they name anything [Quine] |
19486 | We can use quantification for commitment to unnameable things like the real numbers [Quine] |
23651 | Universals are not objects of sense and cannot be imagined - but can be conceived [Reid] |
23650 | Only individuals exist [Reid] |
23649 | No one thinks two sheets possess a single whiteness, but all agree they are both white [Reid] |
11874 | Real identity admits of no degrees [Reid] |
23652 | We must first conceive things before we can consider them [Reid] |
23648 | First we notice and name attributes ('abstracting'); then we notice that subjects share them ('generalising') [Reid] |
8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
19487 | Without the analytic/synthetic distinction, Carnap's ontology/empirical distinction collapses [Quine] |