关于"现在"算子冗余性的一个注记

摘要：

关于"现在"算子的技术分析始于坎普(H.Kamp).他在研究"现在"算子的冗余性问题时,通过引入J-tense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩.本文利用伯吉斯(J.Burgess)证明"现在"算子的冗余性思路,重新对"现在"算子在时态命题逻辑中的冗余性定理进行证明,补充了简化公式存在性这一关键步骤的证明,并利用证明中的处理方式,来分析自然语言中的时态语句.

关键词：现在、时态逻辑、冗余

所属期刊栏目：14

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

资助基金：国家社科基金重大项目17ZDA026和14ZDB016

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

页数：共13页

页码：22-34