Results 1 to 4 of 4

Math Help - Book recommendation for beginning statement logic?

  1. #1
    Newbie panglot's Avatar
    Joined
    May 2011
    From
    Carbondale, IL
    Posts
    13

    Book recommendation for beginning statement logic?

    Hello All,

    I am preparing to study mathematical linguistics and I must first master elementary statement and predicate logic. I have absolutely no background in formal systems or logic, and I would need an introductory text that assumes no previous knowledge of such things. Can anyone recommend a book on this topic that (preferably) includes exercises and would cover at least the following points:

    *Logic syntax and semantics
    *Tautologies, contradictions, contingencies
    *Natural deduction?

    If possible, one available in pdf form would be wonderful!

    Thank you very much in advance for any recommendations.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    May 2011
    Posts
    10

    Recommendation: The Schaum's Outline of Logic

    The Schaum's Outline of Logic covers all of those. I don't believe it uses the term "natural deduction", but it does develop a natural deduction system of deduction. I don't think it contains the term "contingency", but as soon as you talk about tautologies and contradictions, and realize some wffs in logic are neither tautologies nor contradictions, those wffs come as contingencies. The Schaum's Outline of Logic also has a lot of solved problems, making it excellent for self-study or beginning study.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    May 2011
    From
    Sacramento, CA
    Posts
    165
    Quote Originally Posted by panglot View Post
    If possible, one available in pdf form would be wonderful!
    I know the University of California, Davis, philosophy department has one they use for the introductory courses. From what I recall, glancing over its files, it covers the basics. The things you list are typical in any introductory text.

    UC Davis: Logic Primer : A Modern Formal Logic Primer

    Just click on the link to the files at the bottom of the page.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    A Plied Mathematician
    Joined
    Jun 2010
    From
    CT, USA
    Posts
    6,318
    Thanks
    4
    Awards
    2
    Quote Originally Posted by panglot View Post
    Hello All,

    I am preparing to study mathematical linguistics and I must first master elementary statement and predicate logic. I have absolutely no background in formal systems or logic, and I would need an introductory text that assumes no previous knowledge of such things. Can anyone recommend a book on this topic that (preferably) includes exercises and would cover at least the following points:

    *Logic syntax and semantics
    *Tautologies, contradictions, contingencies
    *Natural deduction?

    If possible, one available in pdf form would be wonderful!

    Thank you very much in advance for any recommendations.
    I'm a fan of Barwise and Etchemendy's Language, Proof and Logic. It has some very nice accompanying software and has clear explanations. This is a symbolic logic text. If you want general logic, I'd probably go with Copi and Cohen.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Book Recommendation
    Posted in the Math Topics Forum
    Replies: 2
    Last Post: May 22nd 2011, 10:39 AM
  2. Linear Systems First Book Recommendation
    Posted in the Advanced Applied Math Forum
    Replies: 5
    Last Post: December 18th 2010, 12:32 PM
  3. Replies: 7
    Last Post: October 30th 2010, 02:55 PM
  4. Book Recommendation
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: August 3rd 2010, 11:56 AM
  5. Need recommendation for self teaching book
    Posted in the Trigonometry Forum
    Replies: 2
    Last Post: August 16th 2008, 05:50 PM

Search Tags


/mathhelpforum @mathhelpforum