| |
| |
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 | |