20 ideas
23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
15789 | Lewis's distinction of 'existing' from 'being actual' is Meinong's between 'existing' and 'subsisting' [Lycan on Lewis] |
15790 | Lewis can't know possible worlds without first knowing what is possible or impossible [Lycan on Lewis] |
15791 | What are the ontological grounds for grouping possibilia into worlds? [Lycan on Lewis] |
8388 | Causation is either direct realism, Humean reduction, non-Humean reduction or theoretical realism [Tooley] |
8389 | Causation distinctions: reductionism/realism; Humean/non-Humean states; observable/non-observable [Tooley] |
8393 | We can only reduce the direction of causation to the direction of time if we are realist about the latter [Tooley] |
8390 | Causation is directly observable in pressure on one's body, and in willed action [Tooley] |
8392 | Probabilist laws are compatible with effects always or never happening [Tooley] |
8399 | The actual cause may not be the most efficacious one [Tooley] |
8391 | In counterfactual worlds there are laws with no instances, so laws aren't supervenient on actuality [Tooley] |
8394 | Explaining causation in terms of laws can't explain the direction of causation [Tooley] |
8398 | Causation is a concept of a relation the same in all worlds, so it can't be a physical process [Tooley] |