8 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] |
17527 | Causation seems to be an innate concept (or acquired very early) [Bird] |
7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |
17528 | The dispositional account explains causation, as stimulation and manifestation of dispositions [Bird] |
17526 | The counterfactual approach makes no distinction between cause and pre-condition [Bird] |