12 ideas
| 17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
| 13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
| 17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
| 16052 | 'Superdupervenience' is supervenience that has a robustly materialistic explanation [Horgan,T] |
| 16053 | 'Global' supervenience is facts tracking varying physical facts in every possible world [Horgan,T] |
| 16056 | Don't just observe supervenience - explain it! [Horgan,T] |
| 16054 | Physicalism needs more than global supervenience on the physical [Horgan,T] |
| 16055 | Materialism requires that physics be causally complete [Horgan,T] |
| 16057 | Instrumentalism normally says some discourse is useful, but not genuinely true [Horgan,T] |
| 7876 | Even if we identify pain with neural events, we can't explain why those neurons cause that feeling [Levine, by Papineau] |
| 7877 | Only phenomenal states have an explanatory gap; water is fully explained by H2O [Levine, by Papineau] |
| 7878 | Materialism won't explain phenomenal properties, because the latter aren't seen in causal roles [Papineau on Levine] |