18 ideas
9406 | A class is natural when everybody can spot further members of it [Quinton] |
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
15730 | Extreme nominalists say all classification is arbitrary convention [Quinton] |
15728 | The naturalness of a class depends as much on the observers as on the objects [Quinton] |
9407 | Properties imply natural classes which can be picked out by everybody [Quinton] |
15729 | Uninstantiated properties must be defined using the instantiated ones [Quinton] |
8520 | An individual is a union of a group of qualities and a position [Quinton, by Campbell,K] |
16024 | I could have died at five, but the summation of my adult stages could not [Noonan] |
16023 | Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan] |
16016 | Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan] |
16017 | Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan] |
16015 | Problems about identity can't even be formulated without the concept of identity [Noonan] |
16020 | Identity can only be characterised in a second-order language [Noonan] |
16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |