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] |
8790 | The 'doctrine of the given' is correct; some beliefs or statements are self-justifying [Chisholm] |
24008 | Reference to a person's emotions is often essential to understanding their actions [Williams,B] |
24009 | Moral education must involve learning about various types of feeling towards things [Williams,B] |
24007 | Emotivism saw morality as expressing emotions, and influencing others' emotions [Williams,B] |
24010 | An admirable human being should have certain kinds of emotional responses [Williams,B] |
24012 | Kant's love of consistency is too rigid, and it even overrides normal fairness [Williams,B] |