16 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] |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| 5495 | Instances of pain are physical tokens, but the nature of pain is more abstract [Putnam, by Lycan] |
| 21332 | We don't get a love of 'order' from nature - which is thoroughly chaotic [Mill] |
| 21333 | Evil comes from good just as often as good comes from evil [Mill] |
| 21335 | Belief that an afterlife is required for justice is an admission that this life is very unjust [Mill] |
| 21334 | No necessity ties an omnipotent Creator, so he evidently wills human misery [Mill] |
| 21329 | Nature dispenses cruelty with no concern for either mercy or justice [Mill] |
| 21328 | Killing is a human crime, but nature kills everyone, and often with great tortures [Mill] |
| 21330 | Nature makes childbirth a miserable experience, often leading to the death of the mother [Mill] |
| 21331 | Hurricanes, locusts, floods and blight can starve a million people to death [Mill] |