Deduction : Introductory Symbolic Logic

Daniel Bonevac

ISBN 10: 0874848229 / ISBN 13: 9780874848229

Published by Brown (William C.) Co ,U.S., 1987

About this Item

Paperback. Covers show very minor shelving wear, otherwise an unblemished copy.; 100% Satisfaction Guaranteed! Ships same or next business day!

Seller Inventory # 52009210025

Bibliographic Details

• Title: Deduction : Introductory Symbolic Logic
• Publisher: Brown (William C.) Co ,U.S.
• Publication Date: 1987
• Language: English
• ISBN 10: 0874848229
• ISBN 13: 9780874848229
• Binding: Paperback
• Edition: First Edition.
• Condition: As New

About this title

Synopsis

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 detailed, yet accessible 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.
• Includes problem sets, designed to lead students gradually from easier to more difficult problems.

Further information and select answers to problems available here: http://bonevac.info/deduction/About―the―Book.html

Review

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