17 ideas
9915 | V = L just says all sets are constructible [Putnam] |
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
15127 | A categorical basis could hardly explain a disposition if it had no powers of its own [Hawthorne] |
15123 | Is the causal profile of a property its essence? [Hawthorne] |
15124 | If properties are more than their powers, we could have two properties with the same power [Hawthorne] |
15122 | Could two different properties have the same causal profile? [Hawthorne] |
15128 | We can treat the structure/form of the world differently from the nodes/matter of the world [Hawthorne] |
15121 | An individual essence is a necessary and sufficient profile for a thing [Hawthorne] |
7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |
15126 | Maybe scientific causation is just generalisation about the patterns [Hawthorne] |
15125 | We only know the mathematical laws, but not much else [Hawthorne] |