16 ideas
| 10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
| 16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
| 14221 | Serious essentialism says everything has essences, they're not things, and they ground necessities [Shalkowski] |
| 14222 | Essences are what it is to be that (kind of) thing - in fact, they are the thing's identity [Shalkowski] |
| 14226 | We distinguish objects by their attributes, not by their essences [Shalkowski] |
| 14225 | Critics say that essences are too mysterious to be known [Shalkowski] |
| 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] |
| 16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |
| 16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
| 14223 | De dicto necessity has linguistic entities as their source, so it is a type of de re necessity [Shalkowski] |
| 14224 | Equilateral and equiangular aren't the same, as we have to prove their connection [Shalkowski] |