9 ideas
10365 | We might use 'facta' to refer to the truth-makers for facts [Mellor, by Schaffer,J] |
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] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
4785 | Causal statements relate facts (which are whatever true propositions express) [Mellor, by Psillos] |
8408 | Probabilistic causation says C is a cause of E if it increases the chances of E occurring [Mellor, by Tooley] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |