Politics & Social Sciences | Political Philosophy
Formal Logic
by Richard Jeffrey 2020-04-16 19:57:34
image1
COMPARE PRICE
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 mov... Read more
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. Less
  • Publication date
  • Language
  • ISBN
  • March 15, 2006
  • eng
  • 9781624666063
autor-image
Richard Jeffrey
Author
Richard Jeffrey (1926-2002) was Professor of Philosophy, Princeton University.John P. Burgess is Professor of Philosophy, Princeton University....
Compare Prices
image
Buy GBP 21.16
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
Alcibiades II:
image1
The Papers and Writings of Abraham Lincoln (Volume 5):
image1
An Essay Concerning Human Understanding Volume 2:
image1
The Woman and the Right to Vote:
image1
The Papers and Writings of Abraham Lincoln, Vol-IV:
image1
The Critique of Practical Reason:
image1
The New Freedom a Call for the Emancipation of the Generous Energies of a People:
image1
The Papers and Writings of Abraham Lincoln - Volume 1: 1832-1843:
image1
Creative Evolution:
image1
The Writings of Abraham Lincoln - Volume 2: 1843-1858:
image1
According to Plato:
image1
Anarchism And Other Essays:
image1
The Mind in the Making: The Relation of Intelligence to Social Reform:
image1
Under the Prophet in Utah: The National Menace of a Political Priestcraft:
image1
The Papers and Writings of Abraham Lincoln (Volume 7):
image1
Native Life in South Africa: Before and Since the European War and the Boer Rebellion:
image1
Writings of Thomas Paine - Volume 2: The Rights of Man:
image1
Emile: Or, Concerning Education Extracts:
image1
Bolshevism: The Enemy of Political and Industrial Democracy:
image1
The Papers and Writings of Abraham Lincoln — Volume 3: The Lincoln-Douglas Debates:
image1
Thoughts on the Necessity of Improving the Condition of the Slaves in the British Colonies: With a View to Their Ultimate Emancipation and on the ... Of the Latter Measure (Classic Reprint):
image1
Literary and Philosophical Essays: French, German and Italian:
image1
Dialogues Concerning Natural Religion:
image1
Essays in Rebellion:
image1
The Papers and Writings of Abraham Lincoln - Volume 6:

Stay in touch.

© 2024 AMPLE READS