First Course in Mathematical Logic

by Patrick C. Suppes, Shirley Hill

In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities.

Genres: Mathematics, Nonfiction, Philosophy, Science, Logic

488 pages, Kindle Edition

First published January 1, 1964

Reviews

[Stephen · Rating 5 out of 5]

The exercises in the beginning reminded me of grammar exercises from the 1st grade--so fun. I do not remember ever having a class in logic, even though I was tutoring students in the course for a couple of years. This book is not just for mathematicians, but for anybody interested in understanding logical arguments (No mathematical experience is necessary -- NONE, seriously). I would honestly recommend anyone in Law school to take a peek at this book; if they are not able to do the proofs, then perhaps they should choose another line of work.

[João Vaz · Rating 4 out of 5]

Great fun! Highly recommend it to anyone interested in making their arguments bulletproof or in how to prove that 1+1 = 2.

[Logan Borges · Rating 4 out of 5]

Great in the beginning but starting from chapter 6 you have to make certain jumps that aren't explained or showcased early on. Had they been accounted for, this would have been a perfect 5 stars.
One may benefit from reading Suppes' "Introduction to Logic" before jumping into this, at least for the everything from chapter 6 and upwards.

Despite my gripes with the chapter 6 and above, everything before it is presented perfectly. One could not find a more clear guide to learning and practicing mathematical logic than this. I would still buy this despite my current rating.