| |
| |
| To the Instructor | |
| |
| |
| To the Student | |
| |
| |
| Acknowledgments | |
| |
| |
| |
| The Fundamental Concepts of Logic | |
| |
| |
| |
| What Is Logic? | |
| |
| |
| |
| Let's Have an Argument! | |
| |
| |
| |
| The Two Basic Types of Argument | |
| |
| |
| |
| How to Evaluate a Deductive Argument | |
| |
| |
| |
| How to Evaluate an Inductive Argument | |
| |
| |
| |
| Logical Relations and Concluding Matters | |
| |
| |
| |
| Categorical Logic | |
| |
| |
| |
| Logic Takes Form Categorical Logic Version 1.0 | |
| |
| |
| |
| The Categorical Syllogism | |
| |
| |
| |
| Categorical Logic Version 2.0 Boole, Venn, and the Nineteenth-Century Revolution in Categorical Logic | |
| |
| |
| |
| Truth-Functional Logic | |
| |
| |
| |
| Think Like a Stoic! Truth-Functional Logic Version 1.0 | |
| |
| |
| |
| Truth-Functional Logic Version 1.1 Stoic Logic Takes Form | |
| |
| |
| |
| Truth-Functional Logic Version 2.0 The Invention of Formal Languages in the Nineteenth Century | |
| |
| |
| |
| From English to TL: Techniques for Great Translations | |
| |
| |
| |
| Truth-Table Analysis Part 1 Truth Tables for the Operators | |
| |
| |
| |
| Truth-Table Analysis Part 2 Testing Sentences for Logical Status | |
| |
| |
| |
| Truth-Table Analysis Part 3 Testing Arguments for Validity | |
| |
| |
| |
| Truth-Table Analysis Part 4 Relations | |
| |
| |
| |
| Modern Truth-Functional Natural Deduction Part 1 The First Four Rules | |
| |
| |
| |
| Truth-Functional Natural Deduction Part 2 Four More Inference Rules | |
| |
| |
| |
| Truth-Functional Deduction Part 3 Replacement Rules | |
| |
| |
| |
| Truth-Functional Deduction Part 4 Indirect and Conditional Proof | |
| |
| |
| |
| Premise-Free Proofs | |
| |
| |
| Interlude: Philosophy of Logic | |
| |
| |
| |
| Predicate Logic | |
| |
| |
| |
| Predicate Logic Version 1.1 Frege Unites Categorical and Stoic Logic | |
| |
| |
| |
| Predicate Logic Version 1.2 It's All About Relationships | |
| |
| |
| |
| Predicate Logic Version 1.3 To Be or Not to Be: The Logic of Identity | |
| |
| |
| |
| Natural Deduction Proofs with Monadic Predicates | |
| |
| |
| |
| A Semantical Theory for Predicate Logic | |
| |
| |
| |
| Conditional and Indirect Predicate Proofs | |
| |
| |
| |
| Proofs with Overlapping Quantifiers | |
| |
| |
| |
| The Summit: Predicate Logic with Identity | |
| |
| |
| |
| Informal and Inductive Logic | |
| |
| |
| |
| The Art of Definition | |
| |
| |
| |
| The Informal Fallacies | |
| |
| |
| |
| The Varieties of Inductive Reasoning | |
| |
| |
| |
| Elementary Probability Theory | |
| |
| |
| |
| Modal Logic | |
| |
| |
| |
| Elementary Modal Logic | |
| |
| |
| Appendices | |
| |
| |
| |
| Classical Indian Logic | |
| |
| |
| |
| Metalogic: The Logic of Logic | |
| |
| |
| |
| GQdel's Theorem: The Power of Logic Revealed | |
| |
| |
| |
| Logic and Computers: How an Idea in Logic Led to the Digital Computer and Transformed the World | |
| |
| |
| Answers to Selected ExercisesE-p1 | |
| |
| |
| Index | |