26 ideas
10301 | The axiom of choice is controversial, but it could be replaced [Shapiro] |
10588 | First-order logic is Complete, and Compact, with the Löwenheim-Skolem Theorems [Shapiro] |
10298 | Some say that second-order logic is mathematics, not logic [Shapiro] |
10299 | If the aim of logic is to codify inferences, second-order logic is useless [Shapiro] |
10300 | Logical consequence can be defined in terms of the logical terminology [Shapiro] |
10290 | Second-order variables also range over properties, sets, relations or functions [Shapiro] |
10297 | The Löwenheim-Skolem theorem seems to be a defect of first-order logic [Shapiro] |
10590 | Up Löwenheim-Skolem: if natural numbers satisfy wffs, then an infinite domain satisfies them [Shapiro] |
10292 | Downward Löwenheim-Skolem: if there's an infinite model, there is a countable model [Shapiro] |
10296 | The Löwenheim-Skolem Theorems fail for second-order languages with standard semantics [Shapiro] |
10294 | Second-order logic has the expressive power for mathematics, but an unworkable model theory [Shapiro] |
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] |
10591 | Logicians use 'property' and 'set' interchangeably, with little hanging on it [Shapiro] |
18278 | Kant showed that our perceptions are partly constructed from our concepts [Reichenbach] |
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] |