Stock image for illustration purposes only - book cover, edition or condition may vary.
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 ... Read more
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 ... Read more
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) ... Read more
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