Introduction to Symbolic Logic

Course information
Time: MW 11:00am 12:15pm
Location: 209 Havemeyer Hall
Required Text: Haim Gaifmans A Course in Symbolic Logic, available at
Village Copier (between 111 and 112 on Broadway)
Grading:
Test 1 25%
Test 2 25%
Final Exam 40%
Homework 10%

Instructor information
Name: Jeff Helzner
Office: 721 Philosophy Hall
Phone: 854-1581
Email: jh2239@columbia.edu
Office Hours: by appointment

Schedule
1.21.
1.26.
1.28.
2/2.
2/4.
2/9.
2/11.
2/16.
2/18.
2/23.
2/25.
3/2.
3/4.
3/9.
3/11.
3/23.
3/25.
3/30.
4/1.
4/6.
4/8.
4/13.
4/15.
4/20.
4/22.
4/27.
4/29.
5/4.

Introductory remarks
Chapter 1 and Sections 2.0-2.1.3
Sections 2.1.4-2.2.3
Sections 2.3-2.4
Sections 2.5-2.5.3
Sections 2.6, 3.0-3.1.2
Sections 3.1.3-3.1.4, 4.0-4.1
Sections 4.2-4.2.3
Sections 4.3-4.3.3
Sections 4.4-4.4.1
Sections 4.5-4.5.2
TEST 1 *** TEST 1 *** TEST 1
Sections 5.0-5.1.4
Sections 5.2-5.2.4
Sections 7.0-7.1.1
Sections 7.2-7.2.1
Sections 7.3-7.3.3
Sections 7.4-7.4.2
TEST 2 *** TEST 2 *** TEST 2
Sections 8.1-8.2.1
Sections 8.2.2-8.2.4
Sections 8.3-8.3.2
Sections 8.3.3-8.3.6
Sections 9.1-9.1.2
Sections 9.2-9.2.3
Sections 9.3-9.3.3
To be decided
To be decided