User talk:Whayes43

Frege’s theory of arithmetic

Frege, by virtue of his work creating predicate logic, is one of the founders of modern (mathematical) logic. His view was that mathematics is reducible to logic. His major works published with the goal of doing this are these:

• in 1879 -- Begriffsschrift, defining his “axiomatic-deductive” predicate calculus for the ultimate purpose of proving the basic truths of arithmetic "by means of pure logic."
• in 1884 -- Die Grundlagen der Arithmetik, using his predicate calculus to present an axiomatic theory of arithmetic.
• in 1893/1903 -- Die Grundgesetze der Arithmetik, presenting formal proofs of number theory from an intuitive collection of axioms.

As we have seen, Boole’s developed his algebra of logic as a means by which deduction becomes calculation. Frege's predicate calculus in the Begriffsschrift stood Boole’s purpose on its head:

• Frege’s goal: “to establish ... that arithmetic could be reduced to logic” and, thus, to create a logic by means of which calculation becomes deduction
• Frege’s program: to develop arithmetic as an axiomatic system such that all the axioms were truths of logic

Driven by “an over-ruling passion to demonstrate his position conclusively” and not “content with the usual informal mathematical standard of rigour,” Frege’s exposition in Grundgesetze is characterized by a great degree by precision and explicitness.

Frege gave the following reason for developing his logic as he did:

Because we cannot enumerate all of the boundless number of laws that can be established, we can obtain completeness only by a search for those which, potentially, imply all the others.

Frege identified as the kernel of his system the axioms (laws) of his logic that potentially imply all the other laws. His statement above implies that he thought his system to be complete, though he did not provide either a precise definition of completeness or a proof that his system was actually complete.

Frege began the introduction of numbers into his logic by defining what is meant by saying that two $Numbers$ are equal:

two concepts $F$ and $G$ are equal if the things that fall under them can be put into one-one correspondence

From this he arrives at the notion that “a $Number$ is a set of concepts”:

the $Number$ that belongs to the concept $F$ is the extension of the concept “equal to the concept $F$”

Frege then continues as follows:

• he defines the expression

“$n$ is a $Number$”

to mean

“there exists a concept such that $n$ is the $Number$ that belongs to it.”

• he defines the $Number$ $0$ as

“the $Number$ that belongs to the concept “not identical with itself”

• he defines the $Successor$ relation

$n$ follows in the series of $Numbers$ directly after $m$ :to mean ::::there exists a concept $F$ and an object falling under it, $x$, such that ::::::the $Number$ belonging to the concept $F$ is $n$ ::::and ::::::the $Number$ belonging to the concept “falling under $F$ but not equal to $x$ is $m$ * he defines the $Number$ $1$ as ::::“the $Number$ belonging to the concept ‘identical with $0$’” :from which it follows that ::::$1$ is the $Number$ that follows directly after $0$ * he then proves several propositions regarding the $Successor$ relation ::* the $Successor$ relation is 1-1 ::* every $Number$ except $0$ is a $Successor$ * finally, he gives a sketch of a proof that :::every $Number$ has a $Successor$ :using definitions of $series$ and $following$ $in$ $a$ $series$ from his earlier work of 1879. Central to all of this work was a distinction that Frege was developing, but only finally published in 1892 and incorporated in the ''Grundgesetze'', namely, that every concept, mathematical or otherwise, had two important, entirely distinct aspects:'"`UNIQ--ref-00000006-QINU`"''"`UNIQ--ref-00000007-QINU`"' # ''Sinn'': a “meaning” or “sense” or “connotation” # ''Bedeutung'': an “extension” or “reference” or “denotation” This distinction of Frege's is the basis of what Gödel (many years later) characterized as the ''dichotomic conception'':'"`UNIQ--ref-00000008-QINU`"' ::Any well-defined concept (property or predicate) $P(x)$ establishes a dichotomy of all things into those that are $P$s and those that are non-$P$s. :In other words, ::a concept partitions $V$ (the universe of discourse) into two classes: the class $\{ x : P(x) \}$ and its absolute complement, the class $\{ x : \neg P(x) \}$. Underlying this notion are two key assumptions: # the existence of a ''Universal Set'', $V$ -- what we have seen as Dedekind’s ''Gedankenwelt'' # the unrestricted principle of ''Comprehension'' -- ''any'' well-defined property determines, a set. For “naïve” set theory, these two assumptions are equivalent and either one of them suffices to derive the other: * to derive ''Universal Set'' from ''Comprehension'': ::::replace $Φ(x)$ by a truism, such as the property $x = x$. * to derive ''Comprehension'' from the ''Universal Set'': ::assume an all-encompassing set $V$, ::::note that any part of $V$ is also a set, ::::and that any well-defined concept $P(x)$ defines a subset of $V$, ::therefore the set $\{ x : P(x) \}$ exists! To these two assumptions, add Dedekind's principle of ''Extensionality''. Frege intended the ''Grundgesetze'' to be the implementation of his program to demonstrate “every proposition of arithmetic” to be ”a [derivative] law of logic.” In this work of 19 years duration, there was no explicit appeal to an ''unrestricted'' principle of Comprehension. Instead, Frege's theory of arithmetic appealed to Comprehension by virtue of its symbolism, according to which for any predicate $Φ(x)$ (concept or property) one can form an expression $S = \{ x : Φ(x)\}$ defining a set. Frege's theory assumes that (somehow) there is a mapping which associates an object (a set of objects) to every concept, but he does not present comprehension as an explicit assumption. All of this is in contrast to the use of restricted predicates in Cantor's early theory of sets.

Primary sources

• Frege, G. (1879). Begriffsschrift ..., [“Conceptual Notation …”, English translation by T W Bynum, Oxford University Press, 1972].

• Frege, G. (1884). Die Grundlagen der Arithmetik, [The Foundations of Arithmetic, English translation J L Austin, Basil Blackwell, 1968].

• Frege, G. (1892) Uber Sinn und Bedeuting, [“On Sense and Reference,” Translations from the Philosophical Writings of Gottlob Frege, Geach and Black (eds.) Blackwell, 1960, pp. 56-78].

• Frege, G. (1893) Grundgesetze, [The Basic Laws of Arithmetic, English translation by M Firth, University of California, 1964].

References

• Azzano

• Ferreiros “Hilbert, Logicism, and Mathematical Existence”

• Gillies

• O’Connor and Robertson