Formal Logic I

• Instructor: Scott Weinstein
  • Office: Cohen 462
  • E-mail: weinstein@cis.upenn.edu
  • Office Hours: M 11:00-12:30, W 11:30-12:30 and by appt.
• Lectures
  • MW 10:00-11:00, COHEN 402
• Recitations
  • For students with last initial A-G, F 10:00-11:00, COHEN 392, led by Joel McCarthy
  • For students with last initial H-Q, F 10:00-11:00, COHEN 402, led by Harold Parker
  • For students with last initial R-Z, F 10:00-11:00, DRLB 4C4, led by Grace Zhang
• Teaching Interns
  • Joel McCarthy
    • E-mail: joelmmccarthy@gmail.com
    • Office Hours: T 6:00-8:00 p.m. Location: WILLIAMS 302
    Harold Parker
    • E-mail: hparker@sas.upenn.edu
    • Office Hours: R 6:00-8:00 p.m. Location: COHEN 401
  • Grace Zhang
    • E-mail: gracez@sas.upenn.edu
    • Office Hours: W 4:00-6:00 p.m. Location: WILLIAMS 216

Text

We plan to cover sections 1-41 of the text. Lecture notes for additional topics will be distributed from time to time.

Course Requirements and Grades

There will be nine problem sets with due dates specified in the Calendar linked below, examinations in class on Monday, February 15 and Monday, March 28, and a final examination on Monday, May 2, 12:00-2:00 pm. 10% of the final grade will be based participation in the problem sessions, 20% on the problem sets, 40% on the exams in class, and 30% on the final exam. Collaboration on problem sets is encouraged. Conduct during examinations is governed by strict adherence to the University of Pennsylvania's Code of Acdemic Integrity.

Calendar of Class Meetings, Assignments, Examinations, and Schedule of Readings

Memoirs

• Class Meeting of 04.27
• Class Meeting of 04.25
• Class Meeting of 04.20
• Class Meeting of 04.18
• Class Meeting of 04.13
• Class Meeting of 04.11
• Class Meeting of 04.06
• Class Meeting of 04.04
• Class Meeting of 03.30
• Class Meeting of 03.23
• Class Meeting of 03.21
• Class Meetings of 03.14 and 03.16
• Class Meeting of 03.02
• Class Meeting of 02.29
• Class Meeting of 02.24
• Class Meeting of 02.22
• Class Meeting of 02.17
• Class Meeting of 02.10
• Class Meeting of 02.08
• Class Meeting of 02.03
• Class Meeting of 02.01
• Class Meeting of 01.27
• Class Meeting of 01.25
• Class Meeting of 01.20
• Class Meeting of 01.13

Previews

• Preview of 04.06
• Preview of 04.04
• Preview of 03.30 and beyond
• Preview of 03.21
• Preview of 03.14
• Preview of 02.29
• Preview of 02.22
• Preview of 02.17
• Preview of 02.10
• Preview of 02.08
• Preview of 02.03
• Preview of 02.01
• Preview of 01.27
• Preview of 01.25
• Preview of 01.20

Problem Sets and Practice Examinations

• Practice Final Examination (Final Examination will be held in 200 College Hall on 16.05.02 from 12:00-2:00 p.m.)
• Definitions for Practice Final Examination
• Problem Set 9 due 16.04.25
• Problem Set 8 due 16.04.11
• Problem Set 7 due 16.04.04
• Practice Examination 2 (Examination 2 will be held in class on 16.03.28)
• Definitions for Practice Examination 2
• Problem Set 6 due 16.03.21
• Problem Set 5 due 16.03.14
• Problem Set 4 due 16.02.22
• Practice Examination 1 (Examination 1 will be held in class on 16.02.15)
• Problem Set 3 due 16.02.08
• Problem Set 2 due 16.02.01
• Problem Set 1 due 16.01.25