PHIL 120: Symbolic Logic I
Instructor: Agustín Rayo
Office: HSS 8061
Phone: (858) 822-2686
E-mail: arayo@ucsd.edu
Office hours: Mondays and Wednesdays 4:00 - 5:00 (in Solis 105), or by appointment.Teaching Assistant: Sharon Skare
Office: HSS 8073
E-mail: sharon@mind.ucsd.edu
Office hours: Tuesdays and Thursdays 8:30 - 9:30 (in Solis 105), or by appointment.Meetings: Tuesdays and Thursdays 11:00-12:20
Room: WLH 2111
General information about the course:
Tentative schedule:
- Session 1: Introduction
Thursday September 23
Homework due: September 30, 9:15 AM- Session 2: Symbolizing `Not' and `If'
Tuesday September 28
Reading: Chapter I, introduction and sections 1,2 (pp. 1-13).
Homework due: October 5, 8:15 AM- Session 3: Derivations
Thursday September 30
Reading: Chapter I, section 3 (pp. 13-32).
Homework due: October 7, 9:15 AM- Session 4: More derivations
Tuesday October 5
Reading: Chapter I, sections 4,5 (pp. 32-40).
Homework due: October 12, 9:15 AM- Session 5: MORE Derivations
Thursday October 7
Reading: Chapter I, section 6 (pp. 40-44).
Homework due: October 14, IN CLASS- Session 6: Symbolizing `And', `Or' and `If and only if'
Tuesday October 12
Reading: Chapter II, sections 1-3 (pp. 50-63).
Homework due: October 19, 8:15 AM- Session 7: Derivations
Thursday October 14
Reading: Chapter II, sections 4,5 (pp. 63-75).
Homework due: October 21, 9:15 AM- Session 8: More derivations
Tuesday October 19
Reading: Chapter II, sections 6,7 (pp. 75-87).
Homework due: October 26, 9:15 AM- Session 9: Truth-values
Thursday October 21
Reading: Chapter II, section 8 (pp. 87-99).
Homework due: October 28, 8:15 AM (because of mid-term)- Session 10: Review session
Tuesday October 26
Reading: Chapter II, section 9 (pp. 99-105).
Homework due: November 2, 9:15 AM- Session 11: MID-TERM EXAM
Thursday October 28- Session 12: Symbolizing `All' and `Some'
Tuesday November 2
Reading: Chapter III, sections 1-2 (pp. 117-125).
Homework due: November 9, 9:15 AM- Session 13: Symbolizing `All' and `Some' (continued)
Thursday November 4
Reading: Chapter III, sections 3-4 (pp. 126-139).
Homework due: November 16, 9:15 AM- Session 14: Derivations
Tuesday November 9
Reading: Chapter III, sections 5,6 (pp. 139-146).
Homework due: November 16, 9:15 AM- Session 15: VETERANS DAY HOLIDAY - NO CLASS
Thursday November 11- Session 16: More derivations
Tuesday November 16
Chapter III, sections 7-9 (pp. 146-161).
Reading: Homework due: November 23, 9:15 AM- Session 17: MORE Derivations
Thursday November 18
Reading: Chapter III, sections 10,11 (pp. 161-174).
Homework due: November 30, 9:15 AM- Session 18: Models
Tuesday November 23
Reading: Chapter III, section 12 (pp. 174-184)
(material on truth-functional expansions may be skipped).
Homework due: November 30, 9:15 AM- Session 19: THANKSGIVING HOLIDAY - NO CLASS
Thursday November 25- Session 20: More models
Tuesday November 30
Reading: Chapter III, section 12 (pp. 174-184)
(material on truth-functional expansions may be skipped).
No Homework- Session 21: Review session
Thursday December 2
Please note that the scheduling information on this site is tentative, and can be expected to change as the course progresses.