more on this theme | more from this thinker
Full Idea
The reason the two predicates 'before' and 'after' are needed is not to express different relations, but to indicate its order. Since there can be difference of order without difference of relation, the nature of relations is not the source of order.
Gist of Idea
'Before' and 'after' are not two relations, but one relation with two orders
Source
Keith Hossack (Knowledge and the Philosophy of Number [2020], 10.3)
Book Ref
Hossack, Keith: 'Knowledge and the Philosophy of Number' [Routledge 2021], p.157
A Reaction
This point is to refute Russell's 1903 claim that order arises from the nature of relations. Hossack claims that it is ordered series which are basic. I'm inclined to agree with him.
23621 | Numbers are properties, not sets (because numbers are magnitudes) [Hossack] |
23622 | We can only mentally construct potential infinities, but maths needs actual infinities [Hossack] |
23623 | Predicativism says only predicated sets exist [Hossack] |
23624 | The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack] |
23625 | Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack] |
23626 | Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack] |
23627 | 'Before' and 'after' are not two relations, but one relation with two orders [Hossack] |
23628 | The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack] |