Buy new:
$74.52
In stock
US imports may differ from local products. Additional terms apply. Learn More.

Amazon Global Store

  • International products have separate terms and are sold from abroad and may differ from local products including fit, age rating, and language of product, labeling, or instructions, or plugs (you may require an adapter).
  • Manufacturer warranty may not apply but you may have other rights under law.
  • Learn more about Amazon Global Store
$$74.52 () Includes selected options. Includes initial monthly payment and selected options. Details
Price
Subtotal
$$74.52
Subtotal
Initial payment breakdown
Delivery cost, delivery date and order total (including tax) shown at checkout.
Ships from
Amazon US
Ships from
Amazon US
Sold by
Amazon US
Sold by
Amazon US
Payment
Secure transaction
Your transaction is secure
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
Payment
Secure transaction
We work hard to protect your security and privacy. Our payment security system encrypts your information during transmission. We don’t share your credit card details with third-party sellers, and we don’t sell your information to others. Learn more
New & Used (9) from
$81.96  & FREE Delivery
Other Sellers on Amazon
Added
$81.97
& FREE Delivery
Sold by: The Nile Australia
Sold by: The Nile Australia
(6283 ratings)
84% positive over last 12 months
Only 5 left in stock.
Delivery Rates and Return policy
Added
$81.98
& FREE Delivery
Sold by: PBShopUK-au TRACKED
Sold by: PBShopUK-au TRACKED
(2313 ratings)
92% positive over last 12 months
Usually dispatched within 2 to 3 days
Delivery Rates and Return policy
Kindle app logo image

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.

QR code to download the Kindle App

Follow the author

Richard C. Jeffrey
Follow
Something went wrong. Please try your request again later.

Formal Logic: Its Scope and Limits Hardcover – 15 March 2006

by Richard Jeffrey (Author), John P. Burgess (Editor)
4.3 out of 5 stars 14
Edition: 4th
See all formats and editions

There is a newer edition of this item:

Computability and Logic Fifth Edition
Computability and Logic Fifth Edition
$46.13
(33)
In stock
{"desktop_buybox_group_1":[{"displayPrice":"$74.52","priceAmount":74.52,"currencySymbol":"$","integerValue":"74","decimalSeparator":".","fractionalValue":"52","symbolPosition":"left","hasSpace":false,"showFractionalPartIfEmpty":true,"offerListingId":"KS6wINQUvkYTvBidE%2B0gRsE5pH5u9a4pM5ecqivNW3IBFQ%2Bp%2FTGSyHL2o7KAXnT4RBHSxH1g1CliR%2FUqSeIFUCt0BUPpvvDEbhN1UMki4JxsRAjJlPLs8zbK9bAvln9igCvID4JDKjV6gC4Ykzbkej%2FgW26y4AXn5dbb%2BsoE%2FtKxQybe6O%2FcKSg%2Fgqi4tKYU","locale":"en-AU","buyingOptionType":"NEW","aapiBuyingOptionIndex":0}]}

Purchase options and add-ons

The first beginning logic text to employ the tree method--a complete formal system of first-order logic that is remarkably easy to understand and use--this text allows students to take control of the nuts and bolts of formal logic quickly, and to move on to more complex and abstract problems.

The tree method is elaborated in manageable steps over five chapters, in each of which its adequacy is reviewed; soundness and completeness proofs are extended at each step, and the decidability proof is extended at the step from truth functions to the logic of nonoverlapping quantifiers with a single variable, after which undecidability is demonstrated by example. The first three chapters are bilingual, with arguments presented twice, in logical notation and in English. The last three chapters consider the discoveries defining the scope and limits of formal methods that marked logic’s coming of age in the 20th century: Godel’s completeness and incompleteness theorems for first and second-order logic, and the Church-Turing theorem on the undecidability of first-order logic.

This new edition provides additional problems, solutions to selected problems, and two new Supplements: Truth-Functional Equivalence reinstates material on that topic from the second edition that was omitted in the third, and Variant Methods, in which John Burgess provides a proof regarding the possibility of modifying the tree method so that it will always find a finite model when there is one, and another, which shows that a different modification―once contemplated by Jeffrey--can result in a dramatic speed--up of certain proofs.

Previous page
  1. ISBN-10
    0872208133
  2. ISBN-13
    978-0872208131
  3. Edition
    4th
  4. Publisher
    Hackett Publishing
  5. Publication date
    15 March 2006
  6. Language
    English
  7. Dimensions
    14.61 x 1.91 x 22.86 cm
  8. Print length
    192 pages
  9. See all details
Next page

Frequently bought together

Formal Logic: Its Scope and Limits
$74.52
Get it 1 - 9 May
In stock
Ships from and sold by Amazon US.
+
An Introduction to Non-Classical Logic: From If to Is
$50.95
In stock
Ships from and sold by Amazon AU.
Total Price:
To see our price, add these items to your cart.
Details
Added to Cart
These items are dispatched from and sold by different sellers.
Show details Hide details
Choose items to buy together.

Product description

About the Author

Richard Jeffrey (1926-2002) was Professor of Philosophy, Princeton University.

John P. Burgess is Professor of Philosophy, Princeton University.

Product details

  • Publisher ‏ : ‎ Hackett Publishing; 4th edition (15 March 2006)
  • Language ‏ : ‎ English
  • Hardcover ‏ : ‎ 192 pages
  • ISBN-10 ‏ : ‎ 0872208133
  • ISBN-13 ‏ : ‎ 978-0872208131
  • Dimensions ‏ : ‎ 14.61 x 1.91 x 22.86 cm
  • Customer Reviews:
    4.3 out of 5 stars 14

About the author

Follow authors to get new release updates, plus improved recommendations.
Richard C. Jeffrey

Richard C. Jeffrey

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

Discover more of the author’s books, see similar authors, read author blogs, and more

Customer reviews

4.3 out of 5 stars
4.3 out of 5
14 global ratings

Review this product

Share your thoughts with other customers
Write a customer review

Top reviews from Australia

There are 0 reviews and 0 ratings from Australia

Top reviews from other countries

Bartholomew Stragopopolus
1.0 out of 5 stars Waste of money
Reviewed in Canada on 16 October 2017
Verified Purchase
Pretty terrible logic book overall, I'm a university student and I can say for certain that this book does not help you understand logic, it actually makes logic harder to grasp. I'm looking for an alternative right now because I simply can't use this book at all.
Report
Santanu
5.0 out of 5 stars It's amazing!
Reviewed in India on 17 February 2018
Verified Purchase
It's amazing! I loved it.
Report
Jordan Droira
3.0 out of 5 stars Are you looking for a book that will make logic ...
Reviewed in the United States on 10 March 2017
Verified Purchase
Are you looking for a book that will make logic seem much harder than it needs to be? Perhaps some explanations that leave you asking your fellow students and professors for help every step of the way? Look no further. Buy now.
7 people found this helpful
 Report