15 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] |
| 9117 | The smallest heap has four objects: three on the bottom, one on the top [Hart,WD, by Sorensen] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 19718 | Indefeasibility does not imply infallibility [Grundmann] |
| 19717 | Can a defeater itself be defeated? [Grundmann] |
| 19716 | Simple reliabilism can't cope with defeaters of reliably produced beliefs [Grundmann] |
| 19715 | You can 'rebut' previous beliefs, 'undercut' the power of evidence, or 'reason-defeat' the truth [Grundmann] |
| 19714 | Knowledge requires that there are no facts which would defeat its justification [Grundmann] |
| 19713 | Defeasibility theory needs to exclude defeaters which are true but misleading [Grundmann] |
| 19719 | 'Moderate' foundationalism has basic justification which is defeasible [Grundmann] |