17 ideas
| 15873 | Laws of nature are just records of regularities and correlations, with concepts to make recording them easier [Mach, by Harré] |
| 10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
| 10283 | A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W] |
| 10284 | There are three different standard presentations of semantics [Hodges,W] |
| 10285 | I |= φ means that the formula φ is true in the interpretation I [Hodges,W] |
| 10288 | Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W] |
| 10289 | Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W] |
| 10287 | If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W] |
| 10286 | A 'set' is a mathematically well-behaved class [Hodges,W] |
| 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] |
| 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] |