14 ideas
| 7911 | Theory vanishes when one has obtained wisdom [Rahulabhadra] |
| 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] |
| 14221 | Serious essentialism says everything has essences, they're not things, and they ground necessities [Shalkowski] |
| 14222 | Essences are what it is to be that (kind of) thing - in fact, they are the thing's identity [Shalkowski] |
| 14226 | We distinguish objects by their attributes, not by their essences [Shalkowski] |
| 14225 | Critics say that essences are too mysterious to be known [Shalkowski] |
| 14223 | De dicto necessity has linguistic entities as their source, so it is a type of de re necessity [Shalkowski] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 14224 | Equilateral and equiangular aren't the same, as we have to prove their connection [Shalkowski] |