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

Good books in Set theory and Mathematical Logic

  1. Dec 12, 2008 #1
    I am more precisely looking for a book on mathematical logic which presupposes only minimal exposure to set theory. Preferably something which includes an introductory chapter delineating relevant set theoretic principals.

    I am familiar with only basic set theory. More precisely this means that I understand the following concepts:Power sets, relations, functions, classes, union, intersection, ordered tuples. I know some group, ring and field theory.
  2. jcsd
  3. Dec 12, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    as far as i know, mathematical logic, such as espoused in the book of say W.v.O.Quine, does not presuppose any set theory at all.
  4. Dec 12, 2008 #3
    I don't know if Quine's book is adequate. It seems that modern mathematical logic not only requires set theory, but is built entirely upon it. This is exemplified by an example from J.D.Monk's book on the subject (I picked it up in the small library in my uni's math building):A first order language is defined to be a quadruple 'L'(fancy cursive L)= (L,v,O,R) with the following properties:
    (i)L,v,O and R are functions such that RngL, Rng v(range of v), Dmn(domain)O, and Dmn R are pairwise disjoint.
    (ii)DmnL=5,and L is one-one, L0 is the negation symbol of 'L',L1 is the disjunctive symbol of 'L',L2 the conjunctive symbol and L4 the equality symbol. Ect....
  5. Dec 14, 2008 #4


    User Avatar
    Gold Member

    Since it isn't stated what the OP wants to learn of logic here are two sorts of answers.

    1) To learn some of the ideas of logic in a less formal manner perhaps consider Graham Priest's "Logic: A Very Short Introduction".

    2) To learn mathematical logic, then reasonable set theory texts are Lawvere "Sets for Mathematics"; and Suppes "Axiomatic Set Theory". For mathematical logic the two texts that I have found most useful are Ebbinghaus, Flum and Thomas "Mathematical Logic" (a Springer undergraduate text). The other text is a bit more advanced, J. R. Schoenfield "Mathematical Logic" more on model theory and first-order theories, not so much proof theory. Even though Schoenfield was first published in 1967 it is still quite fresh. Quine on the other hand is a bit dated.
  6. Dec 14, 2008 #5
    Thanks, I decided to pick up eddinghaus already. I already know all of the material in Quine's Methods of Logic and had assumed Quine's treatment would be a bit dated. I am hopefully going to take a grad level sequence mathematical logic courses my junior and senior years. I suspect that since there is not an undergraduate course offered at the school, it will be more like an undergrad course.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook