Deduction Introductory Symbolic Logic

by Bonevac, Daniel

• ISBN13: 9780631227137
• ISBN10: 063122713X
• Edition: 2nd
• Format: Paperback
• Copyright: 2002-11-22
• Publisher: Wiley-Blackwell

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