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] |
| 5303 | For the proletariate, law, morality and religion are just expressions of bourgeois interests [Marx/Engels] |
| 21998 | Bourgeois interests create our morality, law and religion [Marx/Engels] |
| 22237 | The Greeks had a single word meaning both 'beautiful' and 'good' [Pormann] |
| 5302 | Modern governments are just bourgeois management committees [Marx/Engels] |
| 5304 | Communism aims to abolish not all property, but bourgeois property [Marx/Engels] |
| 5307 | Many of the bourgeois rights grievances are a form of self-defence [Marx/Engels] |
| 5306 | The free development of each should be the condition for the free development of all [Marx/Engels] |
| 5305 | Communists want to rescue education from the ruling class [Marx/Engels] |
| 5301 | The history of all existing society is the history of class struggles [Marx/Engels] |