17 ideas
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| 13536 | Skolem did not believe in the existence of uncountable sets [Skolem] |
| 17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
| 17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
| 17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
| 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] |