Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The Foundation of mathematics

  1. Apr 16, 2008 #1

    gop

    User Avatar

    Hi

    I'm reading some stuff about proof theory and set theory right now and one question comes to my mind.

    Set theory is defined in terms of FOL (First Order Logic). Nevertheless, when we "define" first order logic we already have the notion of a "domain of discourse", which is basically the same as a set. We also can't say "everything" is the domain of discourse because then we would need a universal set in set theory which doesn't exist (at least not in ZFC)
    But then, we are defining one thing in terms of the other without knowing what the other is.

    Isn't that sort of circular reasoning?
     
  2. jcsd
  3. Apr 17, 2008 #2
  4. Apr 17, 2008 #3

    gop

    User Avatar

    well then the question would be isn't that a problem?

    I mean how can we be sure that any proof is valid if we have to look at any quantifier and say okay that means "all x in the domain of discourse" but then we look up what it means that "x is in the domain of discourse" and we get another quantifier...
     
  5. Apr 17, 2008 #4

    CRGreathouse

    User Avatar
    Science Advisor
    Homework Helper

    Sets are one of the basic undefined terms of mathematics. Anything fitting the characteristics of a set (contains objects not counting duplicates) can be considered a set. The same goes for point, line, etc.
     
  6. Apr 17, 2008 #5

    gop

    User Avatar

    Yes that would sound logical to just say okay that is a set the same way as we say okay this is a predicate and it has to be either true or false (in FOL).

    Hmm, so we have the primitive notion of a set to model the domain of discourse but we don't really say how that set can be constructed (Thus, Russels paradox i.e. is not a problem because we assume that we already have a well defined set).

    Then, when we have FOL we build ZFC (which enables a rigerous treatment of how to construct well-formed sets) which then in turn enables us to constructs sets like the natural numbers etc..

    Is this correct?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?