13 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] |
| 6387 | A minimum requirement for a theory of meaning is that it include an account of truth [Davidson] |
| 6391 | A theory of truth tells us how communication by language is possible [Davidson] |
| 6388 | Is reference the key place where language and the world meet? [Davidson] |
| 6390 | With a holistic approach, we can give up reference in empirical theories of language [Davidson] |
| 6389 | To explain the reference of a name, you must explain its sentence-role, so reference can't be defined nonlinguistically [Davidson] |
| 9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |