Philosophy 5312: Seminar in Logic
Fall, 2024
Professor Joel Velasco
Office: 251C (Eng/Phil building)
Office
Hours: M, T, W 11:30-12:30 or by appointment
Class meets Mon, Wed, 10:00-11:20 in Humanities 259
All of the boilerplate information such as course policies and the grading scheme can be found on the syllabus. The readings and assignments for the course are below.
Syllabus
Required Books:
Philosophical Logic by John MacFarlane. Routledge, 2021.
You should check this website reguarly for updates. All readings should be done
before the date they are listed here. Come to class on that day prepared to discuss them. Homework assignments are due at the beginning of class on the date they are listed.
This is a tentative schedule/reading list:
Week 1 - Ch 1
- Mon, 8/26
- Wed, 8/28
- More Propositional Logic
- Homework 1 - due Monday, Sept 9th
- Extras
Week 2 - Ch 1
- Mon, 9/2
- Wed, 9/4
- Extras:
Week 3 - Ch 1
- Mon, 9/9
- Hmw 1 due
- Homework 2 - due Monday, Sept 16th
- Predicate Logic - more translations, existential proofs
- Wed, 9/11
- Extras:
Week 4 -
- Mon, 9/16 - more Predicate Logic
- Wed, 9/18
- Extras:
Week 5 -
- Mon, 9/23
- Wed, 9/25
- Extras:
Week 6 - Introduction to Modal Logic
- Mon, 9/30
- Wed, 10/2
- Extras:
Week 7 - Natural Deduction in Modal Logic
- Mon, 10/7
- Wed, 10/9
- Extras:
Week 8 - definite descriptions
- Mon, 10/14
- MacFarlane chapter 2.1, 2.2
- Wed, 10/16
- Extras:
Week 9 - Modal predicate logic
- Mon, 10/21
- Wed, 10/23
- MacFarlane chapter 3.3, 3.4
- Kripke, Naming and Necessity (pp. 34-63, 97-105)
- Extras:
Week 10 - Indicative Conditionals
- Mon, 10/28
- Wed, 10/30
- Extras:
Week 11 -
- Mon, 11/4
- Wed, 11/8
- Extras:
Week 12 -
- Mon, 11/11
- Wed, 11/13
- Extras:
Week 13 -
- Mon, 11/18
- Wed, 11/20
- Extras:
Week 14 -
- Mon, 11/25
- Wed, 11/27 -- no class. Thanksgiving
Week 15 -
- Mon, 12/2 (last class day)
Extras:
Final assignment