David W. Agler

LOGIC

Included below are sample syllabi, handouts, sample tests, and online tutorials.

Textbook
Syllabi
Handouts

Textbook

In the Spring of 2009, I began writing Symbolic Logic: Syntax, Semantics, and Proof. The first edition took the form of lecture notes and handouts that I distributed in the summer of 2009, a course packet in the fall of 2009, and finally I used it as a textbook in the Summer 2010, Fall 2010, and Spring 2011 semesters.

The development of the textbook benefited greatly from the feedback I received from instructors and students at Penn State: Deniz Durmus (Spring 2011); Mark Fisher (Spring 2011); Cameron O'Mara (Summer 2011); Ryan Pollock (Fall 2011), Christopher Allaman, Ashley Brooks, Aurora Cooper, Maureen Dunn, Elliannies Duran, Ariel Endresen, Nayib Felix, Joy Garcia, Alex Kirk, Edward Lackner, Brooke Santkiewicz, Ariel Valdez, Isaac Bishop, Kristin Nuss, Karintha Parker, Sarah Mack, Amanda Wise, Meghan Barnett, Alexander McCormack, and Kevin Bogle.

The textbook is in its 2nd printing. The erratum (list of corrections from the first printing) can be found here: Errata for Symbolic Logic: Syntax, Semantics, and Proof.

I warmly welcome any constructive feedback you may have about the book. I'm always looking for new ways to make logic easier to learn!

Syllabi

Spring 2018

Handouts for Introduction to Logic

H0: Getting to Know You
H1: Elements of Logic
H2: PL: Symbols, Syntax, Semantics, Translation
H3: PL: Truth Tables
H4: PL: Truth Trees
H5: PL: Derivations
H6: RL: Symbols, Syntax, Semantics, Translation
H7: RL: Truth Trees
H8: RL: Derivations

Videos for Introduction to Symbolic Logic

Propositional Logic - Symbols, Syntax, Semantics, Translation

Propositional Logic: Symbols
Propositional Logic: Syntax, Part 1 (well-formed formulas)
Propositional Logic: Syntax, Part 2 (subformulas and scope)
Propositional Logic: Syntax, Part 3 (five wffs, literal negation, conventions)
Propositional Logic: Semantics, Part 1 (Interpretations and valuations)
Propositional Logic: Semantics, Part 2 (valuations rules)
Propositional Logic: Translation, Part 1 (atomic and negated wffs)
Propositional Logic: Translation, Part 2 (conjunctions)
Propositional Logic: Translation, Part 3 (disjunctions)
Propositional Logic: Translation, Part 4 (conditionals)
Propositional Logic: Translation, Part 5 (biconditionals)
Propositional Logic: Translation, Part 6 (complex translations)

Propositional Logic - Truth Trees

Propositional Logic: Truth Trees, Part 1 (Introduction and Setup)
Propositional Logic: Truth Trees, Part 2 (Decomposition Rules)
Propositional Logic: Truth Trees, Part 3 (Tree Terminology)
Propositional Logic: Truth Trees, Part 4 (Recovering an Interpretation)
Propositional Logic: Truth Trees, Part 6 (Contradiction, Tautology, Contingency)
Propositional Logic: Truth Trees, Part 7 (Equivalence)
Propositional Logic: Truth Trees, Part 8 (Validity)
Propositional Logic: Tips for Trees

Propositional Logic - Derivations / Proofs

Propositional Logic, Derivations: Syntactic entailment and proof
Propositional Logic, Derivations: How to set up a proof
Propositional Logic, Derivations: Conjunction introduction
Propositional Logic, Derivations: Conjunction elimination
Propositional Logic, Derivations: Conditional elimination
Propositional Logic, Derivations: Conditional introduction

Propositional Logic, Derivations: Disjunction introduction
Propositional Logic, Derivations: Negation introduction and negation elimination
Propositional Logic: Tips for Proofs

Predicate Logic - Symbols, Syntax, Semantics, Translation

Predicate Logic: Symbols
Predicate Logic: Basic Syntax
Predicate Logic: Semantics (Models)
Predicate Logic: Valuation of Unquantified Formulas
Predicate Logic: Valuations, Part 2 (Quantified Wffs)
Predicate Logic: Basic Translation
Predicate Logic: Semantics with Variable Assignments (Part 1)
Predicate Logic: Semantics with Variable Assignments (Part 2)

Predicate Logic - Truth Trees

Predicate Logic Trees: Introduction
Predicate Logic Trees: Negated decomposition
Predicate Logic Trees: Completed open branch
Predicate Logic Trees: Recovering a model from a completed open branch

Predicate Logic - Proofs

Predicate Logic, Proofs: Introduction
Predicate Logic, Proofs: Universlal Elimination
Predicate Logic, Proofs: Existential Introduction
Predicate Logic, Proofs: Universal Introduction
Predicate Logic, Proofs: Existential Elimination
Predicate Logic, Proofs (Practice), Part 1
Predicate Logic, Proofs (Practice), Part 2

Handouts for INTERMEDIATE LOGIC

H9: RL: Predicate Logic with Variable Assignments, Identity, Functions, Definite Descriptions
S9: RL: Predicate Logic with Variable Assignments (Slides)

Other Handouts

H = Course Handout

H2s1: Markdown for Symbolic Logic
H2s2: Markdown and Symbolic Logic Contest Details
H3: Conditionals and the LSAT
H4s: Five Tips For Truth Trees
H4e: Four Theories of Truth
H5s: Three Common Mistakes on Quiz #5
H7s: Quick Tips for Lesson 7
H8s: Further Explanation on the use of Existential Elimination (EE)