{"product_id":"deduction-isbn-9780631227137","title":"Deduction","description":"\u003cp\u003e\u003ci\u003eDeduction\u003c\/i\u003e 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.\u003c\/p\u003e \u003cul\u003e \u003cli\u003eEfficient and elegant presentation of classical first-order logic.\u003c\/li\u003e \u003cli\u003ePresents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.\u003c\/li\u003e \u003cli\u003eContains 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.\u003c\/li\u003e \u003cli\u003eIncludes problem sets, designed to lead students gradually from easier to more difficult problems.\u003c\/li\u003e \u003c\/ul\u003e \u003cp\u003eFurther information and select answers to problems available here: \u003cb\u003ebonevac.info\/deduction\/About_the_Book.html\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003ePreface to the Second Edition viii\u003c\/p\u003e \u003cp\u003eAcknowledgments x\u003c\/p\u003e \u003cp\u003e\u003cb\u003e1 Basic Concepts of Logic 1\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e1.1 Arguments 1\u003c\/p\u003e \u003cp\u003e1.2 Validity 16\u003c\/p\u003e \u003cp\u003e1.3 Implication and Equivalence 23\u003c\/p\u003e \u003cp\u003e1.4 Logical Properties of Sentences 27\u003c\/p\u003e \u003cp\u003e1.5 Satisfiability 31\u003c\/p\u003e \u003cp\u003e\u003cb\u003e2 Sentences 36\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e2.1 The Language of Sentential Logic 36\u003c\/p\u003e \u003cp\u003e2.2 Truth Functions 40\u003c\/p\u003e \u003cp\u003e2.3 A Sentential Language 46\u003c\/p\u003e \u003cp\u003e2.4 Symbolization 49\u003c\/p\u003e \u003cp\u003e2.5 Validity 56\u003c\/p\u003e \u003cp\u003e2.6 Truth Tables 60\u003c\/p\u003e \u003cp\u003e2.7 Truth Tables for Formulas 63\u003c\/p\u003e \u003cp\u003e2.8 Truth Tables for Argument Forms 68\u003c\/p\u003e \u003cp\u003e2.9 Implication, Equivalence, and Satisfiability 71\u003c\/p\u003e \u003cp\u003e3 Truth Trees 76\u003c\/p\u003e \u003cp\u003e3.1 Thinking Backwards 76\u003c\/p\u003e \u003cp\u003e3.2 Constructing Truth Trees 80\u003c\/p\u003e \u003cp\u003e3.3 Negation, Conjunction, and Disjunction 84\u003c\/p\u003e \u003cp\u003e3.4 The Conditional and Biconditional 93\u003c\/p\u003e \u003cp\u003e3.5 Other Applications 101\u003c\/p\u003e \u003cp\u003e\u003cb\u003e4 Natural Deduction 107\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e4.1 Natural Deduction Systems 107\u003c\/p\u003e \u003cp\u003e4.2 Rules for Negation and Conjunction 110\u003c\/p\u003e \u003cp\u003e4.3 Rules for the Conditional and Biconditional 118\u003c\/p\u003e \u003cp\u003e4.4 Rules for Disjunction 122\u003c\/p\u003e \u003cp\u003e4.5 Derivable Rules 125\u003c\/p\u003e \u003cp\u003e\u003cb\u003e5 Quantifiers 137\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e5.1 Constants and Quantifiers 138\u003c\/p\u003e \u003cp\u003e5.2 Categorical Sentence Forms 144\u003c\/p\u003e \u003cp\u003e5.3 Polyadic Predicates 148\u003c\/p\u003e \u003cp\u003e5.4 The Language Q 153\u003c\/p\u003e \u003cp\u003e5.5 Symbolization 156\u003c\/p\u003e \u003cp\u003e\u003cb\u003e6 Quantified Truth Trees 173\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e6.1 Rules for Quantifiers 174\u003c\/p\u003e \u003cp\u003e6.2 Strategies 178\u003c\/p\u003e \u003cp\u003e6.3 Interpretations 189\u003c\/p\u003e \u003cp\u003e6.4 Constructing Interpretations from Trees 199\u003c\/p\u003e \u003cp\u003e\u003cb\u003e7 Quantified Natural Deduction 206\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e7.1 Deduction Rules for Quantifiers 206\u003c\/p\u003e \u003cp\u003e7.2 Universal Proof 214\u003c\/p\u003e \u003cp\u003e7.3 Derived Rules for Quantifiers 220\u003c\/p\u003e \u003cp\u003e\u003cb\u003e8 Identity and Function Symbols 225\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e8.1 Identity 225\u003c\/p\u003e \u003cp\u003e8.2 Truth Tree Rules for Identity 231\u003c\/p\u003e \u003cp\u003e8.3 Deduction Rules for Identity 235\u003c\/p\u003e \u003cp\u003e8.4 Function Symbols 238\u003c\/p\u003e \u003cp\u003e\u003cb\u003e9 Necessity 249\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e9.1 If 249\u003c\/p\u003e \u003cp\u003e9.2 Modal Connectives 251\u003c\/p\u003e \u003cp\u003e9.3 Symbolization 256\u003c\/p\u003e \u003cp\u003e9.4 Modal Truth Trees 261\u003c\/p\u003e \u003cp\u003e9.5 Other Tree Rules 265\u003c\/p\u003e \u003cp\u003e9.6 World Travelling 268\u003c\/p\u003e \u003cp\u003e9.7 Modal Deduction 278\u003c\/p\u003e \u003cp\u003e9.8 Other Modal Systems 289\u003c\/p\u003e \u003cp\u003e\u003cb\u003e10 Between Truth and Falsehood 295\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e10.1 Vagueness and Presupposition 295\u003c\/p\u003e \u003cp\u003e10.2 Many-Valued Truth Tables 300\u003c\/p\u003e \u003cp\u003e10.3 Many-Valued Trees 314\u003c\/p\u003e \u003cp\u003e10.4 Many-Valued Deduction 325\u003c\/p\u003e \u003cp\u003e10.5 Fuzzy Logic 332\u003c\/p\u003e \u003cp\u003e10.6 Intuitionistic Logic 344\u003c\/p\u003e \u003cp\u003e\u003cb\u003e11 Obligation 361\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e11.1 Deontic Connectives 362\u003c\/p\u003e \u003cp\u003e11.2 Deontic Truth Trees 370\u003c\/p\u003e \u003cp\u003e11.3 Deontic Deduction 381\u003c\/p\u003e \u003cp\u003e11.4 Moral and Practical Reasoning 387\u003c\/p\u003e \u003cp\u003e\u003cb\u003e12 Counterfactuals 395\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e12.1 The Meaning of Counterfactuals 399\u003c\/p\u003e \u003cp\u003e12.2 Truth Tree Rules for Counterfactuals 402\u003c\/p\u003e \u003cp\u003e12.3 Deduction Rules for Counterfactuals 409\u003c\/p\u003e \u003cp\u003e12.4 Stalnaker’s Semantics: System CS 418\u003c\/p\u003e \u003cp\u003e12.5 Lewis’s Semantics: System CL 423\u003c\/p\u003e \u003cp\u003e\u003cb\u003e13 Common-Sense Reasoning 434\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e13.1 When Good Arguments Go Bad 435\u003c\/p\u003e \u003cp\u003e13.2 Truth Trees 439\u003c\/p\u003e \u003cp\u003e13.3 Defeasible Deduction 454\u003c\/p\u003e \u003cp\u003e13.4 Defeasible Deontic Logic 466\u003c\/p\u003e \u003cp\u003e\u003cb\u003e14 Quantifiers and Modality 475\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e14.1 Quantified S5 475\u003c\/p\u003e \u003cp\u003e14.2 Free Logic 487\u003c\/p\u003e \u003cp\u003eBibliography 504\u003c\/p\u003e \u003cp\u003eIndex 507\u003c\/p\u003e “\u003ci\u003eDeduction\u003c\/i\u003e 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.” \u003ci\u003eRick Benitez, University of Sydney\u003c\/i\u003e \u003c!--end--\u003e \u003cb\u003eDaniel Bonevac\u003c\/b\u003e is Professor of Philosophy at the University of Texas at Austin. He is the author of Reduction in the Abstract Sciences (1982), which received the Johnsonian Prize from \u003ci\u003eThe Journal of Philosophy,\u003c\/i\u003e as well as \u003ci\u003eThe Art and Science of Logic\u003c\/i\u003e (1990), \u003ci\u003eSimple Logic\u003c\/i\u003e (1999), and \u003ci\u003eWorldly Wisdom \u003c\/i\u003e(2001). He also edited \u003ci\u003eToday's Moral Issues \u003c\/i\u003e(fourth edition, 2002), \u003ci\u003eUnderstanding Non-Western Philosophy\u003c\/i\u003e (with Stephen Phillips, 1993), and \u003ci\u003eBeyond the Western Tradition: Readings in Moral and Political Philosophy\u003c\/i\u003e (with William Boon and Stephen Phillips, 1992).  \u003ci\u003eDeduction\u003c\/i\u003e 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 \u003ci\u003eShow\u003c\/i\u003e lines; the combination allows rules to be stated very simply. \u003cbr\u003e \u003cp\u003eThe 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. \u003ci\u003eDeduction\u003c\/i\u003e makes these areas accessible to introductory students. All chapters have discussions of the underlying semantics and present both truth tree and deduction systems.\u003cbr\u003e \u003c\/p\u003e \u003cp\u003eNew 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.\u003c\/p\u003e","brand":"Wiley-Blackwell","offers":[{"title":"Default Title","offer_id":47989032648933,"sku":"NP9780631227137","price":63.5,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1842\/7735\/files\/9780631227137.jpg?v=1761782518","url":"https:\/\/k12savings.com\/products\/deduction-isbn-9780631227137","provider":"K12savings","version":"1.0","type":"link"}