» » Introduction to Logic (University Series in Undergraduate Mathematics)
Download Introduction to Logic (University Series in Undergraduate Mathematics) epub book
Author: Patrick Suppes
ISBN13: 978-0442080723
Title: Introduction to Logic (University Series in Undergraduate Mathematics)
Format: lit txt mbr azw
ePUB size: 1823 kb
FB2 size: 1766 kb
DJVU size: 1495 kb
Language: English
Category: Philosophy
Publisher: Van Nostrand Reinhold Company; 1st Edition edition (December 1957)
Pages: 330

Introduction to Logic (University Series in Undergraduate Mathematics) by Patrick Suppes

Series: University Series in Undergraduate Mathematics. Hardcover: 320 pages. Mendelson's Introduction to Mathematical Logic was the textbook for a logic-course I took a couple of years ago. At the time I did not like the book at all. It seemed too difficult and so typographically ugly that I thought I would never use it. Things have changed though. Now, I keep it close at hand on my desk and use it almost every day. Technical questions that used to require a trip to the library and several different books to answer, can usually be resolved by a look in Mendelson's book.

A Short Introduction to Intuitionistic Logic (The University Series in Mathematics). Download (pdf, . 2 Mb) Donate Read. Epub FB2 mobi txt RTF. Converted file can differ from the original. If possible, download the file in its original format.

The Journal of Symbolic Logic. Introduction to mathematical logic. The University Series in Undergraduate Mathematics, D. Van Nostrand Company, In. Princeton, New Jersey, Toronto, New York, London, 1964, x + 300 pp. Reprinted with corrections, ibid. January, 1966, x + 300 pp. Dirk van Dalen.

Carter, M. and van Brunt, . he Lebesgue-Stieltjes integral: a practical introduction (Undergraduate Texts in Mathematics, Springer, 2000), ix+228 p. 0 387 95012 5 (hardcover), £3. 0 - - Volume 44 Issue 3 - I. TWEDDLE. June 2010 · Bulletin of Symbolic Logic. Givant Steven and Halmos Paul. Introduction to Boolean algebras.

Intuitionistic logic is presented here as part o. ore. Shelve A Short Introduction to Intuitionistic Logic.

This book has been written primarily to serve as a textbook for a first course in modern logic. No background in mathematics or philosophy is supposed. My main objective has been to familiarize the reader with an exact and complete theory of logical inference and to show how it may be used in mathematics and the empirical sciences. Part I (the first eight chapters) deals with formal principles of inference and definition.

University Series in Undergraduate Mathematics. Axiomatic Set Theory.

Introduction To Mathematical Logic (University Series In Undergraduate Mathematics). nisbn: 0412808307n

Coherent, well-organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories.
Reviews: 7
It is incredible how some books, written long ago, are still useful. Well, Suppes' «Introduction to Logic» is one of those rare specimens.
I bought it looking for a book that could make my students think for themselves as well as getting excited by the wonderful subject which is logic (deductive reasoning). Its explanations are very clear and solid. The first part which covers propositional and first order logic is presented quite extensive and rigorous. The downside is that there is no metatheory, i.e. there are no proof of the important theorems. This could be understandable since the book has for primary audience first year undergraduates. Another downside of this book is that a large part of the exercises are very difficult to solve because the theory that preceeds them is not enough to know how to proceed. I mean this: at the end of every chapter there are exercises, the problem is that a great amount of these exercises require to know more theory than what is there.
Part II, naive set theory, is delightful. The chapter on functions is just very stimulating. For anyone curious, without mathematical background, to know some set theory this part is suitable. It has one of the downsides of Part I, some exercises are not easy to solve since the theory given is not enough. Nevertheless, the presentation is quite good. Anyone interested in a rigorous set theory can buy the author's «Axiomatic set theory».
Even though I have mentioned some cons of Suppes' book, I still considered it as one of its kind. I mean, it may have no metalogic, but it is still a competent book.
I am enjoying working through this book, but as others have indicated, you should not attempt this book unless you have a fair amount of logic under your belt. I have just finished the chapters on natural deduction for predicate and propositional logic and the instruction is lacking. I have taught this subject at the college level since the fall of 1989 so that is not a problem for me. But without my background, I would be lost. Otherwise, the end of chapter exercises are interesting, and the range of subjects covered is impressive.
As someone interested in the foundations of math I own several logic books including Mendelson and Hilbert. My two favorites were written by philosophers: "A Profile of Mathematical Logic" by Howard Delong" and this book by Suppes. Every math major can benefit from seeing philosophical treatments as well as mathematical treatments. For what it covers (including basic set theory!) Suppes' book is the best.
Rocky Basilisk
It is Thanksgiving in America today and I thought it fitting to leave a review of this excellent book. Patrick Suppes died two days ago at the age of 92. Suppes comes from a tradition of brilliant philosophers who excelled in many fields (most notably mathematics and logic in Suppes' case). His body of work, which can be found at Standford (suppes-corpus), is truly remarkable. This book, along with his Set Theory book were staples in my educational foundation. There are many great logic texts available, but over the decades I've found no logic book more useful for applying logical/critical thinking in both non-mathematical and mathematical contexts. Both books are challenging and require effort from the reader, but 100 pages into both and you'll notice how differently you think and how problems in other books/contexts become tractable. In regards to his Set Theory book, only Enderton's book is on par, imho.

So much more can be said, but I'll close by stating that I'm thankful for Suppes' lifelong dedication and simply want to acknowledge the contribution it has made in my intellectual and professional development.
I recommend this book to philosophy students who study philosophical logic and wish to get into mathematical logic. The system of natural deduction he uses is not explained in much detail, but as long as you have learned at least one system of natural deduction and perhaps even the tree method of proof, you should be fine. His definitions and explanations of terms and of how one develops logical rules are excellent. There is also a treatment of informal proof methods that mathematicians use, a section on basic set theory, and a section on axiomatizing scientific theories--the latter hinting at some of Suppes' own philosophical ideas.
Learn to use logic and think logically and you'll see everything differently than you do now. Patrick's book puts it in perspective.
This is an excellent introductory book on Logic. The author uses a constructive reasoning throughout the entire book.
Suppes is a reference in the foundations of Maths (Logic and set theory). This Introduction to Logic is actually an introduction to his "Axiomatic Set Theory", a reference on the topic. His language is clear, and yet mathematically precise.
Nice purchase, nice reading.