The following post is taken from an interview with Barbara Hall Partee by Chongli Zou.
The full transcript is here
(1) Bach, Emmon. 1989. Informal Lectures on Formal Semantics. New York: State University of New York Press.
Emmon Bach’s informal introduction to the field, which relates some of the more technical material found in other books to more intuitively graspable ideas: (Bach 1989), based on his 1984 series of lectures in China.
(2) Chierchia, Gennaro, and McConnell-Ginet, Sally. 1990. Meaning and Grammar. An Introduction to Semantics. Cambridge: MIT Press.
(Chierchia andMcConnell-Ginet 1990), an excellent introduction that includes a 15 good balance of semantics and pragmatics, and can be understood by undergraduate students as well as graduate students.
(3) Gamut, L.T.F. 1991. Logic, Langauge, and Meaning. Chicago: Chicago University Press.
Gamut (1991), two volumes. The first volume is a logic textbook that includes topics particularly relevant to semantics, such as the logic of definite descriptions and presupposition. The second volume can be used as a textbook in formal semantics and its logic (modal and tense logic, the lambda calculus, typed intensional logic), and it is an excellent introduction for those who already have some background in at least first-order logic. For linguistics students who have no background in logic and may be intimidated by it, it is not as good a textbook as Chierchia and McConnell-Ginet unless there is a teacher who is ready to help the students learn the necessary logic at the same time, but for those who come from logic or mathematics, it is probably the best introduction to formal semantics.
(4) Heim, Irene, and Kratzer, Angelika. 1998. Semantics in Generative Grammar. London: Blackwell Portner
(Heim and Kratzer 1998). This textbook is widely used in American linguistics departments. It covers a smaller range of topics than Chierchia and McConnell-Ginet or Gamut, and is in some respects idiosyncratic, but what it covers, it covers with great care, considering alternative possible analyses at every step. It is good for linguistics students who are already motivated to learn formal semantics and want a very thorough grounding in the basics. I wish it had more explicit model theory; that is one defect in the book.
There is an emphasis on the syntax-semantics interface, which is missing in the Gamut textbook; the syntax is somewhat Chomskyan, but not extremely so, and I think it can probably be used without presupposing much if any knowledge of syntax. Solutions to some of the problems in the Heim and Kratzer textbook can be found at Rajesh Bhatt’s website: http://web.mit.edu/rbhatt/www/24.903/.
Kai von Fintel and Irene Heim have a sequel textbook in preparation covering intensionality, and a “lecture notes” version of that textbook is online: http://web.mit.edu/fintel/fintel-heim-intensional.pdf . The von Fintel and Heim notes presuppose the Heim and Kratzer book.
(5) Portner Paul. 2004. What is Meaning? Fundamentals of Formal Semantics. Oxford: Cann,
A new textbook, (Portner 2004), combines the user-friendliness and accessibility of Bach (1989) with the rigor of Gamut or Heim and Kratzer. I have not yet had occasion to teach from this book, but it looks like a very good one, and it does not presuppose any background in semantics or logic. It discusses some of the philosophical issues behind some semantic debates, includes discussion of alternative approaches to semantics, treats intensionality and the problem of hyperintensionality, discusses pragmatics and its relation to semantics, and includes a good range of exercises with answers to many of them in the back of the book.
(6) There are two other textbooks that I don’t know so well, but they are by good people: (Cann 1993, de Swart 1998).
Cann, Ronnie. 1993. Formal Semantics: An Introduction: Cambridge Textbooks in Linguistics. Cambridge: Cambridge University Press
de Swart, Henriëtte. 1998. Introduction to Natural Language Semantics. Stanford: CSLI Publications.
(7) Kadmon, Nirit. 2001. Formal Pragmatics: Semantics, Pragmatics, Presupposition, and Focus. Oxford: Blackwell Publishers.
Supplementary resource: Kadmon’s introduction to Formal Pragmatics, which contains topics that overlap strongly with semantics and gives a good sense of the interconnectedness of semantics and pragmatics: (Kadmon 2001).
(8) Supplementary resources: (i) (Portner and Partee 2002), a collection of classic papers in formal semantics. (ii) (Lappin 1996), a collection of well-written survey articles in many although by no means all areas of semantics; formal semantics is well-represented but is not the only approach covered.
Portner, Paul, and Partee, Barbara H. eds. 2002. Formal Semantics: The Essential Readings.Oxford: Blackwell Publishers.
Lappin, Shalom ed. 1996. The Handbook of Contemporary Semantic Theory. Oxford: Blackwell.
(9) van Benthem, Johan, and ter Meulen, Alice eds. 1997. Handbook of Logic and Language. Amsterdam, New York, and Cambridge, Mass.: Elsevier and The MIT Press
(van Benthem and ter 16 Meulen 1997), a larger and more “advanced” handbook with a more strongly logical emphasis.