1. Welcome to Language, Proof and Logic

    1. An Overview of the Course: What we will do, and why (19:01)
    2. Weekly Assignments and Getting the Courseware Package
    3. Pre-Course Survey
  2. Chapter 1. Atomic Sentences

    1. Reading Assignments
    2. Atomic Sentences (20:10)
    3. The Blocks World Language (24:14)
    4. Other Example Languages (21:25)
    5. Assignment 1
      This content is graded
  3. Chapter 2. The Logic of Atomic Sentences

    1. Reading Assignment
    2. Valid and Sound Arguments (11:41)
    3. Methods of Proof (15:10)
    4. Properties of Predicates (17:53)
    5. Formal Proofs (11:41)
    6. Formal Proofs in Fitch (17:32)
    7. Demonstrating Nonconsequence (9:35)
    8. Assignment 2
      This content is graded
  4. Chapter 3. The Boolean Connectives

    1. Reading Assignment
    2. The Boolean Connectives: Negation (18:19)
    3. The Boolean Connectives: Conjunction (18:37)
    4. The Boolean Connectives: Disjunction (16:03)
    5. Equivalence and Translation (12:32)
    6. Assignment 3
      This content is graded
  5. Chapter 4. The Logic of Boolean Connectives

    1. Reading Assignment
    2. Logical Truths and Tautologies (29:16)
    3. Logical and Tautological Equivalence (11:09)
    4. Logical and Tautological Consequence (13:00)
    5. Tautological Consequence in Fitch (9:40)
    6. Pushing Negation Around (19:32)
    7. Conjunctive and Disjunctive Normal Forms (24:03)
    8. Assignment 4
      This content is graded
  6. Chapter 5. Methods of Proof for Boolean Logic

    1. Reading Assignment
    2. Methods of Proof for Boolean Logic (11:58)
    3. Proof By Cases (9:02)
    4. Indirect Proof (9:11)
    5. A Look Behind the Scenes
    6. Arguments with Inconsistent Premises (3:20)
    7. Assignment 5
      This content is graded
  7. Chapter 6. Formal Proofs and Boolean Logic

    1. Reading Assignment
    2. Formal Rules for Conjunction (24:45)
    3. Formal Rules for Disjunction (20:51)
    4. Formal Rules for Negation (21:13)
    5. More on Subproofs (12:56)
    6. Strategy and Tactics for Formal Proofs (16:57)
    7. Assignment 6
      This content is graded
  8. Chapter 7. Conditionals

    1. Reading Assignment
    2. Conditionals (15:19)
    3. The Many Uses of Implication (11:17)
    4. Biconditionals (10:18)
    5. Conversational Implicature (7:43)
    6. Truth-functional Completeness (13:58)
    7. Assignment 7
      This content is graded
  9. Chapter 8. The Logic of Conditionals

    1. Reading Assignment
    2. Informal Proof using Conditionals (12:12)
    3. Some Example Proofs (10:24)
    4. Formal Rules for Conditionals (19:11)
    5. The Soundness and Completeness of F_T (8:15)
    6. The Soundness Proof (18:31)
    7. Assignment 8
      This content is graded
  10. Halfway! Propositional Logic Summary

    1. Propositional Logic Summary and Celebration (10:47)
    2. Midterm Exam
      This content is graded
  11. Chapter 9. Introduction to Quantification

    1. Reading Assignment
    2. Introduction to the Quantifiers (6:43)
    3. Variables, Wffs and Sentences (24:02)
    4. Quantifier Semantics (9:01)
    5. Translation Involving Quantifiers (16:21)
    6. Assignment 9
      This content is graded
  12. Chapter 10. The Logic of Quantifiers

    1. Reading Assignment
    2. Tautologies and Quantifiers (18:16)
    3. First-order Validity and Consequence (19:39)
    4. First-order Equivalence and de Morgan's Laws (14:44)
    5. Quantifier Equivalences (17:28)
    6. The Axiomatic Method (18:56)
    7. Assignment 10
      This content is graded
  13. Chapter 11. Multiple Quantifiers

    1. Reading Assignment
    2. Sentences Containing Multiple Quantifiers (20:46)
    3. Translation and Ambiguity (17:27)
    4. Prenex Normal Form (23:44)
    5. Assignment 11
      This content is graded
  14. Chapter 12. Methods of Proof for Quantifiers

    1. Reading Assignment
    2. Informal Rules for Quantifiers (21:39)
    3. Proofs Involving Mixed Quantifiers (11:34)
    4. More About Axioms (10:17)
    5. Assignment 12
      This content is graded
  15. Chapter 13. Formal Proof and Quantifiers

    1. Reading Assignment
    2. Formal Rules for Quantifiers (37:02)
    3. Strategy and Tactics in Quantifier Proofs (25:07)
    4. Assignment 13
      This content is graded
  16. Chapter 14. More About Quantification

    1. Reading Assignment
    2. Numerical Quantifiers (16:17)
    3. Proving Numerical Claims (9:13)
    4. Definite Descriptions (15:28)
    5. Beyond First-Order Quantifiers (17:28)
    6. Assignment 14
      This content is graded
  17. We're Done! Course Summary

    1. Summary (11:18)
    2. Final Exam
      This content is graded
    3. Post-Course Survey
    4. Generate your Statement of Accomplishment