David Braun Home | Research | Teaching | CV

Announcements

• Instructor: David Braun, Lattimore 525, (585) 275-8107, david.braun@rochester.edu, Office Hours Mondays 2:00-4:00

• Time and location of class meetings: MWF 1:00-1:50 pm, Morey 501.

• When sending e-mail to Braun, please use your mail.rochester.edu account and put “Logic” or “PHL 214” in the subject line.

• Our first examination will take place on Friday, February 15, at our usual class time and location.

• There will be no class on Wednesday and Friday, March 19 and 21. (I will be away at a conference.)

• Our second examination will take place on Friday, March 28.

• Our third examination will take place on Tuesday, May 6, 7:15 pm, at our usual location for class (Morey 501).

Downloads

These are pdf documents

• Syllabus

• Practice Problems for the First Examination (Revised February 11)

• Some Solutions to the Practice Problems for the First Examination

• First Examination Solutions

• Practice Problems for the Second Examination (revised March 26)

• Practice Problems for the Third Examination

Links

• “Classical Logic,” *Stanford Encyclopedia of Philosophy*

• “Modal Logic,” *Stanford Encyclopedia of Philosophy*

• “Temporal Logic,” *Stanford Encyclopedia of Philosophy*

Homework Assignments and Solutions

The following are pdf documents. Click here to download the Adobe Reader for pdf files, free of charge.

• Homework 1 Solutions (revised January 24)

• Homework 2 Solutions

• Homework 3 Solutions

• Homework 4 Solutions

• Homework 5 Solutions

• Homework 6 Solutions (revised February 28)

• Homework 7 Solutions (revised March 6)

• Homework 8 Solutions

• Homework 9 Solutions

• Homework 10 Solutions (revised April 3)

• Homework 11 Solutions

• Homework 12 Solutions (revised April 21)

• Homework 13 Solutions

• Homework 14 Solutions