12 ideas
| 17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
| 13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
| 10397 | Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P] |
| 17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
| 10396 | If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P] |
| 10395 | Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P] |
| 15384 | Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio] |
| 8481 | The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein] |
| 15385 | Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard] |
| 15383 | Nothing external can truly be predicated of an object [Abelard, by Panaccio] |
| 2685 | The Greek 'philia' covers all good and fruitful relationships [Cooper,JM] |
| 10398 | Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P] |