15 ideas
| 21901 | 'Difference' refers to that which eludes capture [Deleuze, by May] |
| 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] |
| 21908 | Ontology can be continual creation, not to know being, but to probe the unknowable [Deleuze] |
| 21902 | 'Being' is univocal, but its subject matter is actually 'difference' [Deleuze] |
| 18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
| 21903 | Ontology does not tell what there is; it is just a strange adventure [Deleuze, by May] |
| 21904 | Being is a problem to be engaged, not solved, and needs a new mode of thinking [Deleuze, by May] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |
| 5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |