变元与指派在动态机制与组合性中的作用  

The Function of Variables and Assignments in Dynamic Mechanisms and Compositionality

作　　者：石运宝[1] 

机构地区：[1]中国社会科学院研究生院哲学系

出　　处：《中国社会科学院研究生院学报》2015年第3期16-20,共5页Journal of Graduate School of Chinese Academy of Social Sciences

基　　金：国家社会科学基金重大课题"自然语言信息处理的逻辑语义学研究"(10&ZD073)的资助

摘　　要：文章从塔斯基(Tarski)经典语义解释出发,阐述变元在逻辑系统中扮演的角色,并对比话语表现理论中话语所指与传统变元差异,从中得出重要结论:传统变元与话语所指的差异体现出静态与动态之分;真值条件的递归性与意义理论结合,则关系到是否贯彻组合性。The usage of variables in the first-order logic is of great importance. The key con- cept, discourse referents, used in Discourse Representation Theory proposed by Hans Ka- mp et al. , has a close relationship with first-order variables. However, from the dynamic point of view, discourse referents behavior is in a way closer to the way of computer pro- gram storage. Differences between first-order variables and discourse referents reveal the di- vergences of dynamic and static theories. Beginning with Tarski＇s classic semantic interpreta- tion, this article explains the role of variables in logical systems, compares the different performances of discourse referents in discourse representation theory and traditional varia- bles, and draws two important conclusions： the differences between traditional variables and discourse referents reflect divergences in static and dynamic analysis the combination of the recursive nature of truth conditions and meaning theories associates with whether it is compositional.

关 键 词：变元 话语所指 计算机存储 组合性 

分 类 号：H030[语言文字—语言学] O141[理学—数学]