15 ideas
| 4187 | 'There is nothing without a reason why it should be rather than not be' (a generalisation of 'Why?') [Schopenhauer] |
| 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] |
| 4192 | All necessity arises from causation, which is conditioned; there is no absolute or unconditioned necessity [Schopenhauer] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 4190 | All understanding is an immediate apprehension of the causal relation [Schopenhauer] |
| 4191 | What we know in ourselves is not a knower but a will [Schopenhauer] |
| 21368 | The knot of the world is the use of 'I' to refer to both willing and knowing [Schopenhauer] |
| 20739 | Levinas took 'first philosophy' to begin with seeing the vulnerable faces of others [Levinas, by Aho] |
| 20445 | Levinas says Marxism is the replacement of individualist ethics, by solidarity and sociality [Levinas, by Critchley] |
| 4189 | Time may be defined as the possibility of mutually exclusive conditions of the same thing [Schopenhauer] |