21 ideas
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] |
12812 | Things have real essences, but we categorise them according to the ideas we receive [Locke] |
2590 | Dispositions need mental terms to define them [Putnam] |
2591 | Total paralysis would mean that there were mental states but no behaviour at all [Putnam] |
2588 | Is pain a functional state of a complete organism? [Putnam] |
2589 | Functionalism is compatible with dualism, as pure mind could perform the functions [Putnam] |
2592 | Functional states correlate with AND explain pain behaviour [Putnam] |
2587 | Temperature is mean molecular kinetic energy, but they are two different concepts [Putnam] |
6376 | Neuroscience does not support multiple realisability, and tends to support identity [Polger on Putnam] |
2330 | If humans and molluscs both feel pain, it can't be a single biological state [Putnam, by Kim] |