内容

目次

Introduction. Part I: Overview of Logic. Chapter 1: What Is This Thing Called Logic? Chapter 2: Logical Developments from Aristotle to the Computer. Chapter 3: Just for the Sake of Argument. Part II: Formal Sentential Logic (SL). Chapter 4: Formal Affairs. Chapter 5: The Value of Evaluation. Chapter 6: Turning the Tables: Evaluating Statements with Truth Tables. Chapter 7: Taking the Easy Way Out: Creating Quick Tables. Chapter 8: Truth Grows on Trees. Part III: Proofs, Syntax, and Semantics in SL. Chapter 9: What Have You Got to Prove? Chapter 10: Equal Opportunities: Putting Equivalence Rules to Work. Chapter 11: Big Assumptions with Conditional and Indirect Proofs. Chapter 12: Putting It All Together: Strategic Moves to Polish Off Any Proof. Chapter 13: One for All and All for One. Chapter 14: Syntactical Maneuvers and Semantic Considerations. Part IV: Quantifier Logic (QL). Chapter 15: Expressing Quantity with Quality: Introducing Quantifier Logic. Chapter 16: QL Translations. Chapter 17: Proving Arguments with QL. Chapter 18: Good Relations and Positive Identities. Chapter 19: Planting a Quantity of Trees. Part V: Modern Developments in Logic. Chapter 20: Computer Logic. Chapter 21: Sporting Propositions: Non-Classical Logic. Chapter 22: Paradox and Axiomatic Systems. Part VI: The Part of Tens. Chapter 23: Ten Quotes about Logic. Chapter 24: Ten Big Names in Logic. Chapter 25: Ten Tips for Passing a Logic Exam. Index.