more from this thinker     |     more from this text

Single Idea 18071

[filed under theme 6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units ]

Full Idea

We perform a one-operation when we perform a segregative operation in which a single object is segregated.

Gist of Idea

A one-operation is the segregation of a single object

Source

Philip Kitcher (The Nature of Mathematical Knowledge [1984], 06.3)

Book Ref

Kitcher,Philip: 'The Nature of Mathematical Knowledge' [OUP 1984], p.112

A Reaction

This is part of Kitcher's empirical but constructive account of arithmetic, which I find very congenial. He avoids the word 'unit', and goes straight to the concept of 'one' (which he treats as more primitive than zero).

The 21 ideas with the same theme [a series of isolated 'ones' on which counting is built]:

16146 Two can't be a self-contained unit, because it would need to be one to do that [Democritus, by Aristotle]
17844 The unit is stipulated to be indivisible [Aristotle]
17845 If only rectilinear figures existed, then unity would be the triangle [Aristotle]
17859 Units came about when the unequals were equalised [Aristotle]
12369 A unit is what is quantitatively indivisible [Aristotle]
12273 Unit is the starting point of number [Aristotle]
24035 Unity is something shared by many things, so in that respect they are equals [Descartes]
24036 I can only see the proportion of two to three if there is a common measure - their unity [Descartes]
12956 Only whole numbers are multitudes of units [Leibniz]
12920 There is no multiplicity without true units [Leibniz]
9147 Number cannot be defined as addition of ones, since that needs the number; it is a single act of abstraction [Fine,K on Leibniz]
9801 Numbers must be assumed to have identical units, as horses are equalised in 'horse-power' [Mill]
8641 You can abstract concepts from the moon, but the number one is not among them [Frege]
9989 Units can be equal without being identical [Tait on Frege]
17429 Frege says only concepts which isolate and avoid arbitrary division can give units [Frege, by Koslicki]
20361 We need 'unities' for reckoning, but that does not mean they exist [Nietzsche]
9576 Multiplicity in general is just one and one and one, etc. [Husserl]
18392 Classes have cardinalities, so their members must all be treated as units [Armstrong]
9895 A number is a multitude composed of units [Dummett]
18071 A one-operation is the segregation of a single object [Kitcher]
17435 Objects do not naturally form countable units [Koslicki]