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] |
10197 | An immanent universal is wholly present in more than one place [Zimmerman,DW] |
10198 | If only two indiscernible electrons exist, future differences must still be possible [Zimmerman,DW] |
10199 | Discernible differences at different times may just be in counterparts [Zimmerman,DW] |
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] |