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 ...
- 326
6
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 ...
- 6,478
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 ...
- 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/...
- 371
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 ...
- 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 (...
- 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 ...
- 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 ...
- 12.4k
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/...
- 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 ...
- 12.4k
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,...
- 6,478
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 ...
- 12.4k
Only top scored, non community-wiki answers of a minimum length are eligible