display all the ideas for this combination of texts
3 ideas
18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
Full Idea: Menzel proposes that an ordinal is something isomorphic well-ordered sets have in common, so while an ordinal can be represented as a set, it is not itself a set, but a 'property' of well-ordered sets. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.2) | |
A reaction: [C.Menzel 1986] This is one of many manoeuvres available if you want to distance mathematics from set theory. |
9801 | Numbers must be assumed to have identical units, as horses are equalised in 'horse-power' [Mill] |
Full Idea: There is one hypothetical element in the basis of arithmetic, without which none of it would be true: all the numbers are numbers of the same or of equal units. When we talk of forty horse-power, we assume all horses are of equal strength. | |
From: John Stuart Mill (System of Logic [1843], 2.6.3) | |
A reaction: Of course, horses are not all of equal strength, so there is a problem here for your hard-line empiricist. Mill needs processes of idealisation and abstraction before his empirical arithmetic can get off the ground. |
18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
Full Idea: Infinitesimals do not stand in a determinate order relation to zero: we cannot say an infinitesimal is either less than zero, identical to zero, or greater than zero. ….Infinitesimals are so close to zero as to be theoretically indiscriminable from it. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.4) |