Formal Logic I
Spring 2014

Instructor: Scott Weinstein

Lectures
 MWF 10:0011:00, ANNS 111

Teaching Interns

Shira Hendler
 Office Hours/Group Tutorial Sessions:
 T 11:0012:00. Location: Education Commons 228
 R 8:009:30. Location: Williams 3

Kaiwen Zhu
 Office Hours/Group Tutorial Sessions:
 T 2:003:00. Location: Education Commons 228
 W 8:3010:00. Location: Williams 204
Text
Deductive Logic
Warren Goldfarb
Hackett, 2003, ISBN 0872206602
We plan to cover sections 141 of the text. Lecture notes for additional topics will be distributed from time to time.
 Week 1: Sections 111
 Week 2: Sections 1216
 Week 3: Sections 1824
 Week 4: Sections 2527
 Week 5: Review weeks 14
 Weeks 68: Sections 2831 & 41
 Weeks 911: Sections 3234 & 41
 Weeks 1214: Sections 3540
Course Requirements and Grades
There will be weekly problem sets,
examinations in class on Friday, February 14 and Friday, March 28, and a
final examination on Friday, May 9, 12:002:00 pm. 20% of the final grade will
be based on the problem sets, 40% on the exams in class, and 40% on the
final exam.
Problem sets will generally be assigned on Friday and will be due by 11:00 am
the subsequent Friday. Students should submit their problem sets at the end of
class on Friday or place them in the Teaching Interns' mailbox in Cohen 433
before the deadline of 11:00 am. Late problem sets will be
accepted, with a fifteen point penalty, until 9:45 am on the following Monday.
Problem Sets
A complete collection of problem sets and practice examinations for Spring Term, 2013 may be found at 005_13.html.