4

In my book (Hodel's Intro To Mathematical Logic), we are given several examples of formalized mathematical theories such as group theory, Peano arithmetic, etc. But I've had this ongoing confusion: the formal system can generate theorems, but then the book goes on to talk about particular interpretations that we can provide for the symbols of the language. For example, we are given the standard interpretation N of PA for Peano Arithmetic where we're given a domain of natural numbers, a 0 interpreted as the number zero of the natural numbers, etc.

My confusion is that numbers don't exist 'out there' like tangible things do. It's easy for me to see how a sentence Pa is true in an interpretation where a=John and P='is a person', but not so much for numbers.

So: What does the book mean when we provide the standard interpretation (i.e. what is it that we are interpreting)? What do we mean when we speak of "truths of arithmetic" that lies outside of the formal theory of Peano Arithmetic? Are the numbers (and their operations) defined outside of the system or something?

p.s. this is especially confusing considering I would call myself something like a fictionalist, or formalist, or something of that nature.

  • Numbers aren't tangible; but we do understand them pretty well; I mean their ordinary arithmetic properties. So we can just take the set of numbers for the model. – Mozibur Ullah Sep 3 '14 at 2:23
  • Your question is a good one : the problem of existence of mathematical objects is the key problem in Philosophy of Mathematics since Plato and Aristotle. But for "us" mathematicians, the numbers exists in some sense of the word, not yet well understood; thus, it make sense to speak of them. – Mauro ALLEGRANZA Sep 3 '14 at 6:28
3

You are correct that until we know there are numbers, we have a formal theory but not yet any domain where the theory can be interpreted.

There are two ways to go with this.

1) It's clear that we all know what the natural numbers are. Even if we don't have a formal theory about them, it's clear that they satisfy PA and are therefore a domain in which we can interpret the axioms and theorems of PA.

2) We can formalize the axioms of set theory, say Zermelo-Fraenkel (ZF). Then the concept "exists" means "can be shown to exist from the axioms of ZF." Then we can say that the empty set stands for zero, and the set containing the empty set is 1, and so forth. The objects of this construction are known as the Von Neumann ordinals.

http://en.wikipedia.org/wiki/Ordinal_number#Von_Neumann_definition_of_ordinals

Now we can verify that the numbers 0, 1, 2, ... as defined by Von Neumann, satisfy PA; and therefore we have a set in ZF that can serve as a domain of interpretation for PA.

The same thing is often done pedagogically with the real numbers. The usual procedure is to list the properties of the real numbers such as the commutativity of addition, the distributivity of multiplication over addition, and so forth. That's good enough for calculus class and lets you do everything you need to.

In a math major class called Real Analysis, they'll show that you can start with the rational numbers, and construct a model of the real numbers using Dedekind cuts or Cauchy sequences. They show that to the students once, and from then on everyone forgets about it and just uses the properties of real numbers.

In practice it turns out that most of the time nobody cares about the ontology of mathematical objects. All you need is their properties.

But ultimately you're right, if we're going to be logically comprehensive it's not enough to write down the axioms of PA; we have to show that we can formalize something that satisfies them; and that's where the Von Neumann construction comes in.

  • Mathematically good answer ... but, from a "philosophical point of view", if I need a "proof" about the existence of numbers, why their "construction" in a theory which assume the existence of sets can be more ... satisfactory ? – Mauro ALLEGRANZA Sep 3 '14 at 6:30
  • @MauroALLEGRANZA What would such a proof look like? How can I possibly prove that the number 3 exists? It's an abstract concept, you'd have to say that abstract concepts can exist. You'd never get to the bottom of that. You could write a library of books and never have a full formal proof, because proofs always start with assumptions. – user4894 Sep 3 '14 at 15:56
  • @ Mauro ALLEGRANZA. I'm actually not all too concerned with the ontological status of numbers. I had in mind perhaps something like a construction of symbols outside of the formal theory where we can use that as the interpretation. The book seemed to just assume that the numbers exist without any explanation though, so it left me confused. User4894's answer gives me some insight tho; I'll look more into it. (Yours is good as well, lol.) – Casey Sep 3 '14 at 16:21
  • I agree with you; my comment is aimed to the question of the OP : "My confusion is that numbers don't exist 'out there' like tangible things do." Neither sets. So every interpretation of number theory must assume that "makes sense" to speak of a universe of astract objects : sets or number. This is the meaning of my distinction between a "mathematically" good answer which is not "philosophically" so good ... – Mauro ALLEGRANZA Sep 3 '14 at 16:22
2

We have several issue "hidden" in your question ...

What does the book mean when we provide the standard interpretation (i.e. what is it that we are interpreting)?

A formal theory needs a language, made of :

  • symbols (the alphabet)

  • formation rules (the grammar) defining what strings of symbols are "allowed".

Thus, when we "interpret" a mathematical theory we are interpreting its language; as is the case for natural language, when we use it we assume that our statements have meaning, i.e. they "speak of" something.

What do we mean when we speak of "truths of arithmetic" that lies outside of the formal theory of Peano Arithmetic?

As you said, we can stay with the formalist or the fictionalist points of view : mathematics is only a game, like "chess".

But these points of view conflicts with the above approach : the game of chess is not a language "speaking of" something, while the "inner feeling" of mathematicians is that their theories have some sort of reference.

Are the numbers (and their operations) defined outside of the system or something?

Thus the issue is : what is the reference of a mathematical theory like arithmetic, which seemingly "speaks of" numbers ?

Where are they ? What kind of reality they have (if any) ?

The platonist and the naturalist points of view try to address - with limited success - the issue of the reality of abstract mathematical objects whose existence is independent of us and our language.

  • Wait...I had been thinking about your response. Would a formalist say that the formal theory is all that there is? That theories don't refer to anything (have interpretations)? That, if anything, the objects we might call numbers (or, even just symbols), are generated by the formal theory? Originally, prior to my recent studies in mathematical logic, I took it that a formal system was simply an object that didn't refer to anything, but I got side-tracked from this view when studying formal languages, interpretations and theories. – Casey Sep 4 '14 at 16:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.