Reading assignments are from the required textbook: Bergmann, Merrie, James Moor, and Jack Nelson. The Logic Book. 5th ed. New York, NY: McGraw-Hill, 2008. ISBN: 9780073535630.

1Basic notions of logic; arguments; the connectives
2Truth-functionality; introduction to sentential logic (SL) syntax and semantics; translationChapter 1
3Translation continued; problems with conditionals and other phenomena of natural language; truth-tablesChapter 2
4Truth-tables and logical properties of compound sentencesChapter 3
5Entailment and validity with truth-tables
6Derivations in sentential logic (SD)
7Derivations in SD/SD+Chapter 5
8Theorem-proving, reviewChapter 6.1-6.2
9Introduction to meta-theory; mathematical inductionChapter 6.3
10Soundness of SD/SD+
11Completeness of SD/SD+Chapter 6.3-6.4
12Introduction to predicate logic: Quantifiers, variables, constants, predicates, universe of discourse
13Open sentences; free vs. bound variables; scope, multiply quantified sentences; definite descriptions; properties of relations
14Identity; functions, translation to and from predicate logic (PL)Chapter 7.1-7.7
15Translation to and from PL/PLE; "most"; donkey sentences
16Informal PL/PLE semantics: Interpretations, substitutions, quantification truth, falsity, consistency, and equivalence, quantificational argument validityChapter 7.8, 8.1-8.4
17Formal PL/PLE semantics: Extensions, interpretations, variable assignments, satisfaction, truth and falsity under interpretations and variable assignmentsChapter 7.9, 8.6
18Formal PL/PLE semantics continued; reviewChapter 8.7
19Derivations in PD
20Derivations in PD+/PDEChapter 10.1-10.2
21Derivations in PDE continued; preliminaries for meta-theoryChapter 10.4
22Meta-theory: Soundness of PD, PD+, PDE
23Meta-theory: Completeness of PDChapter 11.3-11.4
24Meta-theory: Completeness continued; PD+; PDEChapter 11.1-11.4
25Review