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

发布时间：2017-12-28 21:02

  本文关键词：变元与指派在动态机制与组合性中的作用　出处：《中国社会科学院研究生院学报》2015年03期 　论文类型：期刊论文

  更多相关文章： 变元 话语所指 计算机存储 组合性

【摘要】：文章从塔斯基(Tarski)经典语义解释出发,阐述变元在逻辑系统中扮演的角色,并对比话语表现理论中话语所指与传统变元差异,从中得出重要结论:传统变元与话语所指的差异体现出静态与动态之分;真值条件的递归性与意义理论结合,则关系到是否贯彻组合性。
[Abstract]:This article from the Tarski (Tarski) classic semantic interpretation of this variable plays in the logic system in the role, and contrastive discourse discourse representation theory referred to in element difference with traditional variable, draws the conclusion: from the difference between the traditional argument and discourse refers to reflect the static and dynamic points and recursive; the theory of meaning with the truth value of the condition, is related to whether or not to carry out the combination of.
【作者单位】： 中国社会科学院研究生院哲学系;
【基金】：国家社会科学基金重大课题“自然语言信息处理的逻辑语义学研究”(10&ZD073)的资助
【分类号】：H030;O141
【正文快照】： _ — 给定-阶语言L,娜糖}r岕奴义,先给出赋值定义。 定义1:令M=〈M,I〉为一个L模型(解释非逻辑符号个体常项、函数符号、}，

本文编号：1347387