- 1、本文档共12页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
现代科技综述系列——
量量词词模模态态逻逻辑辑的的代代数数
语语义义学学
科技是人类区别于动物的重要文明之一,
是人类对自然规律研究 利用的学科。
本文提供对科技基本概念
“量词模态逻辑的代数语义学”
的解读,以供大家了解。
量量词词模模态态逻逻辑辑的的代代数数
语语义义学学
模态逻辑是研究“必然”与“可能”等模态概念的逻辑学
说。
模态逻辑有着悠久的历史。
亚里士多德在创建形式逻辑时就用了比实然逻辑多两
倍的篇幅来讨论模态逻辑,但后来被忽视了。
20世纪初刘易斯(C .I.Lewis)为了摆脱实质蕴涵悖论
而引进模态概念,从而定义了严格蕴涵以代替实质蕴
涵。
并于1932年与兰福德(C .M .Langford)合着 《符号逻
辑》一书,提出了S1-,S5等5个着名模态命题逻辑系
统,才使模态逻辑得以复兴。
60年代以前,模态逻辑的研究主要限于命题模态逻
辑;极少论及量词模态逻辑的工作,而且成果也甚
少。
40年代麦克铿赛(J .C .C .M Kinsey) 塔尔斯基(A .
Tarski)对刘易斯的系统S2与S4 引进了代数语义。
假设S为一个非古典命题逻辑系统。
以由叠合S中之等价公式而得的S的Lindenbaum-Tarski
代数() 〔S, {pi |i ∈I }〕为自由代数的那一类泛代数
(universal algebras)称为S代数。
作为格来说为完备的5代数称为S*代数。
显然,如果系统S的任一公式φ当看作任一S代数A上的
多项式Φφ时恒取A的幺元(即最大元)V为值,则φ必定
是S的定理,即,这是因为作为S代数中的一员的代数()
〔S, {pi |i ∈I }〕是系统S的特征代数模型。
因而S的代数语义完全性定理便十分容易得到了。
早在40年代就已知道S4代数就是闭包代数(即拓朴布尔
代数) ;而高恒珊1963年又指出S5(即Sε)代数就是哈尔
姆斯(P .R .Halmos) 1955年提出的一目布尔代数
monadi Boolean algebras) ;费斯(R .Feys) 1938年提出
的系统T 的相应代数则于1960年被莱蒙(E .J .
Lemmon)称为外延代数(extension algebra) 。
1959年克瑞普克(Saul A .Kripke)发表了题为“模态逻辑
中的一个完全性定理”的论文。
此文的重大意义在于首次对一阶模态系统提出可能世
界(possible worlds)语义(亦称关系语义)并对基于刘易斯
系统S5之上的量词理论S5*证明了相对于此种语义的完
全性定理。
早在1953年拉西阿娃(H .Ras owa)等便用代数方法研
究了S4(即Sλ) 的量词理论S4*的代数语义完全性问题。
同时被研究的非古典逻辑尚有正演算Sπ 、海丁(A .
Heyting)直觉主义演算Sx 约翰逊(J .Johanson) 的极小
演算Sμ等,相应代数分别为相对假补格、海丁代数(亦
称假布尔代数) 以及约翰逊代数。
拉西阿娃等对基于一般命题逻辑S之上的谓词逻辑S*所
提出的代数语义可溯源于1948年莫斯托夫斯基(A .
Mostowski)关于某语句σ在海丁谓词演算中不可证的论
证方法。
其方法为:选取一非空集J ,一个完备海丁代数A,让
个体变元在J 中变动;对任何语句φ把φ 中出现的每个
k(≥ 1) 目谓词字母P(k)解释为定义在J 的k重卡氏积Jk上而
在A 中取值的映射(函数)(p(k) :Jk→A;把命题联结词
解释为A上的相应格运算,存在(或全称)量词解释为A
中相应元素集的最小上界(或最大下界) 。
在这种解释下莫氏证明中的任一可证公式均恒取A 中幺
元V为值,而σ却不然,从而
文档评论(0)