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, review sessions, exams, etc.

 

Week 1 (Jan 10)

Course Introduction, Symbolic Logic as Explication, Set Theory

Sider, ch. 1; Carnap, Logical Foundations of Probability, ch. 1 (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
(TBD leads discussion of ...)

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
(TBD leads discussion of ...)

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
(TBD leads discussion of ...)

Sider, pp. 56-72; Shapiro, pp. 29-49
Sider, exs. 3.1, 3.2, and 3.4

Week 5 (Feb 7)

Deviations from PL: 3-valued Logics (Ɓukasiewicz and strong Kleene), Priest's Logic of Paradox
(TBD leads discussion of ...)

Sider, pp. 72-82; Shapiro, pp. 49-62
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
(TBD leads discussion of ...)

Sider, pp. 82-89; Shapiro, ch. 3
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
(TBD leads discussion of ...)

Sider, pp. 90-109; Shapiro, pp. 88-111
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
(TBD leads discussion of ...)

Sider, pp. 110-132; Shapiro, pp. 111-125
Sider, exs. 5.3, 5.7, 5.8, 5.9, 5.12, 5.14, 5.15

Week 9 (Mar 7)

Exam Week: Class meeting will include an exam review session and Shapiro reading group
(TBD leads discussion of ...)

TAKE-HOME MIDTERM EXAM: Due Monday 3/12 by 10am

Week 10 (Mar 14)

Modal Logic: Grammar and Semantics
(TBD leads discussion of ...)

Sider, pp. 133-158; Shapiro, pp. 126-141
Sider, exs. 6.2 (a,b), and 6.3 (b,c,e,f)

Week 11 (Mar 21) ** NO CLASS **

Spring Break

--

Week 12 (Mar 28)

Modal Logic: Proof Theory
(TBD leads discussion of ...)

Sider, pp. 158-182; 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 13 (Apr 4)

Modal Logic: Philosophical Applications; Intuitionistic Logic
(TBD leads discussion of ...)

Sider, ch. 7; Shapiro, ch. 6
Haber, "How to Misidentify a Type Specimen" (on CANVAS); Witteveen, "Naming and Contingency" (on CANVAS) Haack, ch. 9, sect. 3 (on CANVAS)
Sider, exs. 7.3, 7.4, 7.6, and 7.9 (all)

Week 14 (Apr 11)

Modal Logic: Counterfactuals
(TBD leads discussion of ...)

Sider, ch. 8; Shapiro, ch. 7
Sider, exs. 8.2, 8.3 (a,d), 8.4 (a,b), 8.5

Week 15 (Apr 18)

Quantified Modal Logic
(TBD leads discussion of ...)

Sider, ch. 9; Shapiro, "Recapitulation and Conclusion"
Sider, exs. 9.2, 9.4, and 9.5

Week 16 (Apr 25) ** NO CLASS **

Reading Day

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