8 ideas
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
19701 | Fallibilism is consistent with dogmatism or scepticism, and is not alternative to them [Dougherty] |
19700 | It is best to see the fallibility in the reasons, rather than in the agents or the knowledge [Dougherty] |
19702 | We can't normally say that we know something 'but it might be false' [Dougherty] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |