关于带“现在”算子的时态逻辑研究

发布时间：2021-07-23 06:53

　　关于“现在”的时态逻辑的技术分析最早来源于Hans Kamp,他在发给Ar thur Prior的笔记中阐述了用二维语义解释“现在”算子,开辟了多维算子的研究。Kamp与Prior在一个月内进行了频繁的交流后,Prior通过在混合时态逻辑语言中加入名字“?”表示“现在”的方式,提出了“现在”的混合时态逻辑。而Kamp继续使用二维语义研究“现在”算子在时态命题逻辑,以及时态谓词逻辑中的冗余性和公理系统的构建的问题。Patrick Blackburn在Prior的基础上,用满足算子取代全局算子重新构造了“现在”的混合时态逻辑的表格系统和公理系统,并且通过加入“Kamp-规则”,将逻辑有效和语境有效联系了起来,并分别用二维语义和指向语义证明了系统的完全性。本文对“现在”逻辑的研究进行了梳理,并重新证明了“现在”算子在时态命题逻辑中是冗余的。文章结构安排如下:引言:介绍研究背景及研究现状。第1章:简单介绍时态逻辑和混合时态逻辑第2章:简述Prior对“现在”这一问题的分析,以及他在“现在”的混合时态逻辑方面的工作。第3章:简述Blackburn对“现在”的混合时态逻辑中两种有效性的关联。第4章... 

【文章来源】：西南大学重庆市 211工程院校 教育部直属院校

【文章页数】：40 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
引言
第1章 时态逻辑和混合时态逻辑简介
    1.1 时态逻辑
    1.2 混合时态逻辑逻辑
第2章 Prior式“现在”混合时态逻辑
    2.1 Prior关于“现在”的分析
    2.2 Prior式“现在”的混合时态逻辑
第3章 Blackburn式“现在”混合时态逻辑
    3.1 “现在”混合时态逻辑语言及语义
    3.2 逻辑有效和语境有效的关联
第4章 “现在”算子的冗余问题
    4.1 自然语言中的“现在”时态句子
    4.2 “现在”算子在时态命题逻辑的冗余问题
    4.3 带“现在”算子的时态逻辑公理系统
结论
参考文献
致谢
发表论文



本文编号：3298836