关于“现在”算子冗余性的一个注记
发布人：网站编辑
发布日期：2023-01-09
逻辑学研究 2021 年第 2 期，22–34 文章编号：16743202(2021)02002213
作者：孙洋 郭美云
摘 要：关于“现在”算子的技术分析始于坎普（H. Kamp）。他在研究“现在”算子的冗余性问题时，通过引入 
的概念，把真值联结词和时态算子作为一种情形进行处理，造成了证明的晦涩。本文利用伯吉斯（J. Burgess）证明“现在”算子的冗余性思路，重新对“现在”算子在时态命题逻辑中的冗余性定理进行证明，补充了简化公式存在性这一关键步骤的证明，并利用证明中的处理方式，来分析自然语言中的时态语句。
关键词：现在；时态逻辑；冗余
中图分类号：B81 文献标识码：A