11 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] |
| 14596 | Call 'nominalism' the denial of numbers, properties, relations and sets [Dorr] |
| 14597 | Natural Class Nominalism says there are primitive classes of things resembling in one respect [Dorr] |
| 14598 | Abstracta imply non-logical brute necessities, so only nominalists can deny such things [Dorr] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 3029 | Stilpo said if Athena is a daughter of Zeus, then a statue is only the child of a sculptor, and so is not a god [Stilpo, by Diog. Laertius] |