13 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] |
| 3626 | Knowing the attributes is enough to reveal a substance [Descartes] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 3630 | Our thinking about external things doesn't disprove the existence of innate ideas [Descartes] |
| 3631 | A blind man may still contain the idea of colour [Descartes] |
| 4761 | The 'error theory' of morals says there is no moral knowledge, because there are no moral facts [Mackie, by Engel] |
| 3639 | Necessary existence is a property which is uniquely part of God's essence [Descartes] |
| 3640 | Possible existence is a perfection in the idea of a triangle [Descartes] |