内容介绍

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成规律。本书介绍了经典形式语义学理论的两个重要代表——塔斯基真值语义理论和蒙太格语法，描述了动态语义学理论——话语表现理论，着重探讨了分段式话语表现理论，对汉语复句、句群研究与分段式话语表现理论进行了对比研究，发现它们之间存在许多相同或相似之处。本书用分段式话语表现理论对汉语话语语义进行分析，为汉语形式化问题作了一些有益的思考，希望更多的汉语语义问题会得到更妥善的解决。