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] |
| 20034 | Intentions must be mutually consistent, affirm appropriate means, and fit the agent's beliefs [Bratman, by Wilson/Schpall] |
| 20033 | Intentions are normative, requiring commitment and further plans [Bratman, by Wilson/Schpall] |
| 20026 | Intention is either the aim of an action, or a long-term constraint on what we can do [Bratman, by Wilson/Schpall] |
| 20032 | Bratman rejected reducing intentions to belief-desire, because they motivate, and have their own standards [Bratman, by Wilson/Schpall] |
| 21275 | Unlike a stone, the parts of a watch are obviously assembled in order to show the time [Paley] |
| 21276 | From the obvious purpose and structure of a watch we must infer that it was designed [Paley] |
| 21277 | Even an imperfect machine can exhibit obvious design [Paley] |
| 21278 | All the signs of design found in a watch are also found in nature [Paley] |
| 21357 | No organ shows purpose more obviously than the eyelid [Paley] |