28 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] |
19400 | Possibles demand existence, so as many of them as possible must actually exist [Leibniz] |
19401 | God's sufficient reason for choosing reality is in the fitness or perfection of possibilities [Leibniz] |
19402 | The actual universe is the richest composite of what is possible [Leibniz] |
4983 | There are no rules linking thought and behaviour, because endless other thoughts intervene [Davidson] |
3529 | Reduction is impossible because mind is holistic and brain isn't [Davidson, by Maslin] |
2307 | Anomalous monism says nothing at all about the relationship between mental and physical [Davidson, by Kim] |
5497 | Mind is outside science, because it is humanistic and partly normative [Davidson, by Lycan] |
4081 | Anomalous monism says causes are events, so the mental and physical are identical, without identical properties [Davidson, by Crane] |
2321 | If rule-following and reason are 'anomalies', does that make reductionism impossible? [Davidson, by Kim] |
3404 | Davidson claims that mental must be physical, to make mental causation possible [Davidson, by Kim] |
3405 | If mental causation is lawless, it is only possible if mental events have physical properties [Davidson, by Kim] |
16041 | Supervenience of the mental means physical changes mental, and mental changes physical [Davidson] |
6620 | Davidson sees identity as between events, not states, since they are related in causation [Davidson, by Lowe] |
3429 | Multiple realisability was worse news for physicalism than anomalous monism was [Davidson, by Kim] |
3524 | Causation is either between events, or between descriptions of events [Davidson, by Maslin] |
3526 | Whether an event is a causal explanation depends on how it is described [Davidson, by Maslin] |