# Language, Proof and Logic

## Online Course Materials

Our course contains a collection of video lectures, some exercises to complete online, and assignments from the text book that we require online students to complete to obtain a certificate of accomplishment. We are making this material available to everyone in the hope that it can be useful.

Our online course closely follows the structure of the first two parts of Language, Proof and Logic. It should be clear how to find the material corresponding to the section of the book that you are now covering, perhaps with a little exploration.

If you are a student in a course being offered at a university or college that uses our text book, you should follow your instructor's recommendations regarding your use of this material. Some instructors may require you to watch some of these videos, some may recommend but not require that you do so, and some may prefer that you don't watch them at all.

Similarly, we use the exercises that appear between video segments to help our students know whether their understanding of the material is on the right track. Your instructor may expect you to do them, or you may choose to do them to assess your understanding.

At the end of each chapter there is an assignment that we ask our students to complete for assessment. The majority of these are drawn from the LPL text book, and you would use the desktop software to complete them, and the Submit and the Grade Grinder software to get them assessed. We chose these exercises because we think that they are among the most useful for assessing understanding of the material - and we recommend others that we feel are also particularly valuable.

Finally, there are midterm and final exams which are made up entirely of multiple choice online quizzes. You might like to use these to prepare for exams that your instructors have set, or complete them just for fun.

If you want, you can register for the course with Stanford Online (there's a link on every page), and try to earn a Statement of Accomplishment. Why not, while you are doing the work?

However you choose to use the course material, we hope that you find it useful, interesting and entertaining. Please send feedback to us using the comment form.

- Welcome to Language, Proof and Logic
- An Overview of the Course: What we will do, and why (19:01) • Watch Lecture Now
- Weekly Assignments and Getting the Courseware Package • Watch Lecture Now
- Chapter 1. Atomic Sentences
- Reading Assignments • Watch Lecture Now
- Atomic Sentences (20:10) • Watch Lecture Now
- The Blocks World Language (24:14) • Watch Lecture Now
- Other Example Languages (21:25) • Watch Lecture Now
- Assignment 1 • Watch Lecture Now
- Chapter 2. The Logic of Atomic Sentences
- Reading Assignment • Watch Lecture Now
- Valid and Sound Arguments (11:41) • Watch Lecture Now
- Methods of Proof (15:10) • Watch Lecture Now
- Properties of Predicates (17:53) • Watch Lecture Now
- Formal Proofs (11:41) • Watch Lecture Now
- Formal Proofs in Fitch (17:32) • Watch Lecture Now
- Demonstrating Nonconsequence (9:35) • Watch Lecture Now
- Assignment 2 • Watch Lecture Now
- Chapter 3. The Boolean Connectives
- Reading Assignment • Watch Lecture Now
- The Boolean Connectives: Negation (18:19) • Watch Lecture Now
- The Boolean Connectives: Conjunction (18:37) • Watch Lecture Now
- The Boolean Connectives: Disjunction (16:03) • Watch Lecture Now
- Equivalence and Translation (12:32) • Watch Lecture Now
- Assignment 3 • Watch Lecture Now
- Chapter 4. The Logic of Boolean Connectives
- Reading Assignment • Watch Lecture Now
- Logical Truths and Tautologies (29:16) • Watch Lecture Now
- Logical and Tautological Equivalence (11:09) • Watch Lecture Now
- Logical and Tautological Consequence (13:00) • Watch Lecture Now
- Tautological Consequence in Fitch (9:40) • Watch Lecture Now
- Pushing Negation Around (19:32) • Watch Lecture Now
- Conjunctive and Disjunctive Normal Forms (24:03) • Watch Lecture Now
- Assignment 4 • Watch Lecture Now
- Chapter 5. Methods of Proof for Boolean Logic
- Reading Assignment • Watch Lecture Now
- Methods of Proof for Boolean Logic (11:58) • Watch Lecture Now
- Proof By Cases (9:02) • Watch Lecture Now
- Indirect Proof (9:11) • Watch Lecture Now
- A Look Behind the Scenes • Watch Lecture Now
- Arguments with Inconsistent Premises (3:20) • Watch Lecture Now
- Assignment 5 • Watch Lecture Now
- Chapter 6. Formal Proofs and Boolean Logic
- Reading Assignment • Watch Lecture Now
- Formal Rules for Conjunction (24:45) • Watch Lecture Now
- Formal Rules for Disjunction (20:51) • Watch Lecture Now
- Formal Rules for Negation (21:13) • Watch Lecture Now
- More on Subproofs (12:56) • Watch Lecture Now
- Strategy and Tactics for Formal Proofs (16:57) • Watch Lecture Now
- Assignment 6 • Watch Lecture Now
- Chapter 7. Conditionals
- Reading Assignment • Watch Lecture Now
- Conditionals (15:19) • Watch Lecture Now
- The Many Uses of Implication (11:17) • Watch Lecture Now
- Biconditionals (10:18) • Watch Lecture Now
- Conversational Implicature (7:43) • Watch Lecture Now
- Truth-functional Completeness (13:58) • Watch Lecture Now
- Assignment 7 • Watch Lecture Now
- Chapter 8. The Logic of Conditionals
- Reading Assignment • Watch Lecture Now
- Informal Proof using Conditionals (12:12) • Watch Lecture Now
- Some Example Proofs (10:24) • Watch Lecture Now
- Formal Rules for Conditionals (19:11) • Watch Lecture Now
- The Soundness and Completeness of F_T (8:15) • Watch Lecture Now
- The Soundness Proof (18:31) • Watch Lecture Now
- Assignment 8 • Watch Lecture Now
- Halfway! Propositional Logic Summary
- Propositional Logic Summary and Celebration (10:47) • Watch Lecture Now
- Midterm Exam • Watch Lecture Now
- Chapter 9. Introduction to Quantification
- Reading Assignment • Watch Lecture Now
- Introduction to the Quantifiers (6:43) • Watch Lecture Now
- Variables, Wffs and Sentences (24:02) • Watch Lecture Now
- Quantifier Semantics (9:01) • Watch Lecture Now
- Translation Involving Quantifiers (16:21) • Watch Lecture Now
- Assignment 9 • Watch Lecture Now
- Chapter 10. The Logic of Quantifiers
- Reading Assignment • Watch Lecture Now
- Tautologies and Quantifiers (18:16) • Watch Lecture Now
- First-order Validity and Consequence (19:39) • Watch Lecture Now
- First-order Equivalence and de Morgan's Laws (14:44) • Watch Lecture Now
- Quantifier Equivalences (17:28) • Watch Lecture Now
- The Axiomatic Method (18:56) • Watch Lecture Now
- Assignment 10 • Watch Lecture Now
- Chapter 11. Multiple Quantifiers
- Reading Assignment • Watch Lecture Now
- Sentences Containing Multiple Quantifiers (20:46) • Watch Lecture Now
- Translation and Ambiguity (17:27) • Watch Lecture Now
- Prenex Normal Form (23:44) • Watch Lecture Now
- Assignment 11 • Watch Lecture Now
- Chapter 12. Methods of Proof for Quantifiers
- Reading Assignment • Watch Lecture Now
- Informal Rules for Quantifiers (21:39) • Watch Lecture Now
- Proofs Involving Mixed Quantifiers (11:34) • Watch Lecture Now
- More About Axioms (10:17) • Watch Lecture Now
- Assignment 12 • Watch Lecture Now
- Chapter 13. Formal Proof and Quantifiers
- Reading Assignment • Watch Lecture Now
- Formal Rules for Quantifiers (37:02) • Watch Lecture Now
- Strategy and Tactics in Quantifier Proofs (25:07) • Watch Lecture Now
- Assignment 13 • Watch Lecture Now
- Chapter 14. More About Quantification
- Reading Assignment • Watch Lecture Now
- Numerical Quantifiers (16:17) • Watch Lecture Now
- Proving Numerical Claims (9:13) • Watch Lecture Now
- Definite Descriptions (15:28) • Watch Lecture Now
- Beyond First-Order Quantifiers (17:28) • Watch Lecture Now
- Assignment 14 • Watch Lecture Now
- We're Done! Course Summary
- Summary (11:18) • Watch Lecture Now
- Final Exam • Watch Lecture Now