17 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] |
| 16616 | Substances 'substand' (beneath accidents), or 'subsist' (independently) [Eustachius] |
| 16585 | Prime matter is free of all forms, but has the potential for all forms [Eustachius] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 7440 | Secondary qualities are microscopic primary qualities of physical things [Armstrong] |
| 7437 | Consciousness and experience of qualities are not the same [Armstrong] |
| 7434 | Behaviourism is false, but mind is definable as the cause of behaviour [Armstrong] |
| 7436 | The manifestations of a disposition need never actually exist [Armstrong] |
| 7429 | Causal Functionalism says mental states are apt for producing behaviour [Armstrong] |
| 7438 | A causal theory of mentality would be improved by a teleological element [Armstrong] |
| 7431 | The identity of mental states with physical properties is contingent, because the laws of nature are contingent [Armstrong] |
| 7432 | One mental role might be filled by a variety of physical types [Armstrong] |