11 ideas
| 14231 | We should always apply someone's theory of meaning to their own utterances [Liggins] |
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| 14232 | We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins] |
| 17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
| 7557 | To solve Zeno's paradox, reject the axiom that the whole has more terms than the parts [Russell] |
| 10059 | In mathematic we are ignorant of both subject-matter and truth [Russell] |
| 7556 | A collection is infinite if you can remove some terms without diminishing its number [Russell] |
| 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] |
| 14233 | Nihilists needn't deny parts - they can just say that some of the xs are among the ys [Liggins] |
| 7554 | Self-evidence is often a mere will-o'-the-wisp [Russell] |