16 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] |
3654 | The pineal gland links soul to body, and unites the two symmetrical sides of the body [Descartes, by PG] |
4015 | For Descartes passions are God-given preservers of the mind-body union [Descartes, by Taylor,C] |
4313 | Are there a few primary passions (say, joy, sadness and desire)? [Descartes, by Cottingham] |
23989 | There are six primitive passions: wonder, love, hatred, desire, joy and sadness [Descartes, by Goldie] |
20037 | Merely willing to walk leads to our walking [Descartes] |
16763 | We don't die because the soul departs; the soul departs because the organs cease functioning [Descartes] |
4016 | Descartes makes strength of will the central virtue [Descartes, by Taylor,C] |
4050 | We only allow voluntary euthanasia to someone who is both sane and crazed by pain [Kamisar] |
4051 | People will volunteer for euthanasia because they think other people want them dead [Kamisar] |