14 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] |
| 8851 | Coherentists say that regress problems are assuming 'linear' justification [Williams,M] |
| 8849 | Traditional foundationalism is radically internalist [Williams,M] |
| 8853 | Basic judgements are immune from error because they have no content [Williams,M] |
| 8855 | Sensory experience may be fixed, but it can still be misdescribed [Williams,M] |
| 8852 | In the context of scepticism, externalism does not seem to be an option [Williams,M] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |