带时间算子的Kripke模型.pdf

《带时间算子的Kripke模型.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、≮喾：耄耋爹：带时间算子的Kripke模型KripkeModelwithTimeOperator姓名：学号：院系：专业：研究方向：导师：郭良明06210630哲学系逻辑学非经典逻辑鞠实儿答辩委员会委员(签字)主席：旁1咯梅委员：鲤卫刍阮Qoi3<≮8Stj^、．0··一一原创性及学位论文使用授权声明论文原创性声明内容：本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独立进行研究工作所取得的成果。除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的作品成果。对本文的研究作出重要贡献的个人和集体，均已在文中以明确方式

2、标明。本人完全意识到本声明的法律结果由本人承担。学位做作者躲唧刎日期：冲／钥／；日学位论文使用授权声明：本人完全了解中山大学有关保留、使用学位论文的规定，即：学校有权保留学位论文并向国家主管部门或其指定机构送交论文的电子版和纸质版，有权将学位论文用于非赢利目的的少量复制并允许论文进入学校图书馆、院系资料室被查阅，有权将学位论文的内容编入有关数据库进行检索，可以采用复印、缩印或其他方法保存学位论文。学位做作者签名．前丧哆啉节蝴多日导师签名：日期：1年y＼1月、17t卜D)中文摘要本文通过在传统的Kripke模型中引入时间算子，使人的信念随时间的

3、改变而发生变化这一过程可以形式化地反映在Kripke模型中，使传统的Kripke模型能更好地描述人的认知过程。文中给出了一个带时间算子的Kripke模型的公理化系统，使时间算子与其他的逻辑公理相融合，构成一个新的完整的逻辑系统，并比较了它与J．一J．Ch．Meyer给出的系统之异同。接着文中还证明了给出的这个带时间算子的Kripke模型的公理化系统的一致性及其他的一些元性质，从语法和语义上说明了时间算子引入的合理性。最后探讨了这一形式化的理论与现实世界的关系。关键词：Kripke模型，时间算子，信念，形式化系统ABSTRACTInthiSth

4、esis，weintroducedatimeoperatorinthetipicalKripkemodel，whichcanreflectstheprocessofthechangeofhumanbeliefwithtimeintheKripkemodelformally．ThetriditionalKripkemodelcandiscribestheprocessofrecognitionbetterifaddedthetimeoperatorinit．WedefinedaformalsystemofKripkemodelwithatime

5、operator，whichisconsistentwithotherlogicalaxioms．Thisgivesanewandcompletelogicsystem．WealsocompareditwiththemodelwhichisgivenbyJ．一J．Ch．Meyer，thenweproofedconsistencyandothermeta—propertiesofKripkemodelwithtimeoperatorthatwegave．ItisreasonableforUStointroducedthetimeoperator

6、bothinsyntaxandsemantics．Finally，wetalkedbrieflyaboutrelationshipsbetweentheformaltheoryandtherealworld．Keywords：Kripkemodel，timeoperator，belief，formalsystem中文摘要英文摘要目录§1．引言⋯．§2．哲学背景§3．形式的讨论⋯．．⋯⋯．．．．．．⋯．．⋯⋯⋯⋯⋯．．⋯．．．．．．．．．．23．1第一种语义⋯⋯⋯．．．．．．．．．．．．．．．⋯⋯⋯⋯⋯⋯⋯．．⋯．．23．2第一种语法⋯⋯⋯⋯⋯

7、⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．73．3第二种语义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．93．4第二种语法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯113．5第三种语义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯123．6第三种语法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯14§4．逻辑全知问题⋯⋯⋯⋯⋯⋯⋯⋯⋯．．⋯⋯⋯⋯⋯⋯．．164．1概述⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯164．2RANTALA模型⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯174．3模型M=⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．19§5．系统的元性质⋯⋯⋯⋯⋯．⋯⋯．．．．⋯⋯⋯⋯⋯⋯⋯．．2l5

8、．1一致性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．215．2可靠性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．225．3完全性⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯．24§6