display all the ideas for this combination of texts
3 ideas
10674 | A plural language gives a single comprehensive induction axiom for arithmetic [Hossack] |
Full Idea: A language with plurals is better for arithmetic. Instead of a first-order fragment expressible by an induction schema, we have the complete truth with a plural induction axiom, beginning 'If there are some numbers...'. | |
From: Keith Hossack (Plurals and Complexes [2000], 4) |
10681 | In arithmetic singularists need sets as the instantiator of numeric properties [Hossack] |
Full Idea: In arithmetic singularists need sets as the instantiator of numeric properties. | |
From: Keith Hossack (Plurals and Complexes [2000], 8) |
10685 | Set theory is the science of infinity [Hossack] |
Full Idea: Set theory is the science of infinity. | |
From: Keith Hossack (Plurals and Complexes [2000], 10) |