12 ideas
24069 | Much metaphysical debate concerns what is fundamental, rather than what exists [Koslicki] |
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] |
21548 | The null class is the class with all the non-existents as its members [MacColl, by Lackey] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
24065 | Structured wholes are united by the teamwork needed for their capacities [Koslicki] |
24066 | The form explains kind, structure, unity and activity [Koslicki] |
24067 | Hylomorphic compounds need an individual form for transworld identity [Koslicki] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |