30 ideas
13407 | All worthwhile philosophy is synthetic theorizing, evaluated by experience [Papineau] |
10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
5791 | Reduction is either by elimination, or by explanation [Searle] |
5799 | Eliminative reduction needs a gap between appearance and reality, as in sunsets [Searle] |
13409 | Our best theories may commit us to mathematical abstracta, but that doesn't justify the commitment [Papineau] |
5790 | A property is 'emergent' if it is caused by elements of a system, when the elements lack the property [Searle] |
13406 | A priori knowledge is analytic - the structure of our concepts - and hence unimportant [Papineau] |
13408 | Intuition and thought-experiments embody substantial information about the world [Papineau] |
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] |
13410 | Verificationism about concepts means you can't deny a theory, because you can't have the concept [Papineau] |