16 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] |
22180 | Multiple realisability is said to make reduction impossible [Okasha] |
22172 | Not all sciences are experimental; astronomy relies on careful observation [Okasha] |
22177 | Randomised Control Trials have a treatment and a control group, chosen at random [Okasha] |
22174 | The discoverers of Neptune didn't change their theory because of an anomaly [Okasha] |
22175 | Science mostly aims at confirming theories, rather than falsifying them [Okasha] |
22182 | Theories with unobservables are underdetermined by the evidence [Okasha] |
22185 | Two things can't be incompatible if they are incommensurable [Okasha] |
22176 | Induction is inferences from examined to unexamined instances of a given kind [Okasha] |
22178 | If the rules only concern changes of belief, and not the starting point, absurd views can look ratiional [Okasha] |
20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
22173 | Galileo refuted the Aristotelian theory that heavier objects fall faster [Okasha] |
17366 | Virtually all modern views of speciation rest on relational rather than intrinsic features [Okasha] |