重庆理工大学学报（社会科学） ›› 2020, Vol. 34 ›› Issue (4): 6-16.
• 逻辑与科学方法论 • 上一篇
石运宝，邹崇理
摘要： “连续”概念从最初萌芽到正式提出再到现在被广泛应用到计算科学、形式语义学、逻辑学等领域，经历了半个多世纪的历程，到目前仍被沿用。 “连续”在词的层面上可视为该词出现的语境。“连续”在计算科学领域指某个函数的“未来”，即与该函数相关并使得计算得以继续的新函数。在形式语义学领域，“连续”类似于某些语法（如组合范畴语法）中的类型提升操作，但不同的是，连续语义学将整个语法做了类型提升。第一部分介绍“连续”概念的涵义，第二部分给出连续语义学示例，第三部分介绍计算科学界著名的值传递和名字传递两种化简方式对应的连续语义，最后通过量词问题解析，展示“连续”在形式语义学领域中的重要价值。
中图分类号:
主管单位：重庆市教育委员会