Non-Fiction Books:


Introductory Symbolic Logic


Paperback / softback

Customer rating

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Share this product

Deduction by Daniel Bonevac
In stock with supplier

The item is brand new and in-stock in with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships within 2-3 weeks


Delivering to:

Estimated arrival:

  • Around 7-12 December using standard courier delivery


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.

Author Biography

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.
Release date NZ
September 13th, 2002
Country of Publication
United Kingdom
2nd Edition
Blackwell Publishers
Product ID

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

  • If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
  • If you have a question or problem with this product, visit our Help section. Get Help
  • Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Filed under...

Buy this and earn 1,195 Banana Points