15 ideas
| 16000 | Fixed ideas should be tackled aggressively [Kierkegaard] |
| 16012 | Philosophy can't be unbiased if it ignores language, as that is no more independent than individuals are [Kierkegaard] |
| 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] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| 16003 | If people marry just because they are lonely, that is self-love, not love [Kierkegaard] |
| 21910 | Our destiny is the highest pitch of world-weariness [Kierkegaard] |
| 16001 | Life may be understood backwards, but it has to be lived forwards [Kierkegaard] |
| 16008 | The best way to be a Christian is without 'Christianity' [Kierkegaard] |
| 20735 | We need to see that Christianity cannot be understood [Kierkegaard] |