Skip to main content
8 votes

Textbooks in Formal Semantics / Montague semantics

I really depends on what you are after. Here is a list of my favorite text books, together with some short annotations. Heim & Kratzer 1998: one of the best intro to semantics if you are ...
Daniel's user avatar
  • 326
7 votes

Textbooks in Formal Semantics / Montague semantics

I warmly recommend Coppock & Champollion (2020). It's free, very accessibly written and essentially a formally precise version of Heim & Kratzer's style. It also comes with a computer program ...
Natalie Clarius's user avatar
4 votes

An Overview of Mathematical-Logical Approaches in Formalizing Natural Languages

Seconding the Kornai stuff mentioned above; it's all great. Probably the seminal text here from the point of view of relatively modern linguistics would be Partee's 1993 book, which while somewhat old ...
Fred's user avatar
  • 501
3 votes

An Overview of Mathematical-Logical Approaches in Formalizing Natural Languages

There’s probably a good encyclopedia article or handbook on mathematical linguistics, Andras Kornai wrote some books on this. You might like this blog post. https://blog.juliosong.com/linguistics/...
Julius Hamilton's user avatar
3 votes

An Overview of Mathematical-Logical Approaches in Formalizing Natural Languages

Before pointing to some literature I want to clarify the interaction between Montague semantics and categorial grammar: Montague semantics is intimately related to categorial grammar. Indeed, one the ...
sequitur's user avatar
  • 176
3 votes

An Overview of Mathematical-Logical Approaches in Formalizing Natural Languages

I’m a grad student in mathematics doing research in Formal Semantics. Work in the Montague Semantics pulls upon a lot more than just Lambda Calculus. There’s a lot of work with non-standard logic (...
m. lekk's user avatar
  • 267
2 votes

Textbooks in Formal Semantics / Montague semantics

Formal Semantics: An Introduction (Cambridge Textbooks in Linguistics) by Ronnie Cann This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a ...
polcott's user avatar
  • 145
2 votes

Formal semantics (Montague, type-theoretical) of adverbial clauses

I don't see the problem. If you know how to handle restrictive relative clauses, then you must know how to handle adverbial clauses. The example "you can sit where you like" means "you can sit in ...
Greg Lee's user avatar
  • 12.5k
1 vote

Formal semantics of the coordination of tense and modality

Maybe this is what the doctor ordered: E. Allen EMERSON, CHAPTER 16 - Temporal and Modal Logic, Editor(s): JAN VAN LEEUWEN, In Handbook of Theoretical Computer Science, Formal Models and Semantics, ...
1 vote

Connections between categories of type logical grammar and categories of combinatory categorial grammar?

Type-logical grammars typically take verbs to be derived. It is quite standard to take transitive verbs to be typed VP/NP, ditransitives as (in terms of the Lambek calculus typing conventions) VP/NP/...
TLGian's user avatar
  • 11
1 vote

Formal semantics of subordinate clauses (compound sentences) - in categorial and type logical grammars?

As I recall (I haven't gone back to McCawley's books to check this), McCawley treats subordinate clauses like prepositional phrases whose objects are sentences, and prepositions as predicates with ...
Greg Lee's user avatar
  • 12.5k
1 vote
Accepted

Representing constructive and non-constructive claims in formal semantics

I'd say the answer lies in the co-reference between the object being predicated the existence and the verbal-object status over. Recall the formalization of the two readings: de dicto: seek'(j,...
Natalie Clarius's user avatar
1 vote

Representing constructive and non-constructive claims in formal semantics

Perhaps it is pragmatic, in a sense, and has to do with who is responsible for identifying what Jack seeks as a woman. Consider for instance "Jack seeks a woman, although he may be mistaken about her ...
Greg Lee's user avatar
  • 12.5k

Only top scored, non community-wiki answers of a minimum length are eligible