15

I recently asked a question about the fact that logic and set theory seems circular. link

I got a lot of good and thoughtful answers, that probably explain everything, but I must admit I did not understand them all (not the fault of any of the people who answered). So I am wondering if someone can check the "recipe" I have below, and if this is a sufficient or ok way to view the construction of mathematics?

  1. Before creating mathematical logic we just have to know what some something means. We assume we know these things:

    1.1 We know what a string is, and we know what symbols is. We also know what ordered sequences of symbols is, even though we have not formalized what it is.

    1.2 We can talk about function symbols and relation symbols, and we know that there are rules when writing these things. But we have not yet made a formal definition of functions and symbols.

    1.3 We know what the equality symbol is, and we create rules on how to use it in our logic language. But we do not have any more precise definition of what it is, other than a symbol, and our own intuitive meaning.

    1.4 We have an idea about the natural numbers, and we are allowed to use these as symbols, even though we have not created them.

    1.5 We can use the induction principle on proving things about our logical language. We assume that if something holds for "the base"-object, and if something should hold for an arbitrary object then it also also for its "successor", then it must hold for all the objects starting with the base-object and all the successors. We just assume that this holds, and that we can use it?

  2. We then create the language of mathematical logic.

  3. We create set-theory:

    3.1 Here we formalize ordered pairs in terms of sets.

    3.2 We formalize what a function and a relation is in terms of sets (cartesian-product etc.).

    3.3 We formalize equality as a particular relation.

    3.4 We define and create the natural numbers in terms of sets.

    3.5 We create an axiom of mathematical induction in terms of the natural numbers? In other words, we assume that induction holds, just as we did before we created the logical language?

And hence we do not have any circularity in using set theory before it was created?

Is this a correct way to view the construction of mathematics? If it is wrong I would love answers, but I would very much love answers in a list form, where it is explicitly stated what we do from the start and where we end up etc..

AJSF
  • 19
user119615
  • 10,622
  • 6
  • 49
  • 122
  • 3
    Correct? That depends on who you asked. I'm sure that there are prominent mathematicians on pretty much every opinion on the spectrum of "This is very wrong" to "That's the right way". And several others which are not on that spectrum at all. – Asaf Karagila Jun 24 '15 at 20:26
  • @AsafKaragila Thank you. I guess another way would be to ask if this in some way explains why it is allowed to use elements of set theory in creating mathematical logic, before set theory is created. I understand there are many ways of doing this, and that we probably can view the foundation of mathematics in many different ways. Put another way maybe: Is this an "ok" explanation to explain why books on mathematical logic are allowed to use the terms/objects/words in section 1., before set-theory is created? – user119615 Jun 24 '15 at 20:55
  • Yes. This is how set theory is used to investigate models of set theory. We formalize the theory internally to a mathematical theory that will provide us with formal and nice tools to simplify some of the work which will be tedious and boring otherwise. – Asaf Karagila Jun 24 '15 at 20:58
  • @AsafKaragila When you say "models of set theory", can this mean all of mathematics, that this is what you do to investigate mathematics? And with forming the theory internally, do you mean that we use the theory as help to create a formal langugage(logic), and then we formalize the set-theory with the help of logical language? Sorry for beeing a little slow. – user119615 Jun 24 '15 at 22:02
  • Your recipe seems to be good. But what are you going to do with power-sets? You haven't mentioned them at all. If you accept existence of the exponentials $A^B$, you accept existence of power-sets as well. – Cohesion Jan 27 '19 at 12:34
  • Power-sets may cause a lot of troubles. – Cohesion Jan 27 '19 at 12:40
  • Are you describing 'construction' of mathematics or set theory, specifically? – AlvinL Jun 05 '20 at 16:50
  • We start out with a context-free grammar. We add a bit of meaning, and inference rules about how we can manipulate the symbols in our context free grammar. Sets are part of first-order logic, Second-order logic we build up from propositions, up to predicates, we then add in quantification, and qualification etc. – Roddy MacPhee Apr 03 '21 at 23:53
  • @user119615 Sorry, isn't mathematical induction a theorem once we take existence of an inductive set as given? – Jaspreet Jul 18 '21 at 18:10
  • Researching the ZFC axioms may be helpful for finding the answer to your question. Here is a Wikipedia page on the ZFC axioms: https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory . – MathGeek Aug 23 '21 at 13:41

1 Answers1

1

You are mixing up two things which are similar only by pure coincidence. The meta-language, and the study of mathematical logic.

In mathematics, generally, we use the meta-language, to formalize and model something, either from some platonic idealistic world or from our universe. This is the language you describe as the things we assume exist, the very primal things like finite strings and so on. We don't actually assume their existence, these are our tools for building new mathematical objects.

The study of mathematical logic, on the other hand, is taking small slices of this meta-language, and using the very tools created by the meta-language, to study these slices and gain insight, the same way we do with the movement of planets. (Remember Gödel, we can't really take everything in one go!).

Jason
  • 662
  • 1
    I agree in general, but I wouldn't say "pure coincidence". We are thinking about our own thinking, so we usually want what we build to resemble the way we already think. (Or we might also look at whether the same tools could build something different from that way we usually think.) – aschepler Oct 31 '22 at 14:22
  • Yes, you are probably right. Kind of a stretch. – Jason Oct 31 '22 at 20:29