Formal Logic Its Scope and Limits

Name: Formal Logic Its Scope and Limits
Price: 20.25 USD
Availability: InStock
ISBN: 9780872208131

ISBN-10: 0872208133

ISBN-13: 9780872208131

Edition: 4th 2006 (Revised)

Authors: Richard Jeffrey, John P. Burgess

List price: $39.00

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Sell

Get cash fast!

Buy new: $36.40

Marketplace

4 new & used from $20.25

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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 non-overlapping quantifiers with a single variable, after which undecidability is demonstrated by example. The first three chapters are…

Book details

List price: $39.00
Edition: 4th
Copyright year: 2006
Publisher: Hackett Publishing Company, Incorporated
Publication date: 3/15/2006
Binding: Hardcover
Pages: 192
Size: 5.75" wide x 9.00" long x 0.75" tall
Weight: 1.144
Language: English




Truth-functional logic



Truth trees



Generality



Multiple generality



Identity



Functions



Uncomputability



Undecidability



Incompleteness



Truth-functional equivalence



Variant methods