The Logistic Construction of The Natural Numbers
The attempt to construct the natural numbers is summarized succinctly by Bernays 1930-1931. But rather than use Bernays' précis, which is incomplete in the details, the construction is best given as a simple finite example together with the details to be found in Russell 1919.
In general the logicism of Dedekind-Frege is similar to that of Russell, but with significant (and critical) differences in the particulars (see Criticisms, below). Overall, though, the logicistic construction-process is far different than that of contemporary set theory. Whereas in set theory the notion of "number" begins from an axiom—the axiom of pairing that leads to the definition of "ordered pair"—no overt number-axiom exists in logicism. Rather, logicism begins its construction of the numbers from "primitive propositions" that include "class", "propositional function", and in particular, "relations" of "similarity" ("equinumerosity": placing the elements of collections in one-to-one correspondence) and "ordering" (using "the successor of" relation to order the collections of the equinumerous classes)". The logicistic derivation equates the cardinal numbers constructed this way to the natural numbers, and these numbers end up all of the same "type"—as equivalence classes of classes—whereas in set theory each number is of a higher class than its predecessor (thus each successor contains its predecessor as a subset). Kleene observes that:
- "The viewpoint here is very different from that where we supposed an intuitive conception of the number sequence and elicited from it the principle that, whenever a particular property P of natural numbers is given such that (1) and (2), then any given natural number must have the property P" (Kleene 1952:44).
The importance to logicism of the construction of the natural numbers derives from Russell's contention that "That all traditional pure mathematics can be derived from the natural numbers is a fairly recent discovery, though it had long been suspected" (1919:4). The derivation of the real numbers (rationals, irrationals) derives from the theory of Dedekind cuts on the continuous "number line". While an example of how this is done is useful, it relies first on the derivation of the natural numbers. So, if philosophic problems appear in the logistic attempt to derive the natural numbers, these problems will be sufficient to stop the program until these are fixed (see Criticisms, below).
Read more about this topic: Logicism
Famous quotes containing the words construction, natural and/or numbers:
“There is, I think, no point in the philosophy of progressive education which is sounder than its emphasis upon the importance of the participation of the learner in the formation of the purposes which direct his activities in the learning process, just as there is no defect in traditional education greater than its failure to secure the active cooperation of the pupil in construction of the purposes involved in his studying.”
—John Dewey (1859–1952)
“The Reverend Samuel Peters ... exaggerated the Blue Laws, but they did include “Capital Lawes” providing a death penalty for any child over sixteen who was found guilty of cursing or striking his natural parents; a death penalty for an incorrigible son; a law forbidding smoking except in a room in a private house; another law declaring smoking illegal except on a journey five miles away from home,...”
—Administration for the State of Con, U.S. public relief program (1935-1943)
“What culture lacks is the taste for anonymous, innumerable germination. Culture is smitten with counting and measuring; it feels out of place and uncomfortable with the innumerable; its efforts tend, on the contrary, to limit the numbers in all domains; it tries to count on its fingers.”
—Jean Dubuffet (1901–1985)