读过《形式意味論入門》 🌕🌕🌕🌑🌑
毫无基础的,但稍微有点兴趣然后浅尝即止的确实可以看看
规则和处理风格基本就是heim&kratzer 1998那本,反正我也没空认真翻完那书,暂且借这书看看偏句法学特色的一些问题的处理,wh移动,代词,照应,语迹,省略之类的东西
但是主体部分,除了在广义量词-集合论解释下稍微处理了下限定词的问题外,基本上都是“非形式化的”(比如对作为基础的真值条件与模型论语义涉及很浅,视角偏语言学与“句法”角度
然后就是没沿用一些符号使用惯例,区分变项和常项,完整引入数理逻辑(为了降低门槛自作聪明过了头(例外就是最后一章终于有点认真的味道,然后还挺不错(3.5吧)