10 ideas
17879 | Axiomatising set theory makes it all relative [Skolem] |
12394 | If the result is bad, we change the rule; if we like the rule, we reject the result [Goodman] |
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] |
14292 | Dispositions seem more ethereal than behaviour; a non-occult account of them would be nice [Goodman] |
18749 | Goodman argued that the confirmation relation can never be formalised [Goodman, by Horsten/Pettigrew] |
17646 | Goodman showed that every sound inductive argument has an unsound one of the same form [Goodman, by Putnam] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
4794 | We don't use laws to make predictions, we call things laws if we make predictions with them [Goodman] |