14 ideas
| 7920 | Descriptive metaphysics aims at actual structure, revisionary metaphysics at a better structure [Strawson,P] |
| 7922 | Descriptive metaphysics concerns unchanging core concepts and categories [Strawson,P] |
| 7921 | Close examination of actual word usage is the only sure way in philosophy [Strawson,P] |
| 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] |
| 9282 | I can only apply consciousness predicates to myself if I can apply them to others [Strawson,P] |
| 9263 | A person is an entity to which we can ascribe predicates of consciousness and corporeality [Strawson,P] |
| 9281 | The idea of a predicate matches a range of things to which it can be applied [Strawson,P] |
| 20195 | Eudaimonia first; virtue is a trait which promotes it; right acts are what virtues produce [Hursthouse, by Zagzebski] |