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