16 ideas
| 4424 | A warlike philosopher challenges problems to single combat [Nietzsche] |
| 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] |
| 2886 | The distinction between egoistic and non-egoistic acts is absurd [Nietzsche] |
| 4426 | A bad result distorts one's judgement about the virtue of what one has done [Nietzsche] |
| 4425 | The overcoming of pity I count among the noble virtues [Nietzsche] |
| 20132 | To become what you are you must have no self-awareness [Nietzsche] |
| 20144 | Eternal recurrence is the highest attainable affirmation [Nietzsche] |
| 2889 | One repays a teacher badly if one remains only a pupil [Nietzsche] |
| 2887 | I am not an atheist because of reasoning or evidence, but because of instinct [Nietzsche] |