From Logic to Montague Grammar:
Assignments


Assignment 1: Problem Set on the 'Formal Preliminaries'
  • Assignment 1: Answers and Notes

  • Assignment 2: Problem Set on PL and FOL: Translation and Natural Deduction
  • Assignment 2: Answers and Notes

  • Assignment 3: Problem Set on PL and FOL: Formal Semantics
  • Assignment 3: Answers and Notes

  • Assignment 4: Problem Set on Syntactic Operations, Semantic Operations, Homomorphisms
  • Assignment 4: Answers and Notes

  • Assignment 5: Problem Set on Languages and Interpretations
  • Assignment 5: Answers and Notes

  • Assignment 6: Problem Set on Translation and Indirect Interpretation
  • Assignment 6: Answers and Notes

  • Assignment 7: Problem Set on the Analysis of Quantification
  • Assignment 7: Answers and Notes

  • Assignment 8: Final, Extended Problem Set on the PTQ System


    Optional Exercises on the Syntax and Semantics of Typed Logic (TL)