14 ideas
| 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] |
| 3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 20725 | The idea of duty in one's calling haunts us, like a lost religion [Weber] |
| 20722 | Acquisition and low consumption lead to saving, investment, and increased wealth [Weber] |
| 20724 | When asceticism emerged from the monasteries, it helped to drive the modern economy [Weber] |
| 20717 | Capitalism is not unlimited greed, and may even be opposed to greed [Weber] |
| 20718 | Modern western capitalism has free labour, business separate from household, and book-keeping [Weber] |
| 20719 | Punish the heretic, but be indulgent to the sinner [Weber] |