连续语义学及其分析量词位置和辖域问题的尝试  

Continuation semantics and the attempt of its applications on analysis of quantifier locations and scope problems

作　　者：石运宝 邹崇理 SHI Yunbao;ZOU Chongli(Biquan Academy·Philosophy and History Culture College, Xiangtan University, Xiangtan 411105, China)

机构地区：[1]湘潭大学碧泉书院·哲学与历史文化学院,湖南湘潭411105

出　　处：《重庆理工大学学报（社会科学）》2020年第4期6-16,共11页Journal of Chongqing University of Technology（Social Science）

基　　金：国家社会科学基金重大项目“面向计算机人工智能的组合范畴语法研究”(17ZDA027)。

摘　　要：“连续”概念从最初萌芽到正式提出再到现在被广泛应用到计算科学、形式语义学、逻辑学等领域,经历了半个多世纪的历程,到目前仍被沿用。“连续”在词的层面上可视为该词出现的语境。“连续”在计算科学领域指某个函数的“未来”,即与该函数相关并使得计算得以继续的新函数。在形式语义学领域,“连续”类似于某些语法(如组合范畴语法)中的类型提升操作,但不同的是,连续语义学将整个语法做了类型提升。第一部分介绍“连续”概念的涵义,第二部分给出连续语义学示例,第三部分介绍计算科学界著名的值传递和名字传递两种化简方式对应的连续语义,最后通过量词问题解析,展示“连续”在形式语义学领域中的重要价值。It has been more than half century for the concept of continuation from its embryonic stage to its general applications on computational science,formal semantics,and logic,and now it is still being used.On the level of words,continuation can be thought of as the context in which that word occurs in.While in the field of computational science,the continuation refers to a function’s future,i.e.,a new function which is relative to that function and can make the computation to proceed.In the field of formal semantics,continuation is similar to the improving structure of some grammars(such as combinatory categorical grammar),and continuation semantics make some grammar structure improving wholly.The first part of this paper interprets the connotation of continuation.The second part gives some examples of continuation semantics.The third part introduces two kinds of reduction and their continuation semantics which are famous in the field of computational science,namely,call-by-value and call-by-name.Lastly,by way of analysis of quantifier problems,this paper displays the significant value of continuation in formal semantics.

关 键 词：连续 语境自由语法 值传递 名字传递 量词位置问题 量词辖域歧义问题 

分 类 号：B81[哲学宗教—逻辑学]