27 ideas
| 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] |
| 5791 | Reduction is either by elimination, or by explanation [Searle] |
| 5799 | Eliminative reduction needs a gap between appearance and reality, as in sunsets [Searle] |
| 5790 | A property is 'emergent' if it is caused by elements of a system, when the elements lack the property [Searle] |
| 5792 | Explanation of how we unify our mental stimuli into a single experience is the 'binding problem' [Searle] |
| 5786 | A system is either conscious or it isn't, though the intensity varies a lot [Searle] |
| 5794 | Consciousness has a first-person ontology, which only exists from a subjective viewpoint [Searle] |
| 5795 | There isn't one consciousness (information-processing) which can be investigated, and another (phenomenal) which can't [Searle] |
| 5788 | The use of 'qualia' seems to imply that consciousness and qualia are separate [Searle] |
| 5789 | I now think syntax is not in the physics, but in the eye of the beholder [Searle] |
| 5798 | Consciousness has a first-person ontology, so it cannot be reduced without omitting something [Searle] |
| 5787 | There is non-event causation between mind and brain, as between a table and its solidity [Searle] |
| 5797 | The pattern of molecules in the sea is much more complex than the complexity of brain neurons [Searle] |
| 5796 | If tree rings contain information about age, then age contains information about rings [Searle] |
| 20725 | The idea of duty in one's calling haunts us, like a lost religion [Weber] |
| 20722 | Acquisition and low consumption lead to saving, investment, and increased wealth [Weber] |
| 20724 | When asceticism emerged from the monasteries, it helped to drive the modern economy [Weber] |
| 20717 | Capitalism is not unlimited greed, and may even be opposed to greed [Weber] |
| 20718 | Modern western capitalism has free labour, business separate from household, and book-keeping [Weber] |
| 20719 | Punish the heretic, but be indulgent to the sinner [Weber] |