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

• 作者: 石运宝 邹崇理
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 连续 语境自由语法 值传递 名字传递 量词位置问题 量词辖域歧义问题
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 6-16
• 页数: 11页
• 分类号: B81
• 字数: 7055字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2020.04.002

摘要

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