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

摘要：

"连续"概念从最初萌芽到正式提出再到现在被广泛应用到计算科学、形式语义学、逻辑学等领域,经历了半个多世纪的历程,到目前仍被沿用."连续"在词的层面上可视为该词出现的语境."连续"在计算科学领域指某个函数的"未来",即与该函数相关并使得计算得以继续的新函数.在形式语义学领域,"连续"类似于某些语法(如组合范畴语法)中的类型提升操作,但不同的是,连续语义学将整个语法做了类型提升.第一部分介绍"连续"概念的涵义,第二部分给出连续语义学示例,第三部分介绍计算科学界著名的值传递和名字传递两种化简方式对应的连续语义,最后通过量词问题解析,展示"连续"在形式语义学领域中的重要价值.

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

所属期刊栏目：34

分类号：B81(逻辑学(论理学))

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

在线出版日期：2020-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：6-16