18 ideas
| 6851 | We overvalue whether arguments are valid, and undervalue whether they are interesting [Monk] |
| 20744 | Phenomenologists say all experience is about something and is directed [Aho] |
| 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] |
| 20736 | Science has to abstract out the subjective attributes of things, focusing on what is objective [Aho] |
| 7535 | If all beliefs are propositional, then belief and judgement are the same thing [Monk] |
| 6850 | Wittgenstein pared his life down in his search for decency [Monk] |
| 20734 | Anxiety, nausea, guilt and absurdity shake us up, revealing our freedom and limits [Aho] |
| 20733 | Our 'existence' is how we create ourselves, unconstrained by any prior 'essence' [Aho] |
| 20753 | The self is constituted by its choices made within a social context [Aho] |
| 20738 | Social contracts and markets have made society seem disconnected and artificial [Aho] |
| 20737 | Protestantism brought the modern emphasis on inner states of the soul [Aho] |
| 20766 | Four Noble Truths: life is suffering, caused by attachment, it is avoidable, there is a path [Aho] |