9780631227106

Deduction Introductory Symbolic Logic

by
  • ISBN13:

    9780631227106

  • ISBN10:

    0631227105

  • Edition: 2nd
  • Format: Hardcover
  • Copyright: 2002-11-22
  • Publisher: Wiley-Blackwell

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
List Price: $184.00 Save up to $18.40
  • Rent Book $165.60
    Add to Cart Free Shipping Icon Free Shipping

    TERM
    PRICE
    DUE
    USUALLY SHIPS IN 3-4 BUSINESS DAYS
    *This item is part of an exclusive publisher rental program and requires an additional convenience fee. This fee will be reflected in the shopping cart.

Supplemental Materials

What is included with this book?

Summary

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. Features web-based programs which give students symbolization problems, hints, grades, and demonstrations.Further information and sample content is available on the supporting website: http://www.utexas.edu/cola/depts/philosophy/faculty/bonevac/deduction/

Author Biography

Daniel Bonevac 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 The Journal of Philosophy, as well as The Art and Science of Logic (1990), Simple Logic (1999), and Worldly Wisdom (2001). He also edited Today's Moral Issues (fourth edition, 2002), Understanding Non-Western Philosophy (with Stephen Phillips, 1993), and Beyond the Western Tradition: Readings in Moral and Political Philosophy (with William Boon and Stephen Phillips, 1992).

Table of Contents

Preface to the Second Edition viii
Acknowledgments x
Basic Concepts of Logic
1(35)
Arguments
1(15)
Validity
16(7)
Implication and Equivalence
23(4)
Logical Properties of Sentences
27(4)
Satisfiability
31(5)
Sentences
36(40)
The Language of Sentential Logic
36(4)
Truth Functions
40(6)
A Sentential Language
46(3)
Symbolization
49(7)
Validity
56(4)
Truth Tables
60(3)
Truth Tables for Formulas
63(5)
Truth Tables for Argument Forms
68(3)
Implication, Equivalence, and Satisfiability
71(5)
Truth Trees
76(31)
Thinking Backwards
76(4)
Constructing Truth Trees
80(4)
Negation, Conjunction, and Disjunction
84(9)
The Conditional and Biconditional
93(8)
Other Applications
101(6)
Natural Deduction
107(30)
Natural Deduction Systems
107(3)
Rules for Negation and Conjunction
110(8)
Rules for the Conditional and Biconditional
118(4)
Rules for Disjunction
122(3)
Derivable Rules
125(12)
Quantifiers
137(36)
Constants and Quantifiers
138(6)
Categorical Sentence Forms
144(4)
Polyadic Predicates
148(5)
The Language Q
153(3)
Symbolization
156(17)
Quantified Truth Trees
173(33)
Rules for Quantifiers
174(4)
Strategies
178(11)
Interpretations
189(10)
Constructing Interpretations from Trees
199(7)
Quantified Natural Deduction
206(19)
Deduction Rules for Quantifiers
206(8)
Universal Proof
214(6)
Derived Rules for Quantifiers
220(5)
Identity and Function Symbols
225(24)
Identity
225(6)
Truth Tree Rules for Identity
231(4)
Deduction Rules for Identity
235(3)
Function Symbols
238(11)
Necessity
249(46)
If
249(2)
Modal Connectives
251(5)
Symbolization
256(5)
Modal Truth Trees
261(4)
Other Tree Rules
265(3)
World Travelling
268(10)
Modal Deduction
278(11)
Other Modal Systems
289(6)
Between Truth and Falsehood
295(66)
Vagueness and Presupposition
295(5)
Many-Valued Truth Tables
300(14)
Many-Valued Trees
314(11)
Many-Valued Deduction
325(7)
Fuzzy Logic
332(12)
Intuitionistic Logic
344(17)
Obligation
361(34)
Deontic Connectives
362(8)
Deontic Truth Trees
370(11)
Deontic Deduction
381(6)
Moral and Practical Reasoning
387(8)
Counterfactuals
395(39)
The Meaning of Counterfactuals
399(3)
Truth Tree Rules for Counterfactuals
402(7)
Deduction Rules for Counterfactuals
409(9)
Stalnaker's Semantics: System CS
418(5)
Lewis's Semantics: System CL
423(11)
Common-Sense Reasoning
434(41)
When Good Arguments Go Bad
435(4)
Truth Trees
439(15)
Defeasible Deduction
454(12)
Defeasible Deontic Logic
466(9)
Quantifiers and Modality
475(29)
Quantified S5
475(12)
Free Logic
487(17)
Bibliography 504(3)
Index 507

Rewards Program

Reviews for Deduction Introductory Symbolic Logic (9780631227106)