Spring 2011rutgers university<thony@rci.rutgers.edu>online @ sakai

Intermediate Logic I

Syllabus

1 Logistics

• Lecture: m/th 11.30 am–12.50 pm

◦ hh b6

• Professor: gillies

◦ Office: 3 seminary, #12

◦ Office Hours: tbd

2 Course Description

This course will survey some prominent examples of logics, their development,

and their metatheory. We will begin with propositional logic, develop a rigorous

semantics and proof theory for it, and then prove that, in a precise sense, the

semantics and the proof system match. We will then repeat that basic recipe

for other logical systems (e.g., classical predicate logic, modal logic, conditional

logic).

3 Learning Goals

After successfully completing this course, students will have basic familiarity

with logical systems and metatheoretical proof techniques.

4 Texts

• T. Sider. 2010. Logic for Philosophy. Oxford University Press.

1

Intermediate Logic I 2

• Additional material as presented in lecture. This will be a non-trivial

portion of the material in the course. Please draw the moral that you

should come to class and take careful notes.

If, in addition, you would like to brush up on your phil 201 skills, then you

might look at this text as well:

• L. T. F. Gamut. 1991. Logic, Language, and Meaning, Vol. 1. Chicago

University Press.

5 Evaluation

Your course grade will be based on a possible 400 points to be earned through-

out the term. Here is the default itemization of the points:

• Problem Sets: approximately 12, up to 10 points each (totaling 100 points)

◦ Assigned regularly. You will be required to present some problems

to the class, and turn some problems in for grading.

◦ Note that attendance and participation have been smuggled into this

grade.

• Exams: three, 100 points each (totaling 300 points)

◦ The exam schedule is on the course website.

6 Other Academic Policies

Cheating Don’t do it. All forms of academic dishonesty (cheating, plagiarism,

etc.) will be prosecuted through the appropriate University offices.

Appeals If you wish to appeal your grade on an exam or problem set, you

must do so in writing ( 6= email) no later than one week after the exam or

problem set was originally returned to the class.