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] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 2798 | Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich] |
| 2799 | Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich] |
| 20180 | A happy and joyous life must largely be a quiet life [Russell] |
| 20177 | Boredom always involves not being fully occupied [Russell] |
| 20179 | Happiness involves enduring boredom, and the young should be taught this [Russell] |
| 20176 | Boredom is an increasingly strong motivating power [Russell] |
| 20178 | Life is now more interesting, but boredom is more frightening [Russell] |