12 ideas
| 22026 | Philosophy is homesickness - the urge to be at home everywhere [Novalis] |
| 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] |
| 8507 | Some think of reality as made of things; I prefer facts or states of affairs [Armstrong] |
| 8506 | Particulars and properties are distinguishable, but too close to speak of a relation [Armstrong] |
| 8505 | Refusal to explain why different tokens are of the same type is to be an ostrich [Armstrong] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 19591 | Desire for perfection is an illness, if it turns against what is imperfect [Novalis] |