Lectures and Readings |

Because this is the first time this course is being offered, and similar courses do not really exist at other schools, the syllabus at this point is simply a guess on my part. What we cover and how fast we cover it will depend on the class. You should go to the class web page before each class for detailed information on what will be covered in the next class.

All reading assignments are from the required and recommended texts. The notation "BB" stands for the book by Blackburn and Bos, while "G" stands for the logic book by Gamut. I have also included some reading from Paulson's ML for the Working Programmer in case you have access. These readings will be marked with "ML". Students should come to class having completed the indicated readings for the day.

Lecture | Date | Topic | Reading |

1. | Jan. 18 | Introduction | BB Introduction |

2. | Jan. 20 | ML programming | ML 1-2.9 |

3. | Jan. 23 | ML programming | ML 2.10-2.18 |

4. | Jan. 25 | ML programming | ML 2.19-4.13 |

5. | Jan. 30 | ML programming | ML 2.19-4.13 |

6. | Feb 1 | ML programming | ML 2.19-4.13 |

7. | Feb 1 | First-order logic review | BB 1 |

8. | Feb 3 | Defining truth | BB 1 |

9. | Feb 6 | Model checker in ML | BB 1 |

10. | Feb. 8 | Extending first order logic | BB 1 |

11. | Feb. 10 | Computational Semantics & Lambda Calculus | BB 2 |

12. | Feb. 12 | Lambda Calculus as Foundations | BB 2 |

13. | Feb. 14 | More Lambda Calculus as Foundations | BB 2 |

14. | Feb. 16 | Lambda Calculus & Semantics | BB 2 |

15. | Feb 20 | Intro to Intensional Logic | G 1, 2.1 |

16. | Feb. 22 | Intensional propositional logic | G 2 |

17. | Feb. 24 | More Intensional propositional logic | G 2 |

18. | Feb. 27 | Intensional predicate logic | G 3 |

19. | Mar. 1 | More Intensional Predicate Logic | G 3 |

| Mar. 3 | No class
| G 3 |

20. | Mar. 6 | More Intensional Predicate Logic | G 3, 4 |

21. | Mar. 8 | Intensional Theory of Types | G 5 |

22. | Mar. 10 | Semantics and Intensions | G 6 |

| Mar. 13-17 | Spring Break
| |

23. | Mar. 20 | Montague grammar | G 6 |

24. | Mar. 22 | More Montague grammar | G 6 |

25. | Mar. 24 | Montague grammar | G 6 |

26. | March 27 | Montague grammar & Partial Orders | G 6 |

27. | Mar. 29 | Lattices | |

| Mar. 31 | Holiday - Chavez Day
| |

28. | April 3 | Boolean Algebras | |

29. | April 5 | Generalize logical ops | |

30. | April 7 | Plurals | |

31. | April 10 | Quantifiers & Scope Ambiguities | BB 3 |

32. | April 12 | Quantifiers & Scope Ambiguities | BB 3 |

33. | April 14 | Quantifiers & Scope Ambiguities | BB 3 |

34. | April 17 | Quantifiers & Scope Ambiguities | BB 3 |

35. | April 19 | Quantifiers & Scope Ambiguities | BB 3 |

36. | April 21 | No class
| |

37. | April 24 | No class
| BB 3 |

38-40. | April 26 - May 1 | Final Projects | |

41. | May 3 | Summary | |

Lectures and Readings |