21 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] |
| 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] |
| 3785 | You can't separate acts from the people performing them [Glover] |
| 3786 | Aggression in defence may be beneficial but morally corrupting [Glover] |
| 3784 | Duty prohibits some acts, whatever their consequences [Glover] |
| 3782 | Satisfaction of desires is not at all the same as achieving happiness [Glover, by PG] |
| 3787 | Rule-utilitarianism is either act-utilitarianism, or not really utilitarian [Glover] |
| 3783 | How can utilitarianism decide the ideal population size? [Glover] |