Simple Formal Logic

Arnold vander Nat is Associate Professor of Philosophy at Loyola University Chicago. He has taught courses at the introductory, intermediate, and advanced levels in logic, epistemology, and early modern philosophy.

Chapter 1: Basic Logical Concepts 1.1 Introduction 1.2 Arguments 1.3 Evaluating Arguments 1.4 Classification of Sentences 1.5 Proofs, Inconclusive and Erroneous Arguments 1.6 Deductive and Inductive Validity Chapter 2: Propositional Logic 2.1 Introduction to Propositional Logic 2.2 Details about Negations 2.3 Details about Conditional Sentences 2.4 Determining the Truth-Value of Sentences 2.5 Truth-Tables to Test the Validity of Arguments 2.6 Truth-Table Tests for Other Logical Concerns 2.7 Presentation of the Rules of Deduction 2.8 Making Deductions for Arguments 2.9 Strategy in Deductions 2.10 The Rules of Conditional Proof and Indirect Proof 2.11 Further Uses of Deductions Chapter 3: Traditional Logic 3.1 Introduction: New Perspectives 3.2 Categorical Sentences in Traditional Logic 3.3 English Variations on Categorical Forms 3.4 Venn Diagrams for Categorical Sentences 3.5 Venn Diagrams for Syllogisms and Equivalences 3.6 Equivalence Operations 3.7 Deductions in Traditional Logic 3.8 Combining Propositional Logic with Syllogistic Logic Chapter 4: Modern Quantificational Logic 4.1 Introduction to Quantificational Logic 4.2 Types of English Simple Sentences and Other Detail 4.3 The Truth-Value of Quantificational Sentences 4.4 Deductions in Quantificational Logic 4.5 Deductions with Conditional Proof and Indirect Proof 4.6 Demonstrating Invalidity 4.7 Relational Sentences 4.8 Deductions with Relational Sentences 4.9 Working with Identities Chapter 5: Logical Fallacies 5.1 Introduction 5.2 Fallacies of Irrelevance 5.3 Fallacies of Misconstrual 5.4 Fallacies of Presumption Glossary and Index of Terms, List of Symbols and Abbreviation