I browsed the table of content of Cann's Formal Semantics. Cann's book is for linguistics, and am I right that it is helpful for computational linguistics and natural language processing?
But it also seems to me that the approaches to NLP have been predominantly based on statistics and machine learning in applications (and maybe also research), which I think is completely unrelated to formal semantics?
So is formal semantics still useful for computational linguistics and NLP in applications and in research?
If not, what specific statistics and machine learning approaches have become successful replacement of formal semantics?
If yes, any actual implementations (or worked out suggestions for possible implementations) of formal semantics being used in computational linguistics and NLP?