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.

I am so lucky to access this book review when worrying about which one to choose from. It is really helpful and covers most of the textbooks I can think of! But the list seems to have missed two nice books related to formal semantics. If you wouldn’t mind, could there be any remark from you on these two?

*Everything that Linguists have Always Wanted to Know about Logic . . . But Were Ashamed to Ask. 1994. James McCawley

*Mathematical Methods in Linguistics. 1990. Barbara B.H. Partee, A.G. ter Meulen, R. Wall

LikeLike

They are not textbooks in formal semantics, but they are indeed related, and they are both very good and very useful (if I may say that also about one that I’m a co-author of.) Sorry I didn’t see this post until now!

LikeLike

This would be a great post, but it really suffers from not citing the works properly. At the very least, the titles of the books should be mentioned so they can be unambiguously obtained.

LikeLike

Thank you for your comments! I have put the full references up as you suggested. Also, the post is only a part of an interview with professor Partee conducted by Chongli Zou in 2006. The full transcript of the interview can be found here:http://people.umass.edu/partee/docs/Visiting%20Partee_English_3.pdf

LikeLike

Especially if you make a small mistake, it makes the work far harder to find. The correct reference is probably this one.

Portner & Partee (2002) “Formal Semantics: The Essential Readings”

LikeLike