-
题名连续语义学及其分析量词位置和辖域问题的尝试
- 1
-
-
作者
石运宝
邹崇理
-
机构
湘潭大学碧泉书院·哲学与历史文化学院
-
出处
《重庆理工大学学报(社会科学)》
CAS
2020年第4期6-16,共11页
-
基金
国家社会科学基金重大项目“面向计算机人工智能的组合范畴语法研究”(17ZDA027)。
-
文摘
“连续”概念从最初萌芽到正式提出再到现在被广泛应用到计算科学、形式语义学、逻辑学等领域,经历了半个多世纪的历程,到目前仍被沿用。“连续”在词的层面上可视为该词出现的语境。“连续”在计算科学领域指某个函数的“未来”,即与该函数相关并使得计算得以继续的新函数。在形式语义学领域,“连续”类似于某些语法(如组合范畴语法)中的类型提升操作,但不同的是,连续语义学将整个语法做了类型提升。第一部分介绍“连续”概念的涵义,第二部分给出连续语义学示例,第三部分介绍计算科学界著名的值传递和名字传递两种化简方式对应的连续语义,最后通过量词问题解析,展示“连续”在形式语义学领域中的重要价值。
-
关键词
连续
语境自由语法
值传递
名字传递
量词位置问题
量词辖域歧义问题
-
Keywords
continuation
context-free grammar
call-by-value
call-by-name
quantifier locations problem
quantifier scope ambiguity problem
-
分类号
B81
[哲学宗教—逻辑学]
-