First Course in Mathematical Logic

by Patrick C. Suppes, Shirley Hill

Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. 1964 edition. Index.

Genres: Mathematics, Nonfiction, Philosophy, Science, Logic

288 pages, Paperback

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.