14 ideas
| 18270 | Choice suggests that intensions are not needed to ensure classes [Coffa] |
| 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] |
| 18263 | The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa] |
| 18272 | Platonism defines the a priori in a way that makes it unknowable [Coffa] |
| 7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
| 18266 | Mathematics generalises by using variables [Coffa] |
| 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] |
| 18279 | Relativity is as absolutist about space-time as Newton was about space [Coffa] |