Buy Textbooks  |  Rent Textbooks  |  Sell Textbooks  |  eTextbooks
Help  |  Questions? 1-877-292-6442
Hello, Sign In
Your Account
0

Formal Logic : Its Scope and Limits - 4th edition

Formal Logic : Its Scope and Limits (ISBN10: 0872208133; ISBN13: 9780872208131)
ISBN13: 978-0872208131
ISBN10: 0872208133

Summary: 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.
...show more
Summary: 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. ...show less

Edition/Copyright: 4TH 06
Cover: Hardback
Publisher: Hackett Publishing Co.
Published: 03/30/2006
International: No



List Price: $39.00
Used $22.15
Used
Save $16.85 (43%)
  • FREE shipping over $25
  • In stock
  • 30-day returns
Condition:
Order this book in the next 2 hours and 28 minutes and it ships by Noon CT today!
New  Currently Sold Out
Marketplace sellers starting at $18.36

13 more offers below.

The Marketplace on Textbooks.com
Additional Sellers for Formal Logic : Its Scope and Limits
Just for you, we curate a growing list of independent booksellers, giving you even MORE choices when shopping for your textbooks.
Keep in mind: Marketplace orders do NOT qualify for free shipping. More about the MarketplaceMore about the Marketplace

Filter by:   All (13)  |  New (7)  |  Like New (2)  |  Very Good (1)  |  Good (1)  |  Acceptable (2)

Price
 
Condition
Seller
Comments
$22.15
+$3.99 s/h

Very Good
Textbooks.com
Columbia, MO
Ships Ground DIRECTLY from Textbooks.com for $3.99. FREE Ground Shipping over $25! Very good condition (Certified Used). Trackable expedited shipping options available.
$38.62
+$3.99 s/h
Add marketplace to your cart
New
Barnes & Noble.com
Various Shipping Locations, USA
Seller Rating: 5
Brand new, ships from the closest shipping location to your shipping address!
$18.36
+$3.99 s/h
Add marketplace to your cart
Acceptable
GICW Books
Hillsboro, OR
Seller Rating: 4.6
Reading copy. May have signs of wear and previous use (scuffs, writing, underlining). Dust jacket may be missing.
$20.98
+$3.99 s/h
Add marketplace to your cart
LikeNew
GIANTBOOKSALE
BAY SHORE, NY
Seller Rating: 4.4
0872208133 SHIPS WITHIN 24 HOURS!! (SAME BUSINESS DAY) GREAT BOOK!!
$22.15
+$3.99 s/h
Add marketplace to your cart
VeryGood
Textbookcenter.com
Columbia, MO
Seller Rating: 4.5
Ships same day or next business day via UPS (Priority Mail for AK/HI/APO/PO Boxes)! Used sticker and some writing and/or highlighting. Used books may not include working access code or dust jacket.
$34.94
+$3.99 s/h
Add marketplace to your cart
New
GreatBookPrices
Batavia, IL
Seller Rating: 4.1
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$34.95
+$3.99 s/h
Add marketplace to your cart
New
EuroBooks
Horcott Rd, Fairford, UNITED KINGDOM
Seller Rating: 4.5
New Book. Shipped from UK within 10 to 14 business days. Established seller since 2000.
$37.05
+$3.99 s/h
Add marketplace to your cart
LikeNew
GreatBookPrices
Batavia, IL
Seller Rating: 4.1
Brand New, Perfect Condition, Please allow 4-14 business days for delivery. 100% Money Back Guarantee, Over 1,000,000 customers served.
$46.49
+$3.99 s/h
Add marketplace to your cart
New
Premier Books BN
Romulus, MI
Seller Rating: 3.4
0872208133 Brand New. Exact book as advertised. Delivery in 4-14 business days (not calendar days). We are not able to expedite delivery.
$59.95
+$3.99 s/h
Add marketplace to your cart
Acceptable
omgtextbooks
Pueblo West, CO
Seller Rating: 3.8
Indianapolis, IN 2006 Hard cover 4th ed. Fair. Sewn binding. Cloth over boards. 172 p. Contains: Tables, black & white, Diagrams, Figures.
$60.00
+$3.99 s/h
Add marketplace to your cart
New
Herb Tandree Philosophy Books
Stroud, Glos, UNITED KINGDOM
Seller Rating: 3.8
2006 Hardback NEW 9780872208131 Hardback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. *****PLEASE NOTE: This item is shipping ...show morefrom an authorized seller in Europe. In the event that a return is necessary, you will be able to return your item within the US. To learn more about our European sellers and policies see the BookQuest FAQ section***** ...show less
$63.99
+$3.99 s/h
Add marketplace to your cart
Good
SUPER BOOKS
Fort Mill, SC
Seller Rating: 3.9
Buy with Confidence. Excellent Customer Support. We ship from multiple US locations. No CD, DVD or Access Code Included.
Page:   1     2     |   Next >
Close
Close
Close