Sweet Reason A Field Guide to Modern Logic

by Henle, James M.; Garfield, Jay L.; Tymoczko, Thomas; Altreuter, Emily

• ISBN13: 9781444337150
• ISBN10: 1444337157
• Edition: 2nd
• Format: Paperback
• Copyright: 2011-09-21
• Publisher: Wiley-Blackwell

Summary

Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative introduction to logic that integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics.An innovative introduction to the field of logic in all its guises, designed to entertain as it informs Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays

Author Biography

James M. Henle is Professor of Mathematics at Smith College. His books includes Calculus: the Language of Change (with David Cohen), Infinitesimal Calculus (with Eugene Kleinberg), and An Outline of Set Theory. Jay L. Garfield is Doris Silbert Professor in the Humanities and Professor of Philosophy at Smith College. Professor in the Graduate Faculty of Philosophy at the University at the University of Massachusetts, Professor of Philosophy at Melbourne University, and Adjunct Professor of Philosophy at the Central University of Tibetan Studies. Thomas Tymoczko was, until his death, Professor of Philosophy at Smith College. He was editor of New Directions in the Philosophy of Mathematics.

Table of Contents

Preface	p. xi
What is Logic?	p. 1
	p. 3
Introduction Formal Logic	p. 4
Constants and Relations	p. 7
Quantifiers and Variables	p. 9
Introducing Informal Logic	p. 11
Conclusion	p. 13
Dialects of Logic	p. 15
	p. 18
Formal Inference	p. 19
Informal Inference	p. 21
Diagramming Arguments	p. 25
Saying No	p. 32
Metalogic	p. 35
	p. 37
Basic Sentential	p. 37
Truth Tables	p. 43
English to Sentential	p. 50
Negating Statements	p. 56
Rebutting Premises	p. 59
Computer Logic	p. 65
	p. 69
Validity	p. 69
The Logic of English	p. 73
Negating Conditionals	p. 76
Rebutting Inferences	p. 80
The Logic of Sets	p. 87
	p. 94
well-formed Formulas	p. 94
The Shortcut Method	p. 101
Local and Global	p. 108
More on Trees	p. 111
Rebultting Everything	p. 115
Polish Logic	p. 122
	p. 129
Predicate	p. 130
English to Predicate	p. 139
Reading Between the Lines	p. 145
Multi-Value Logic	p. 153
	p. 162
Universes	p. 162
Syllogisms	p. 167
Validity	p. 172
Diagramming Your Argument	p. 176
Inductive Logic	p. 187
	p. 192
Predicate Wffs	p. 192
Outline Your Argument	p. 196
The Logic of Chance	p. 205
	p. 240
Simple Deduction	p. 213
Simple Strategy	p. 221
Writing your Argument	p. 227
Basic Modal Logic	p. 234
	p. 240
Sentential Deduction	p. 240
Sentential Strategy	p. 250
Arguing with Yourself	p. 263
Sophisticated Modal Logic	p. 279
	p. 287
Predicate Deduction	p. 287
Predicate Strategy	p. 296
why We Argue	p. 306
Presidential Debating	p. 310
The Logic of Paradox	p. 315
	p. 327
Deduction with Identity	p. 327
Deduction, FMTYEWTK	p. 332
Parleamentary Debating	p. 336
Cathy, A Decade on	p. 338
Incomplete Logic	p. 343
What is Logic?	p. 349
Answers to Odd-Numbered Exercises	p. 350
Index	p. 384
Table of Contents provided by Ingram. All Rights Reserved.