形式意味論入門 在线电子书 图书标签: 语言学  形式语义学   

喜欢 形式意味論入門 在线电子书 的读者还喜欢

毫无基础的，但稍微有点兴趣然后浅尝即止的确实可以看看 规则和处理风格基本就是heim&kratzer 1998那本，反正我也没空认真翻完那书，暂且借这书看看偏句法学特色的一些问题的处理，wh移动，代词，照应，语迹，省略之类的东西 但是主体部分，除了在广义量词-集合论解释下稍微处理了下限定词的问题，基本上放弃了用形式逻辑的模型论-真值条件语义去进行严格的自然语言的语义解释（系统就基本上离可递归性和机械可计算性的目标十分遥远），完全没提及和考察翻译工作，当然更不可能考察自然语言与形式逻辑间的一些关键问题了，视角太“句法”了（喜欢不起来） 然后就是没沿用一些符号使用惯例，区分变项和常项，完整引入数理逻辑（为了降低门槛自作聪明过了头（例外就是最后一章终于有点认真的味道，然后还挺不错（3.5吧）

毫无基础的，但稍微有点兴趣然后浅尝即止的确实可以看看 规则和处理风格基本就是heim&kratzer 1998那本，反正我也没空认真翻完那书，暂且借这书看看偏句法学特色的一些问题的处理，wh移动，代词，照应，语迹，省略之类的东西 但是主体部分，除了在广义量词-集合论解释下稍微处理了下限定词的问题，基本上放弃了用形式逻辑的模型论-真值条件语义去进行严格的自然语言的语义解释（系统就基本上离可递归性和机械可计算性的目标十分遥远），完全没提及和考察翻译工作，当然更不可能考察自然语言与形式逻辑间的一些关键问题了，视角太“句法”了（喜欢不起来） 然后就是没沿用一些符号使用惯例，区分变项和常项，完整引入数理逻辑（为了降低门槛自作聪明过了头（例外就是最后一章终于有点认真的味道，然后还挺不错（3.5吧）

毫无基础的，但稍微有点兴趣然后浅尝即止的确实可以看看 规则和处理风格基本就是heim&kratzer 1998那本，反正我也没空认真翻完那书，暂且借这书看看偏句法学特色的一些问题的处理，wh移动，代词，照应，语迹，省略之类的东西 但是主体部分，除了在广义量词-集合论解释下稍微处理了下限定词的问题，基本上放弃了用形式逻辑的模型论-真值条件语义去进行严格的自然语言的语义解释（系统就基本上离可递归性和机械可计算性的目标十分遥远），完全没提及和考察翻译工作，当然更不可能考察自然语言与形式逻辑间的一些关键问题了，视角太“句法”了（喜欢不起来） 然后就是没沿用一些符号使用惯例，区分变项和常项，完整引入数理逻辑（为了降低门槛自作聪明过了头（例外就是最后一章终于有点认真的味道，然后还挺不错（3.5吧）

毫无基础的，但稍微有点兴趣然后浅尝即止的确实可以看看 规则和处理风格基本就是heim&kratzer 1998那本，反正我也没空认真翻完那书，暂且借这书看看偏句法学特色的一些问题的处理，wh移动，代词，照应，语迹，省略之类的东西 但是主体部分，除了在广义量词-集合论解释下稍微处理了下限定词的问题，基本上放弃了用形式逻辑的模型论-真值条件语义去进行严格的自然语言的语义解释（系统就基本上离可递归性和机械可计算性的目标十分遥远），完全没提及和考察翻译工作，当然更不可能考察自然语言与形式逻辑间的一些关键问题了，视角太“句法”了（喜欢不起来） 然后就是没沿用一些符号使用惯例，区分变项和常项，完整引入数理逻辑（为了降低门槛自作聪明过了头（例外就是最后一章终于有点认真的味道，然后还挺不错（3.5吧）

毫无基础的，但稍微有点兴趣然后浅尝即止的确实可以看看 规则和处理风格基本就是heim&kratzer 1998那本，反正我也没空认真翻完那书，暂且借这书看看偏句法学特色的一些问题的处理，wh移动，代词，照应，语迹，省略之类的东西 但是主体部分，除了在广义量词-集合论解释下稍微处理了下限定词的问题，基本上放弃了用形式逻辑的模型论-真值条件语义去进行严格的自然语言的语义解释（系统就基本上离可递归性和机械可计算性的目标十分遥远），完全没提及和考察翻译工作，当然更不可能考察自然语言与形式逻辑间的一些关键问题了，视角太“句法”了（喜欢不起来） 然后就是没沿用一些符号使用惯例，区分变项和常项，完整引入数理逻辑（为了降低门槛自作聪明过了头（例外就是最后一章终于有点认真的味道，然后还挺不错（3.5吧）