×


 x 

Shopping cart
Daniel Bonevac - Deduction - 9780631227137 - V9780631227137
Stock image for illustration purposes only - book cover, edition or condition may vary.

Deduction

€ 63.90
FREE Delivery in Ireland
Description for Deduction Paperback. Offers a presentation of classical first-order logic. This book presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Num Pages: 528 pages, 0. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 150 x 231 x 28. Weight in Grams: 708.
Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague. Both are very natural and easy to learn. The definition of a formula excludes free variables, and the deduction system uses Show lines; the combination allows rules to be stated very simply. The book's main innovation is its final part, which contains chapters on extensions and revisions of classical logic: modal logic, many-valued logic, fuzzy logic, intuitionistic logic, counterfactuals, deontic logic, common-sense reasoning, and quantified modal logic. These have been areas of great logical and philosophical interest over the past 40 years, but few other textbooks treat them in any depth. Deduction makes these areas accessible to introductory students. All chapters have discussions of the underlying semantics and present both truth tree and deduction systems. New features in this edition, in addition to truth tree systems for classical and nonclassical logics, include new and simpler rules for modal logic, deontic logic, and counterfactuals; discussions of many-valued, fuzzy, and intuitionistic logics; an introduction to common-sense reasoning (nonmonotonic logic); and extensively reworked problem sets, designed to lead students gradually from easier to more difficult problems. This new edition also features web-based programs that make use of the book's methods. Each program is set up to give students symbolization problems, give them hints, grade their work, and do problems for them.

Product Details

Publisher
John Wiley and Sons Ltd United Kingdom
Number of pages
528
Format
Paperback
Publication date
2002
Condition
New
Weight
707g
Number of Pages
528
Place of Publication
Oxford, United Kingdom
ISBN
9780631227137
SKU
V9780631227137
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-50

About Daniel Bonevac
Daniel Bonevac is Professor and Chair of the Philosophy Department at the University of Texas, Austin. He is the author of Reduction in the Abstract Sciences (1982), which received the Johnsonian Prize from The Journal of Philosophy, as well as The Art and Science of Logic (1990), and Simple Logic (1999). He also edited Today's Moral Issues (3rd edition, 1999) and, with William Boon and Stephen Phillips, Beyond the Western Tradition: Readings in Moral and Political Philosophy (1992). He is a past recipient of several National Science Foundation grants and serves on the editorial board of the American Philosophical Quarterly.

Reviews for Deduction
Deduction is the best logic textbook on the market. It is modern, clean, elegant, sharp and direct. It is a perfect accompaniment to the most recent developments in philosophy and logic; in every sense the logic textbook for the twenty-first century. Rick Benitez, University of Sydney

Goodreads reviews for Deduction


Subscribe to our newsletter

News on special offers, signed editions & more!