17 ideas
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
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] |