17 ideas
| 5300 | Philosophers have interpreted the world, but the point is to change it [Marx] |
| 5297 | Whether human thinking can be 'true' must be decided in practice, not theory [Marx] |
| 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] |
| 22598 | The authentic self exists at the level of class, rather than the individual [Marx, by Dunt] |
| 22445 | Morality shows murder is wrong, but not what counts as a murder [Foot] |
| 22444 | A moral system must deal with the dangers and benefits of life [Foot] |
| 5298 | The human essence is not found in individuals but in social relations [Marx] |
| 22447 | Saying something 'just is' right or wrong creates an illusion of fact and objectivity [Foot] |
| 22448 | We sometimes just use the word 'should' to impose a rule of conduct on someone [Foot] |
| 22446 | In the case of something lacking independence, calling it a human being is a matter of choice [Foot] |
| 5299 | Religious feeling is social in origin [Marx] |