读过《逻辑语义学》 🌕🌕🌕🌕🌑
本书主体部分即（2-9章）重点刻画形式语义的运算部分，即相关语句的函数的给出和在模型中确定真值的运算，整个技术过程可谓讲得非常详尽，这是对比国内现有的几本形式语义导论性著作的特点，如果对相关的真值条件分析中的技术性内容有兴趣但是仍比较模糊可以翻翻。

当然相反就没有在句子依照相关的句法-语义规则在组合性原则下的同态生成过程中着墨太多。

以及拓展度一般，就讲了下话语表现（驴子句）和“预设”相关。不过专门讲预设的那章，讲承认“预设”的情况下，组合性原则是否也适用于相关语句的预设的projection problem，和其中karttunen的相关研究倒挺有意思的（不过都讲得很粗糙就是了

在形式化对部分，低级的编辑错误出现得有点多........