책 이미지
책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781394362349
· 쪽수 : 416쪽
· 출판일 : 2025-11-18
목차
Introduction 1
Part 1: Getting Started with Logic 5
Chapter 1: Taking a Logical Perspective 7
Chapter 2: Following Logical Developments from Aristotle to AI 17
Chapter 3: Just for the Sake of Argument 35
Part 2: Flourishing with Formal Sentential Logic 61
Chapter 4: Engaging with Formal Affairs 63
Chapter 5: Embracing the Value of Evaluation 87
Chapter 6: Turning the Tables: Evaluating Statements with Truth Tables 101
Chapter 7: Taking the Easy Way Out: Creating Quick Tables 121
Chapter 8: Knowing How Truth Grows on Trees 137
Part 3: Exploring Proofs, Syntax, and Semantics in SL 159
Chapter 9: Providing Proof for What You Propose 161
Chapter 10: Applying Equivalence Rules 177
Chapter 11: Making Big Assumptions with Conditional and Indirect Proof 195
Chapter 12: Polishing Off Your Proofs 207
Chapter 13: Putting Operators in Their Place 229
Chapter 14: Syntactical Maneuvers and Semantic Considerations 237
Part 4: Questing After Quantification Logic 247
Chapter 15: Expressing Quantity with Quality: Quantification Logic 249
Chapter 16: Embracing QL Translations 263
Chapter 17: Proving Arguments with QL 275
Chapter 18: Expanding Logical Relations 301
Chapter 19: Planting a Quantity of Truth Trees 315
Part 5: Meditating on Modern Developments in Logic 327
Chapter 20: Computer Logic 329
Chapter 21: Sporting Propositions: Non-classical Logic 341
Chapter 22: Paradox and Axiomatic Systems 357
Part 6: The Part of Tens 369
Chapter 23: Ten (or So) Quotes about Logic 371
Chapter 24: Ten Big Names in Logic 373
Chapter 25: Ten Tips for Passing a Logic Exam 377
Index 383
