13 ideas
| 21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
| 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] |
| 8361 | What is true used to be possible, but it may no longer be so [Wright,GHv] |
| 21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |
| 8363 | p is a cause and q an effect (not vice versa) if manipulations of p change q [Wright,GHv] |
| 8364 | We can imagine controlling floods by controlling rain, but not vice versa [Wright,GHv] |
| 8366 | The very notion of a cause depends on agency and action [Wright,GHv] |
| 8362 | We give regularities a causal character by subjecting them to experiment [Wright,GHv] |
| 8360 | We must further analyse conditions for causation, into quantifiers or modal concepts [Wright,GHv] |
| 8365 | Some laws are causal (Ohm's Law), but others are conceptual principles (conservation of energy) [Wright,GHv] |