553 Formal Semantics I (Spring 2000)
 
Syllabus
553: Formal Semantics I
Maribel Romero

Description of the course

This course introduces you to the main concerns of current Formal Semantics. It teaches you how the meaning of a complex linguistic expression can be construed combining the meanings of the simple words that compose it. By studying different aspects of this semantic composition, the course provides you with tools to investigate empirical properties of natural language and with a basic background to understand current research on the field.

Required Background

  • Ling548 (Fall 2002) or analogous formal background in Logic is required.
  • Some syntax course is recommended.
If you need additional help with the technical part of this course, do not hesitate to contact me at any point.

Main Topics and Tentative Schedule

Week of Topic
Jan 17 (part) 1. Introduction: Compositionality. Denotations in Truth-Conditional Semantics.
Jan 17 -Jan 24 2. Mathematical tools I:
  • Set theory
  • Propositional Logic
  • First Order Logic
Jan 31 3. Names and non-verbal predicates.
**Take Home I**
Feb 7 (part) 4. Mathematical tools II: brief excursus into:
  • Type Theory
  • 2nd Order Predicate Logic
  • l-calculus
Feb 7 - Feb 14 5. Non-verbal predicates. Modifiers. The definite article.
Feb 21 6. More on modifiers: Relative Clauses.
Feb 28 7. Pronouns I: variable binding in Natural Language.
**Take Home II**
March 6 8. Quantification I: properties of natural language Determiners.
March 13 Spring Break
March 20 9. Quantification II: the scope of Quantificational Noun Phrases.
March 27 10. Pronouns II: cross-clausal and cross-sentential anaphora. Brief introduction to Dynamic Semantics.
April 3 11. Pronouns III: E-type pronouns, pronouns of laziness.
**Take Home III**
April 10 12. Intensionality I: Modals. Conditionals.
April 17 13. Intensionality II: Attitude reports.
April 24 14. Presupposition.
**Take Home IV**
May 8 ***Project Presentation***

Texts

There are two textbooks, which I ordered at the bookstore "House of Our Own", 3920 Spruce St., (215) 222-1576:

  • Heim, I., and A. Kratzer. 1998. Semantics in Generative Grammar. Blackwell.
  • Gamut, L.T.F. 1991. Logic, Language, and Meaning. VOLUME 2. University of Chicago Press.
Other books that I recommend and that I may pass out readings from are the following:
  • Chierchia, G., and McConnell-Ginet, S. 1990. Meaning and Grammar: An Introduction to Semantics. MIT Press.
  • Gamut, L.T.F. 1991. Logic, Language, and Meaning. VOLUME 1. University of Chicago Press. (I also ordered some copies of this one)
  • Partee, B., Ter Meulen, A. , and Wall. 1990. Mathematical Methods in Linguistics. Kluwer.  
Course Requirements and Grade
  • Attendance, weekly readings from the aforementioned books and from selected papers, regularly assigned homework exercises, four Take Home assignments, and one (possibly joint) class presentation.
  • On a regular basis (almost every week), you will be assigned some homework exercises. These assignments will not get a grade. We will go over them in class all together to make sure that everybody understood them (be ready to be called to do them on the blackboard). This work is for your own benefit: you are encouraged to work in teams if you find that it helps you, and you should contact me as soon as you get stuck. The purpose of it is to prepare you for…
  • …the four Take Home assignments, which you have to hand in on the date they are due and which you will get a grade for.
  • Towards the end of the semester, you have to give a (possibly joint) project presentation. You are expected to present your own piece of research (possibly an extension of some homework assignment) or review critically some extra readings (from the aforementioned texts, and/or from some papers that I will assign you). You should meet with me and have a topic no later than March 29. All presentations require a handout.
  • Your grade will be based on your three best Take Homes, your project presentation and your class participation.  

Contact Information
Office hours: TBA, Williams Hall 610
romero@ling.upenn.edu
Office phone: 573-5192


 Back to Maribel Romero's homepage
 Back to Maribel Romero's classes
Questions and comments to Maribel Romero (romero@ling.upenn.edu)