Slides will be uploaded after each lecture.

• Course Manual  • 
• Lecture 1: Introduction, Logistics & Core concepts. (weeks 1 + 2) •      
• Lecture 2: Set theory: formal elements of the metalinguistic system.  •      
• Lecture 3: Executing the Fregean Programme.  •      
• Lecture 4: Predication, Modification, Presupposition.  •      
  • Extra: IKEA manual.  •
• Lecture 5: Relatives, variables, binding.  •      
• Lecture 6: Quantification.  •      

Note: The slides are based almost exclusively on Heim & Kratzer (1998).

• Open problem set #1: Set Theory. •  
  • Exercises: Sets. (solutions here) •  
  • Exercise: (Deducing formal properties of) Functions. (solutions to be revealed during the discussion on Slack) • 
  • Recap: Sets. • 
  • Exercise: Eurofunction. (Discuss on Slack). •  
• Open problem set #2: Relations & Functions. •  
• Open problem set #3: Schönfinkelisation & Types. •  
• Open problem set #4: λ-reduction & Types. •  
• Open problem set #5: Relatives & Quantification. •  
  • Cheatsheet [ver. 1]

Coming soon …