Advanced Deductive Logic

University of Utah, Department of Philosophy, Spring 2018

Syllabus | Schedule | Professor

Course Schedule

We will be following our two main texts closely throughout the term. However, our pace will be determined in part by my evaluations of student progress (through homeworks, class discussions, and such). Thus, the schedule below is subject to change throughout the semester. Make sure you visit this page regularly in order to keep track of the reading and homework assignments. Below, in the right column, I list your assigned reading for the week, then supplementary material, then any homework or exams.

 

Week 1 (Jan 10)

Course Introduction, Symbolic Logic as Explication, Set Theory

Sider, ch. 1; Carnap, Logical Foundations of Probability, pp. 3-7 (on CANVAS)
Carnap, Logical Foundations of Probability, pp. 8-18 (on CANVAS)
Sider, exs. 1.1-1.5
** Each week's HW is due on the following Monday morning at 10am -- turn in typed copies via CANVAS or handwritten copies to my mailbox in CTIHB 402F
Week 2 (Jan 17)

Propositional Logic: Grammar and Semantics
(Jonah Schupbach leads discussion of Shapiro)

Sider, pp. 25-37; Shapiro, ch. 1
Harman, Change in View, chs. 1-2 (on CANVAS)
Sider, exs. 2.1-2.2
Week 3 (Jan 24)

Propositional Logic: Proof Theory, Soundness
(Spencer Ivy leads discussion of Shapiro)

Sider, pp. 37-55; Shapiro, pp. 17-29
Sider, exs. 2.3, 2.4, 2.5, and 2.7
Week 4 (Jan 31)

Propositional Logic: Proof Theory, Completeness, Variations on PL
(Robert Kok leads discussion of Shapiro)

Sider, pp. 56-72; Shapiro, pp. 29-49
Sider, exs. 3.1-3.4
Week 5 (Feb 7)

Deviations from PL: 3-valued Logics (Łukasiewicz and strong Kleene), Priest's Logic of Paradox

Sider, pp. 72-82
Haack, ch. 9, sects. 1 and 2; Haack, ch. 11, sects. 1 and 2; Priest, "Logic of Paradox" and "Logic of Paradox Revisited" (all on CANVAS)
Sider, exs. 3.5, 3.8, 3.10 (a,c,e), and 3.11
Week 6 (Feb 14)

Deviations from PL: Supervaluations, Intuitionist Logic, Philosophical Applications
(Kaitlin Pettit leads discussion of Shapiro)

Sider, pp. 82-89; Shapiro, pp. 49-62
Haack, ch. 9, sect. 4; Haack, ch. 11, sects. 3 and 4; David Lewis, "Logic for Equivocators" (all on CANVAS)
Sider, exs. 3.12, 3.13, and 3.14
Week 7 (Feb 21)

Predicate Logic: Grammar, Semantics, and Proof Theory
(Soyoung Kim leads discussion of Shapiro)

Sider, pp. 90-109; Shapiro, ch. 3
Sider, exs. 4.2 (a,b), 4.3 (a,c,d), 4.4 (a,d), and 5.1 (a)
Week 8 (Feb 28)

Beyond Standard Predicate Logic: Extensions and Deviations, Second Order Logic, Free Logic
(Tiffany Campbell leads discussion of Shapiro)

Sider, pp. 110-132; Shapiro, pp. 88-111
Nolt, SEP: "Free Logic" (on CANVAS)
Sider, exs. 5.3 (a), 5.7 (a), 5.8, 5.11, 5.14, and 5.15
Week 9 (Mar 7)

Exam Week: Class meeting will include an exam review session and Shapiro reading group
(Jonah Schupbach leads reading group discussion)

Reading TBD
TAKE-HOME MIDTERM EXAM: Due Monday 3/12 by 10am
Week 10 (Mar 14)

Modal Logic: Grammar and Semantics
(Kaitlin Pettit leads discussion of Shapiro)

Sider, pp. 133-158; Shapiro, pp. 111-125
Week 11 (Mar 21) ** NO CLASS **

Spring Break

--
Week 12 (Mar 28)

Modal Logic: Metalogic, Countermodels
(Spencer Ivy leads discussion of Shapiro)

Shapiro, pp. 126-141
Sider, exs. 6.2 (a,b), and 6.3 (b,c,e,f)
Week 13 (Apr 4)

Modal Logic: Proof Theory
(Robert Kok leads discussion of Shapiro)

Sider, ch. 158-82; Shapiro, pp. 141-162
Plantinga, "The Ontological Argument" (on CANVAS)
Sider, exs. 6.4, 6.5 (b), 6.6 (a), 6.7 (a), 6.8 (a), 6.9 (b), and 6.10 (b)
Week 14 (Apr 11)

Modal Logic: Philosophical Applications
(Soyoung Kim leads discussion of Shapiro)

Sider, pp. 183-92; Shapiro, ch. 6
Haack, ch. 9, sect. 3 (on CANVAS)
Sider, exs. 7.3, 7.4, and 7.6
Week 15 (Apr 18)

Intuitionistic Logic: Proof Theory and Semantics
(Tiffany Campbell leads discussion of Shapiro)

Sider, pp. 86-89, 192-98; Shapiro, ch. 7 and "Recapitulation and Conclusion"
Sider, exs. 7.7, 7.9 (all)
Week 16 (Apr 25) ** NO CLASS **

Reading Day

TAKE-HOME FINAL EXAM: Due Monday 4/30 by 10am