Deduction 2e

by Daniel A. Bonevac

Book Overview

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.

Efficient and elegant presentation of classical first-order logic. 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. Contains...

• Format: Paperback
• Language: English
• ISBN: 063122713X
• ISBN13: 9780631227137
• Release Date: November 2002
• Publisher: Wiley-Blackwell
• Length: 528 Pages
• Weight: 1.70 lbs.
• Dimensions: 1.2" x 6.0" x 8.9"

Customer Reviews

An Excellent Book

This is an excellent modern or formal logic text. I would recommend this for a beginning or intermediate modern logic couse. The prose is clear, direct, and economic. It is well-written. Superb definitions and examples. The paperback version is extremely affordable for students. The text covers: validity and natural deduction, quantification, identity and necessity. It even delves into deontic logic (obligation) and counterfactuals. The system used here is commensurable with Kalish and Montague. I highly recommend it.