Deduction Introductory Symbolic Logic

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0874847729
• ISBN13: 9780874847727
• Release Date: January 1987
• Publisher: Mayfield Pub Co
• Length: 8 Pages
• Weight: 2.00 lbs.
• Dimensions: 9.5" x 1.3" x 6.3"

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.