5 ideas
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
13230 | Particular essence is often captured by generality [Steiner,M] |
13229 | Maybe an instance of a generalisation is more explanatory than the particular case [Steiner,M] |
13231 | Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M] |
19399 | Prime matter is nothing when it is at rest [Leibniz] |