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

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.


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.

| improve this answer | |
  • 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
  • @Casey: Many texts on logic work within a meta-system without ever explicitly stating it. For standard logic texts, you can assume that ZFC suffices if they do not say otherwise. See my answer for more details about the whole spectrum of foundational systems. – user21820 Aug 1 at 14:37

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.

| improve this answer | |
  • 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

If you are a formalist, then you have no choice but to consider a statement like "N is a model of PA" as being merely a symbolic string expressed within your chosen foundational system, typically called a meta-system (MS) when we are discussing formal systems. Note that MS can prove this statement only if MS already has sufficient assumptions (axioms or inference rules). For example, the system ACA0 is expressive enough to talk about and perform basic reasoning about countable FOL theories and countable structures, such as being able to prove that consistency is equivalent to existence of a model, but it is unable to prove Con(PA) and hence also cannot prove the existence of a model of PA. On the other hand, ACA (which is equivalent to ACA0 plus the full induction schema) can prove both. If your MS is something like ZFC, you can define N as some specific FOL structure whose domain is ω (the subset of the inductive set given by the Infinity axiom that is contained in every inductive set) and then prove that N is in fact a model of PA. All this is done within MS, so ultimately all you get is just some string of symbols that represents a proof over MS but is devoid of meaning.

I submit that no mathematician can validly hold a (pure) formalist stand, because we have very strong empirical evidence in the meaningfulness of PA at human scales. Nevertheless, you may have quite good reason to be a formalist regarding mathematics involving higher set theory, given that there is no clear ontological justification for ZFC, as had been recognized by careful logicians including Boolos. It is extremely unfortunate that most mathematicians are unaware of the vastness of the spectrum of viable foundational systems for mathematics, that the term "formalist" almost always is meaningless. For reference, here is a simple hierarchy in drastically increasing order of (consistency) strength:

PA = ACA0 < ACA ≪ ATR ≪ Z2 ≪ BZC ≪ ZFC.

ATR = arithmetic-transfinite-recursion (roughly the predicative limit)
Z2 = full (impredicative) second-order arithmetic
BZC = bounded Zermelo set theory with choice (bounded meaning quantifier-free comprehension)

You would have to look carefully at each system to determine up to where in the spectrum you are comfortable believing its meaningfulness (i.e. realist up to that point) and from where up you cannot convince yourself to be a realist (i.e. you can be formalist from that point onwards).

| improve this answer | |

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.