11 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
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] |
14080 | Are causal descriptions part of the causal theory of reference, or are they just metasemantic? [Kaplan, by Schaffer,J] |