Brandeis University, Fall 2010

Course Description

In this course, we examine a variety of logical systems including propositional logic, first order logic, modal logic, temporal logic, spatial logic and dynamic logic. Throughout our analyses of these systems, we will focus on how they are used in the study of language.

Course Details

Time: Tuesday and Friday 10:40-12:00 pm

Location: Volen 106

Professor: James Pustejovsky

258 Volen Center


Office Hours: MW 2:30-4:00 p.m.

Teaching Assistant: Jessica Moszkowicz

110 Volen Center


Office Hours: By Appointment

Grading Information

Your grade for this class is based on several problem sets, in-class quizzes, and class participation.  The breakdown is as follows:
  • Problem Sets (5) - 45%
  • In-class Quizzes (2) - 45%
  • Class Participation - 10%
Late Policy: Problem sets are due at the beginning of class unless otherwise stated.  For each day your assignment is late, you will lose 5%.  No extensions will be granted on the due date without a documented reason.

Recent Announcements

  • Quiz 2 Notes Here's a list of the topics to be covered for the quiz on Friday:1. RCC8 relations.2. Conceptual neighborhoods in space3. 9 Intersection Calculus relations in 2 ...
    Posted Dec 2, 2010, 9:12 AM by James Pustejovsky
  • Typo in 9IC Slides for Line-Region Intersection There is an unfortunate typo misrepresenting how lines and regions should be interpreted as intersecting point-sets. On page 44 of the slides entitled "QSR-Introduction", there are incorrect values ...
    Posted Nov 22, 2010, 8:26 AM by James Pustejovsky
  • Readings about Motion Calculi Several readings have been posted on this topic and they will be discussed in class on Friday.  It's ok if you don't have time to read them ahead ...
    Posted Nov 18, 2010, 7:03 AM by Jessica Moszkowicz
  • Syllabus Updates There have been some slight updates to the syllabus.  In addition to some changes to the topics, the final problem set will now be handed out on Friday and is ...
    Posted Nov 9, 2010, 7:14 AM by Jessica Moszkowicz
  • Space, the ... We enter the domain of spatial interpretation with our modal toolkit, and we find that we need more than conventional modal accessibility relations in order to model spatial configurations. I ...
    Posted Nov 3, 2010, 6:50 PM by James Pustejovsky
Showing posts 1 - 5 of 16. View more »

Homework Assignments

  • Problem Set 5 Problem Set 5 is now available.  It is due on November 23.  Good luck!
    Posted Nov 12, 2010, 12:38 PM by Jessica Moszkowicz
  • Problem Set 4 Problem Set 4 is now available.  The problem set due date has changed to November 5 since it was posted a bit late.  Good luck!
    Posted Oct 26, 2010, 12:36 PM by Jessica Moszkowicz
  • Problem Set 3 Problem Set 3 is now available.  It is due on Tuesday, October 5 in class.  This problem set covers models for modal logic, natural deduction for modal logic, and quantified ...
    Posted Sep 24, 2010, 11:05 AM by Jessica Moszkowicz
  • PS2 Due Date Changed! Problem Set 2 is now due at the beginning of class on Tuesday, September 21.
    Posted Sep 17, 2010, 8:51 AM by Jessica Moszkowicz
  • Hint for PS 2 When you're working on the natural deduction proofs for PS2, it might be helpful to consider rewriting a formula uses a logical equivalence.  For example, there is an equivalence ...
    Posted Sep 15, 2010, 7:23 PM by Jessica Moszkowicz
Showing posts 1 - 5 of 8. View more »