17 ideas
| 4037 | Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver] |
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| 4027 | Properties are respects in which particular objects may be alike or differ [Mellor/Oliver] |
| 4029 | Nominalists ask why we should postulate properties at all [Mellor/Oliver] |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| 8915 | How we refer to abstractions is much less clear than how we refer to other things [Rosen] |
| 8917 | The Way of Abstraction used to say an abstraction is an idea that was formed by abstracting [Rosen] |
| 4039 | Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver] |
| 8912 | Nowadays abstractions are defined as non-spatial, causally inert things [Rosen] |
| 8913 | Chess may be abstract, but it has existed in specific space and time [Rosen] |
| 8914 | Sets are said to be abstract and non-spatial, but a set of books can be on a shelf [Rosen] |
| 8916 | Conflating abstractions with either sets or universals is a big claim, needing a big defence [Rosen] |
| 8918 | Functional terms can pick out abstractions by asserting an equivalence relation [Rosen] |
| 8919 | Abstraction by equivalence relationships might prove that a train is an abstract entity [Rosen] |