|
|
(Larger Image)
|
Formal Logic: Its Scope and Limits
by Richard C. Jeffrey
Product Group: Book
Publisher: McGraw-Hill (1990-11-01)
ISBN: 0070323577
EAN: 9780070323575
Dewy Decimal #: 160
Paperback: 154 pages
Edition: 3 Sub
SKU: 103008057
Condition: Used: Acceptable
Comments: lots of markings and highlighting....creases in cover with shelf wear
|
Editorial Reviews
|
Product Description
This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.
|
Customer Reviews
|
I've seem worse and I've seem better...
Rating  (3)
Date: 2008-04-03
Better:Symbolic Logic
Worse:Mathematical Logic (Graduate Texts in Mathematics)
In between: Logic for Mathematicians
For me what is interesting is how the author deals with the halting problem
compared to:Meta Math!: The Quest for Omega
"If the associated inference is valid, the program 'eventually' halts."
I note that Jeffery never mentions either entropy or information.
Neither Jeffery or Chaitin mention the Grelling paradox:
The Undecidability of Undecidability... the information involved in information.
Both seem to think that Gödel and his incompleteness is on their side...
I tend to come down on Chaitin's side as he has done a complete analysis of Turing machines and the halting problem.
Either a problem can be solved by "mechanical/ Turing" analysis
using a computer or it can't and there is a definite definable demarcation between the two that can be calculated.
But I also think that self-organization principles ( genetic algorithms,
Monte Carlo algorithms and next generation processes) can decide problems where older logic and Turing machine methods fail.
|
|
not my cup of tea
Rating (3)
Date: 2004-11-03
7 out of 7 customers found this reveiw helpful
we used this book in my formal logic course; my professor absolutely loved this book and insisted that there exists no better text for studying formal logic...I beg to differ. well, while I have yet to find a great easy to understand text, I certainly didn't like this book. It's very short and concise..very brief. Personally, I prefer the lessons to be a bit more elaborate, with a variety of examples. I think it really depends on your taste and style of learning; this book would definitely appeal to some people, who like this short and to the point...but not for me. I prefer "the logic book" to this text.
|
|
not a good logic book actually
Rating  (1)
Date: 2001-07-25
10 out of 12 customers found this reveiw helpful
this book as I used it for a quarter in one of my class turns out to be pretty bad compared to all the other ones I've seen dealing with similar matters. I am sorry to say this but it really doesn't deserve to be used by any professor for his students as an introductory text to the field of logic. The definitions in it are scattered, often important ones are left out. Contents made many assumptions on the reader's part to 'pick up' key concepts that are hidden inexplicitly in other pages in the book or it assume we already knew many concepts which is required to follow the book. An introductory text presented in the most unwelcoming face, or lets say, basic stuff disguised as something utterly elusive. Yes, he did put a lot of definitions in there, but by reading them on their own it's hard to know what he's talking about. The definitions don't stand alone on their own as definitons should be. Also, it is nice he formulated the tree building for a proofing method. but it's very in- robust, subject to many little exceptions and things that need to watch out for but all unmentioned in the text. And when the teacher tests you he puts those expections on the paper and you'll miss it. The book didn't help me get a good grade at all. I went to class and threw away the book after the first midterm and did much better then before.
|
|
tree method proof system is very useful
Rating  (4)
Date: 2000-07-16
4 out of 7 customers found this reveiw helpful
I used this book 30 years ago. The core of the book is the tree method proof system which has been a tremendous asset for me in the Discrete Math course I am taking this summer.If I were teaching a logic course, I would choose a more user friendly text but supplement it with the tree method for doing proofs. It greatly simplifies doing proofs once the premises and conclusion have been restated in quantified predicate form. You can thus avoid having to memorize and apply traditional patterns of syllogisms like "modus ponens" and "modus tollens" I might also use the method in a Discrete Math course because it can be used with logical circuit design and set theory as well as with the predicate calculus.
|
|
helped me ace Modern Logic
Rating  (5)
Date: 2000-03-24
6 out of 8 customers found this reveiw helpful
ok I ended up with a B+ for the final (must've slipped) after getting an A on every single test in the course and my professor actually requested that I should tutor people. It's a very concise book so you have to really _understand_ every sentence before going to the next part. Put the effort into mastering the book and it will pay off big time
|
|
|
|
|