16 ideas
| 10282 | Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W] |
| 20100 | Classical liberalism seeks freedom of opinion, of private life, of expression, and of property [Micklethwait/Wooldridge] |
| 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] |
| 18933 | Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius] |
| 5864 | Destroy seriousness with laughter, and laughter with seriousness [Gorgias] |
| 9866 | Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato] |
| 20097 | The welfare state aims at freedom from want, and equality of opportunity [Micklethwait/Wooldridge] |
| 20099 | For communists history is driven by the proletariat [Micklethwait/Wooldridge] |
| 20098 | Fans of economic freedom claim that capitalism is self-correcting [Micklethwait/Wooldridge] |
| 20096 | Roman law entrenched property rights [Micklethwait/Wooldridge] |