5 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
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] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
13231 | Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M] |