Table of Contents Volume I
|
File |
Preface to Volumes I and II: A Guide to the Primer
|
File |
Chapter 1, Basic Ideas and Tools
|
File |
Chapter 2, Transcription between English and Sentence Logic
|
File |
Chapter 3, Logical Equivalence, Logical Truths, and Contradictions
|
File |
Chapter 4, Validity and Conditionals
|
File |
Chapter 5, Natural Deduction for Sentence Logic: Fundamentals
|
File |
Chapter 6, Natural Deduction for Sentence Logic: Strategies
|
File |
Chapter 7, Natural Deduction for Sentence Logic: Derived Rules and Derivations without Premises
|
File |
Chapter 8, Truth Tree for Sentence Logic: Fundamentals
|
File |
Chapter 9, Truth Trees for Sentence Logic: Applications
|
File |
Index for Volume 1
|
File |
Solutions Manual for Volume 1
|
File |
Table of Contents to Volume II
|
File |
Solutions Manual for Volume II
|
File |
Introduction to Predicate Logic Notes
|
File |
Chapter 1, Predicate Logic: Syntax
|
File |
Chapter 2, Predicate Logic: Semantics and Validity
|
File |
Chapter 3, More about Quantifiers
|
File |
Chapter 4, Transcription
|
File |
Chapter 5, Natural Deduction for Predicate Logic: Fundamentals
|
File |
Chapter 6, More on Natural Deduction for Predicate Logic
|
File |
Chapter 7, Truth Tress for Predicate Logic: Fundamentals
|
File |
Chapter 8, More on Truth Tress for Predicate Logic
|
File |
Chapter 9, Identity, Functions, and Definite Descriptions
|
File |
Chapter 10, Metatheory: The Basic Concepts
|
File |
Chapter 11, Mathematical Induction
|
File |
Chapter 12, Soundness and Completeness for Sentence Logic Trees
|
File |
Chapter 13, Soundness and Completeness for Sentence Logic Derivations
|
File |
Chapter 14, Koenig's Lemma, Compactness, and Generalization to Infinite Sets of Premises
|
File |
Chapter 15, Interpretations, Soundness, and Completeness for Predicate Logic
|
File |
Index for Volume II
|
File |
Diagrammatic Summary of Rules
|
File |
Corrections to the Text
|
File |