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] |
| 14330 | To be realists about dispositions, we can only discuss them through their categorical basis [Armstrong] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 6498 | Armstrong suggests secondary qualities are blurred primary qualities [Armstrong, by Robinson,H] |
| 5690 | A mental state without belief refutes self-intimation; a belief with no state refutes infallibility [Armstrong, by Shoemaker] |
| 5493 | If pains are defined causally, and research shows that the causal role is physical, then pains are physical [Armstrong, by Lycan] |
| 4600 | Armstrong and Lewis see functionalism as an identity of the function and its realiser [Armstrong, by Heil] |
| 7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
| 6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |