Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

So, as someone whose knowledge of mathematics has always come from studying it with an eye towards philosophical/foundational issues and studying it with other philosophers (who are not primarily practicing mathematicians) I am curious as to what lessons mathematicians draw from the existence of non-standard models.

Within philosophical circles it seems to be the consensus (or at least a fairly popular view) that what non-standard models show us is something about the limits of formalization. For instance, Haim Gaifman in a lecture delivered to the AMS Special Session Nonstandard Models Of Arithmetic And Set Theory (January 15-16, 2003, Baltimore, Maryland) notes the following:

If set theory is about some domain that includes uncountable sets, then any countable structure that satisfies the formalized theory must count as an unintended model. From the point of view of those who subscribe to the intended interpretation, the existence of such nonstandard models counts as a failure of the formal system to capture the semantics fully.

Now among those who subscribe to this sort of view, they tend to take the failure of categoricity in a first-order theory of Peano Arithmetic to show us that it is a second-order formulation of Peano Arithmetic which is needed. I've always taken this to result from a view that it is the semantic, rather than the syntactic, side of mathematical theorizing which holds some primacy. Often this is coupled with a view taken from Hilbert that mathematical theories (at least those that seem to have an intended interpretation) implicitly define some concept or some structure which various isomorphic models satisfy. On this sort of view, it is the concept which is of primary interest and the deductive systems are a means to discover a bit about (but generally, for reasons of incompleteness, only a bit about) what, for lack of a better word, you might call the nature of this concept.

TL;DR What lessons have mathematicians drawn from the existence of non-standard models?

share|improve this question
    
Why draw lessons from them at all? They’re interesting objects of study in their own right, and sometimes useful tools. Apart from that, I agree (vehemently, if not violently!) with @André’s comment. –  Brian M. Scott Apr 8 '13 at 5:10
    
@BrianM.Scott Deleted then. It seems that it doesn't add anything and merely distracts from what I am actually interested in. Many apologies for stating what seems now to be certainly a naive and misinformed impression. –  Dennis Apr 8 '13 at 5:22
7  
The question about non-standard models is interesting. For most mathematicians, they are of no particular interest, mathematics is very diverse. For some, they tell us more about the world, just like continuous functions with "pathological" properties do. –  André Nicolas Apr 8 '13 at 5:25
2  
In my humble opinion, mathematicians are better at using tools than drawing lessons. Non-standard models are useful as tool, and one might even risk a statement that tools is precisely what they are. For instance, if you want to prove a first-order statement about "the" reals, it might be useful to use a non-standard model that offers infinitesimals (and then shift back to whatever model is "standard"). Generally, I would say that existence of non-standard models tells us that there are a lot of models that approximate the standard one pretty well. –  Feanor Apr 8 '13 at 7:48
6  
I don't understand the question. Can you give an example of a lesson? What are they for? –  Qiaochu Yuan Apr 8 '13 at 8:06
show 4 more comments

1 Answer

I do not know about any lessons, but the conclusions are pretty much agreed. As you said, it implies that first order formal systems are not strong enough to model a single "structure" (or model). Because of Godel incompleteness theorem you will always have additional models than the one you intend to formalize. On the other hand, almost everybody agrees that going to full second order logic (and fixing the semantics) is not a solution either, because second order systems have a lot of problems of their own (there is a trade off), for instance, Quine pointed to the lack of a complete proof system as a reason for thinking of second-order logic as not logic, properly speaking. In the end, what this means depends on you philosophical point of view. If you are a Platonist, it means that no formal system will be capable of proving all the truths of the structure of your choice (for instance, N). If you are a nominalist, it means that, at least in practice, first order formals systems describe an infinite number of "structures" (or models) (you would need a non-recursive enumerable infinite number of axioms to pinpoint a single model).

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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