15 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 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] |
| 16369 | There is a single file per object, memorised, reactivated, consolidated and expanded [Papineau, by Recanati] |
| 22173 | Galileo refuted the Aristotelian theory that heavier objects fall faster [Okasha] |