14 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] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 22191 | Kuhn's scientists don't aim to falsifying their paradigm, because that is what they rely on [Kuhn, by Gorham] |
| 18076 | Most theories are continually falsified [Kuhn, by Kitcher] |
| 18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
| 22183 | Switching scientific paradigms is a conversion experience [Kuhn] |
| 6162 | Kuhn has a description theory of reference, so the reference of 'electron' changes with the descriptions [Rowlands on Kuhn] |
| 22184 | Incommensurability assumes concepts get their meaning from within the theory [Kuhn, by Okasha] |
| 7619 | Galileo's notions can't be 'incommensurable' if we can fully describe them [Putnam on Kuhn] |