-5% $25.80$25.80
FREE delivery May 23 - 31
Ships from: Pioneer_Superstore Sold by: Pioneer_Superstore
$15.54$15.54
$3.98 delivery May 23 - 24
Ships from: glenthebookseller Sold by: glenthebookseller
Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.
Read instantly on your browser with Kindle for Web.
Using your mobile phone camera - scan the code below and download the Kindle app.
OK
Symbolic Logic Paperback – January 1, 2015
Purchase options and add-ons
- Print length180 pages
- LanguageEnglish
- PublisherPEARSON INDIA
- Publication dateJanuary 1, 2015
- Reading age15 years and up
- Dimensions7.99 x 10 x 1.85 inches
- ISBN-109332549273
- ISBN-13978-9332549272
The Amazon Book Review
Book recommendations, author interviews, editors' picks, and more. Read it now.
Customers who viewed this item also viewed
Product details
- Publisher : PEARSON INDIA; 5th edition (January 1, 2015)
- Language : English
- Paperback : 180 pages
- ISBN-10 : 9332549273
- ISBN-13 : 978-9332549272
- Reading age : 15 years and up
- Item Weight : 15.8 ounces
- Dimensions : 7.99 x 10 x 1.85 inches
- Best Sellers Rank: #933,100 in Books (See Top 100 in Books)
- Customer Reviews:
About the author
Discover more of the author’s books, see similar authors, read author blogs and more
Customer reviews
Customer Reviews, including Product Star Ratings help customers to learn more about the product and decide whether it is the right product for them.
To calculate the overall star rating and percentage breakdown by star, we don’t use a simple average. Instead, our system considers things like how recent a review is and if the reviewer bought the item on Amazon. It also analyzed reviews to verify trustworthiness.
Learn more how customers reviews work on Amazon-
Top reviews
Top reviews from the United States
There was a problem filtering reviews right now. Please try again later.
On the other hand, Copi, especially the late 70's editions of symbolic logic, are not the best presentations of the foundations of mathematics. (If you've read the text, and you're wondering what "fom" means, that's okay, I'm about to explain why you don't know.) FoM, as any logician will tell you, is the whole impetus behind the advent of symbolic logic in the first place. It is the entire reason why symbolic logic came about at all. FOM was and is a movement which essentially sought in the early parts of the 20th century to either reduce the entirety of mathematics to logic or some significant portion of it. This means that you have to formalize *everything*, including and especially the logic part of the reduction.
Back to the text: What Copi does is after he introduces quantification theory with identity and relations and descriptions (which of course occurs way after the intro to propositional logic), he then extends the language even more to include ZF set theory. This seems purposeless and underdeveloped. He really could have made this a fully developed introduction to Axiomatic set theory, complete with a good intro to cardinals and ordinals, but he didn't. He doesn't develop the proof theory at all for such a purpose, so the reader is unsure how the old rules are supposed to function with all these new notions (from set theory). Instead, he takes the reader pretty quickly through ZF(+Choice) and then moves to the metatheory of the system of logic he taught the reader earlier in the text. In my opinion, this part is one of the most laborious reads *ever* - he takes the most sidewinding approach to proving completeness and soundness for his language, and moves out of his target audience toward an unclear conceptual destination. This part really is strange, especially considering how clear the early parts of the text were. And he doesn't do a very good job of explaining the motivation behind completeness and soundness proof for formal languages, nor alternatives to such proofs, which could be supplemented in the present bibliography. And most horrifying for a logician: his proof of completeness is almost entirely syntactical. I remember thinking "where's the term model?" He doesn't discuss any corollaries of completeness for first-order theories, which involves model theory. In short, his presentation of metatheory of FOL is definitely nonstandard. (Then again, maybe this is just how the metatheory of FOL+ Copi's rules is supposed to look.)
So, all that said: There are two kinds of introductory logic courses: (1) Intro to logic and (2) Intro to Mathematical Logic. (1) is more about improving reasoning skills, (2) is more to do with understanding the foundations of mathematics, and understanding the nature and limitations of mathematical reasoning suitably formalized to capture concepts most mathematicians think pretty essential to the subject. Copi is perfect for (1), and more precisely, if you're working with the 79 edition, the first several chapters up through descriptions are fine. But after that, STOP. If you get that far and you're still interested in logic, consider Enderton's logic text, Smullyan's first-order logic, or even (perhaps especially) Shoenfield's Mathematical Logic (the graduate standard in mathematical logic since its date of publication). There are plenty of other fine places to learn the foundations of mathematics and mathematical logic outside of Copi, which as mentioned above does a terrible job at covering the stuff that mathematicians find valuable in logic (set, recursion, model, proof theory).
Physically, the paperback book is not well constructed. Less than a semester has passed and everyone in my class with the paper bound version of this book has pages falling out. The glue is separating from the pages and the spine is falling apart.
Get the hardcover.
The content is okay. It might just be me, but I could use more examples and a better layout. More of the exercises could use solutions, but maybe a separate solutions manual would be more effective.
Caveats to the Rating:
1. You had better be willing to work at this book
2. This is a classical, analytical approach
3. The terminology is not the easiest
Strengths of this book:
1. Serial proof notation
2. Much emphasis on the accurate representation of ideas
3. The approach to formal logic is analytical (as opposed
to brute force, "sub-logical" algorithms such as
resolution). This provides a theoretical background for
sound algorithm design that is lacking in programmers only
familiar with resolution
4. The quantified exercises given begin to develop intuition
as to the most efficient ways to combine multiple
operations--such heuristics are key to designing automated
proof generators.
5. I have only found about 1 error in the answers.
I agree with the comment of Mayer: many technical people do not
know how to accurately represent English statements in a formal
logic notation. I work with engineers, and have observed the
confusion of cause and effect in their rule writing, and the
confusion of abductive pattern matching with deductive reasoning
(abductive pattern matching is not covered in the book).
Exercises in representing English sentences in symbolic logic
notation would soon fix this confusion.
I rate one of the strengths of Copi's notation to be the serial
proof (as opposed to tree). Tree notations blows up
combinatorially, and become useless for anything but toy
problems. Tree notations may be more intuitive, but have too low
a glass ceiling.