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] |
| 14212 | A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis] |
| 14213 | Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis] |
| 14210 | A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 6175 | External identification doesn't mean external location, as with sunburn [Davidson, by Rowlands] |
| 14215 | Causal theories of reference make errors in reference easy [Lewis] |
| 14209 | Descriptive theories remain part of the theory of reference (with seven mild modifications) [Lewis] |