19 ideas
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| 22180 | Multiple realisability is said to make reduction impossible [Okasha] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 22177 | Randomised Control Trials have a treatment and a control group, chosen at random [Okasha] |
| 22172 | Not all sciences are experimental; astronomy relies on careful observation [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] |
| 20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |
| 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] |