3 ideas
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
13128 | 'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins] |
9155 | An a priori proof is independent of experience [Leibniz] |