The Indefinability of “One”

Abstract

Logicism is one of the great reductionist projects. Numbers and the relationships in which they stand may seem to possess suspect ontological credentials – to be entia non grata – and, further, to be beyond the reach of knowledge. In seeking to reduce mathematics to a small set of principles that form the logical basis of all reasoning, logicism holds out the prospect of ontological economy and epistemological security. This paper attempts to show that a fundamental logicist project, that of defining the number one in terms drawn only from logic and set theory, is a doomed enterprise. The starting point is Russell's Theory of Descriptions, which purports to supply a quantificational analysis of definite descriptions by adjoining a 'uniqueness clause' to the formal rendering of indefinite descriptions. That theory fails on at least two counts. First, the senses of statements containing indefinite descriptions are typically not preserved under the Russellian translation. Second (and independently), the 'uniqueness clause' fails to trim 'some' to 'one'. The Russell–Whitehead account in Principia Mathematica fares no better. Other attempts to define 'one' are covertly circular. An ontologically non-embarrassing alternative account of the number words is briefly sketched.