18 ideas
3798 | An overexamined life is as bad as an unexamined one [Dennett] |
22140 | The greatest philosophers are methodical; it is what makes them great [Grice] |
3801 | Rationality requires the assumption that things are either for better or worse [Dennett] |
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] |
3802 | Why pronounce impossible what you cannot imagine? [Dennett] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
3795 | Causal theories require the "right" sort of link (usually unspecified) [Dennett] |
3797 | I am the sum total of what I directly control [Dennett] |
3800 | You can be free even though force would have prevented you doing otherwise [Dennett, by PG] |
3803 | Can we conceive of a being with a will freer than our own? [Dennett] |
3791 | Awareness of thought is a step beyond awareness of the world [Dennett] |
3794 | Foreknowledge permits control [Dennett] |
3796 | The active self is a fiction created because we are ignorant of our motivations [Dennett] |