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] |
| 19520 | Evidentialism is not axiomatic; the evidence itself inclines us towards evidentialism [Conee] |
| 19521 | If pure guesses were reliable, reliabilists would have to endorse them [Conee] |
| 19522 | More than actual reliability is needed, since I may mistakenly doubt what is reliable [Conee] |
| 19523 | Reliabilism is poor on reflective judgements about hypothetical cases [Conee] |
| 2798 | Probability of H, given evidence E, is prob(H) x prob(E given H) / prob(E) [Horwich] |
| 2799 | Bayes' theorem explains why very surprising predictions have a higher value as evidence [Horwich] |