公式成龙演出遇小意外

成龙演出遇小意外  时间:2021-04-25  阅读:()
《逻辑与认知》电子期刊2004年第3期1一个极小的弗协调逻辑系统1余俊伟(中国人民大学哲学系,北京,100872)摘要:从Cω.
去掉双重否定律可得到一个比科斯塔弗协调逻辑系统Cω.
更小的系统.
它有一个克里普克语义解释;论文证明了该系统相对于该解释既是可靠的又是完全的.
关键词:弗协调逻辑;可靠性;完全性中图分类号:B81文献标识码:A弗协调逻辑开创者科斯塔建立了一系列弗协调逻辑系统Cn(1≤n≤ω),其中Cω为最小.
Cω是以直觉主义命题逻辑的正部分加上排中律和双重否定律得到的;北欧的D.
Batens以经典命题逻辑的正部分加上排中律得到了弱的弗协调逻辑CLuN,并以此为基础扩张得到了两个逻辑系统,它们都介于CLuN和经典逻辑之间.
系统经典命题逻辑的正部分与直觉主义逻辑的正部分相比多了皮尔士律.
笔者介绍的这个系统是以直觉主义命题逻辑的正部分仅加上排中律得到的.
比Cω和CLuN都小,推理能力是最弱的,但它也说明还有比已知两种否定更弱的否定.
(一)L语法:1、MPL建立在语言L之上,L由以下三类符号组成:第一类包括可数无穷多个命题符:p0,p1,p2,…,pm,…,m为自然数.
第二类包括四个联结词:,∧,∨,→.
第三类包括两个标点符号:(,);它们依次被称为左括号和右括号.
由初始符号组成的有穷序列称之为符号.
由全体符号形成的集合,我们将它记为Expr(L).
定义1L的一个公式是也仅是按下列规则构成的符号:(1)单独的命题符号是公式,(2)若α是公式,则α是公式,1本文得到国家社会科学基金项目(04CZX010)的资助.
《逻辑与认知》电子期刊2004年第3期2(3)若α,β是公式,则(α∧β),(α∨β),(α→β)是公式.
单独的命题符号是最简单的公式,被称为原子公式.
由全体原子公式所组成的符号集记为Atom(L),全体公式组成的符号集记为Form(L).
我们用α,β和γ等表示任意的公式.
显然,Form(L)将包含Atom(L).
定义2对L中的公式α、β(1)α中的联结词,∧,∨,→出现的总次数称为α的复杂度;(2)α作为β的一个连续部分出现,我们就称α是β的子公式;如果α是β的子公式且α不等于β,就称α是β的真子公式;(3)我们称只出现在α中而不出现在α的任何真子公式中的那个联结词为α的主联结词;我们称主联结词是的公式为否定式;主联结词是∧的公式为合取式;主联结词是∨的公式为析取式;主联结词是→的公式为蕴涵式.
(4)α中某个的辖域是指在α中紧随该出现的α的子公式;α中某个→的左辖域和右辖域是指在α中紧随该→出现的α的左、右两个子公式,对∧与∨的辖域定义类似.
MPL的公理模式有如下九条:(1)α→(β→α),(2)(α→(β→γ)→((α→β)→(α→γ)),(3)α→(β→α∧β),(4)α∧β→α,(5)α∧β→β,(6)(α→γ)→((β→γ)→(α∨β→γ)),(7)α→α∨β,(8)β→α∨β,(9)α∨α,MPL的推理规则:R(→消去规则):从α和α→β可推出β.
定义3MPL的形式可推演关系定义如下.
由公式集Г到α的一个推演是一个有穷公式序列α1,α2,…,αm,使得αm是α并且对于各个j(1≤j≤m),αj满足下列条件之一:(1)αj是MPL的公理,(2)αj∈Г,(3)有小于j的i和k使得αj可从αi和αk利用→消去规则而得到.
如果有一个由Г到α的推演,则称α在系统MPL中是由Г形式可推演的,记为ГMPLα,在不发生混淆的情况下简记为Гα.
否则,称α在系统MPL中不是由Г形式可推演的,记为Г/MPLα,在不发生混淆的情况下简记为Г/α.
当Г为空集时,我们称这个有穷序列《逻辑与认知》电子期刊2004年第3期3为α的一个证明,也称α在MPL中是可证的.
我们称一个可证的公式为MPL的一个定理.
若Г={α1,α2,…,αm},则Γα可记为α1,α2,…,αmα.
Γ∪{α}β可记为Γ,αβ.
若Γ为空集,Γα可记为α.
此时α是MPL的一个定理.
定理1MPL中有下列推演规则:(1)如果α∈Г,那么Γα,(2)如果Γ并且Γ,那么α,(3)如果Γα,Γα→β,那么Γβ.
定理2MPL有演绎定理.
对其成立(二)L语义:定义4一个L框架是一个有序二元组〈W,R〉,其中W是一非空集,R是W上的一偏序,即满足自返性和传递性.
定义5一个L模型是一个有序三元组〈W,R,V〉,其中〈W,R〉是一个L框架,V是从Form(L)*W到{1,0}中的一个映射,满足以下条件:(1)如果V(α,w)=0,那么,对任一w1∈W,若wRw1,则V(α,w)=1,(2)V(α∧β,w)=1当且仅当V(α,w)且V(β,w)=1,(3)V(α∨β,w)=1当且仅当V(α,w)=1或V(β,w)=1,(4)V(α→β,w)=1当且仅当对任一w1∈W,若wRw1,则V(α,w1)=0或V(β,w)=1,(5)对L的任意公式α,W中的任意两个元素w1,w2,如果w1Rw2且V(α,w1)=1,那么V(α,w2)=1.
称此模型为建立在框架〈W,R〉上的一个模型.
定义6令为一L框架,α为L的任一公式.
如果存在〈W,R〉上的一个模型和W中的一个元素w,使得V(α,w)=1,那么我们就称α是可满足的,可记为α,或简单记为wα,称是α的模型.
如果是公式集Γ中的任意公式α的模型,则称它是Γ的模型;如果对〈W,R〉上的任意一个模型,任意w∈W都有V(α,w)=1,就称α在框架上有效,记为α.
如果α在任意一个L框架上有效,则称α是L有效的,记为Lα,在不发生混淆的情况下简记为α.
否则,称α不是L有效的,记为/Lα.
定理3如果α,则α,即MPL相对于L框架具有可靠性.
证明:假设α.
于是存在一个有穷公式序列α1,α2,…,αm,使得αm是α并且对于各个j(1≤j≤m),αj满足下列条件之一:(1)αj是MPL的公理,(2)有小于j的i和k使得αj可从αi和αk利用→消去规则而得到.
我们施归纳于j(1≤j≤m)证明对每一j都有αj.
当j=1时.
αj是MPL的公理.
由下可得α是L有效的,因此αj.
《逻辑与认知》电子期刊2004年第3期4如果它属公理模式(1).
假设它不是L有效的,则存在一个L框架〈W,R〉,在它上有一模型〈W,R,V〉并且W中有一元素w使得V(α→(β→α),w)=0,则据定义5(4)存在一个W中的一个元素w1满足:wRw1并且V(α,w1)=1且V(β→α,w1)=0,则据定义5(4)存在一个W中的一个元素w2满足:w1Rw2并且V(β,w2)=1且V(α,w2)=0,但根据定义5(5)又有V(α,w2)=1.
这样就产生矛盾.
因此它是L有效的.
如果它属公理模式(2).
假设它不是L有效的,则存在一个L框架〈W,R〉,在它上有一模型〈W,R,V〉并且W中有一元素w使得V((α→(β→γ)→((α→β)→(α→γ)),w)=0,则据定义5(4)存在一个W中的一个元素w1满足:wRw1并且V(α→(β→γ),w1)=1且V((α→β)→(α→γ),w1)=0,则据定义5(4)存在一个W中的一个元素w2满足:w1Rw2并且V(α→β,w2)=1且V(α→γ,w2)=0,据定义5(4)存在一个W中的一个元素w3满足:w2Rw3并且V(α,w3)=1且V(γ,w3)=0.
但L框架具有传递性,因此,w1Rw3;又根据定义5(5)有V(α→(β→γ),w3)=1且V(α→β,w3)=1,与V(α,w3)=1根据定义5(4)和L框架具有自返性一起可以得到V(β,w3)=1和V(β→γ,w3)=1,进而V(γ,w3)=1.
这样就产生矛盾.
因此它是L有效的.
如果它属公理模式(3).
假设它不是L有效的,则存在一个L框架〈W,R〉,在它上有一模型〈W,R,V〉并且W中有一元素w使得V(α→(β→α∧β),w)=0,则据定义5(4)存在一个W中的一个元素w1满足:wRw1并且V(α,w1)=1且V(β→(α∧β),w1)=0,则据定义5(4)存在一个W中的一个元素w2满足:w1Rw2并且V(β,w2)=1且V(α∧β,w2)=0,但根据定义5(5)又有V(α,w2)=1.
这样就与定义5(2)产生矛盾.
因此它是L有效的.
如果它属公理模式(4).
假设它不是L有效的,则存在一个L框架〈W,R〉,在它上有一模型〈W,R,V〉并且W中有一元素w使得V(α∧β→α,w)=0,则据定义5(4)存在一个W中的一个元素w1满足:wRw1并且V(α∧β,w1)=1且V(α,w1)=0,与定义5(2)产生矛盾.
因此它是L有效的.
类似可证如果它属公理模式(5),也同样是L有效的.
如果它属公理模式(6).
假设它不是L有效的,则存在一个L框架〈W,R〉,在它上有一模型〈W,R,V〉并且W中有一元素w使得V((α→γ)→((β→γ)→(α∨β→γ)),w)=0,则据定义5(4)存在一个W中的一个元素w1满足:wRw1并且V(α→γ,w1)=1且V((β→γ)→(α∨β→γ),w1)=0,据定义5(4)存在一个W中的一个元素w2满足:w1Rw2并且V(β→γ,w2)=1且V((α∨β→γ,w2)=0,据定义5(4)存在一个W中的一个元素w3满足:w2Rw3并且V(α∨β,w3)=1且V(γ,w3)=0,但L框架具有传递性,因此,w1Rw3;又根据定义5(5)有V(α→γ,w3)=1与V(β→γ,w3)=1,V(β→γ,w3)=1与V(γ,w3)=0根据定义5(4)和L框架具有自返性一起得到V(β,w3)=0;同理可得V(α,w3)=0,因此根据定义5(3)有V(α∨β,w3)=0.
这与V(α∨β,w3)=1产生矛盾.
因此它是L有效的.
如果它属公理模式(7).
假设它不是L有效的,则存在一个L框架〈W,R〉,在它上有一模型〈W,R,V〉并且W中有一元素w使得V(α→α∨β,w)=0,则据定义5(4)存在一个W中的一个元素w1满足:wRw1并且V(α,w1)=1且V(α∨β,w1)=0,与定义5(3)矛盾.
因此它是L有效的.
类似可证如果它属公理模式(8),也同样是L有效的.
如果它属公理模式(9).
假设它不是L有效的,则存在一个L框架〈W,R〉,在它上有一模型〈W,R,V〉并且W中有一元素w使得V(α∨α,w)=0,则据定义5(3)《逻辑与认知》电子期刊2004年第3期5有V(α,w)=0且V(α,w)=0.
因为wRw,据定义5(1)由V(α,w)=0可得V(α,w)=1,这样就产生矛盾.
因此它是L有效的.
假设j=n时成立,当j=n+1时,如果αj是MPL的公理,如上已证得.
如果有小于j的i和k使得αj可从αi和αk利用→消去规则而得到,则由归纳假设已得αi和αk.
不妨设αk=αi→αj.
如果/αj,则存在一个L框架〈W,R〉,在它上有一模型〈W,R,V〉并且W中有一元素w使得V(αj,w)=0,但是αi和αi→αj是L有效的,因此V(αi,w)=1且V(αi→αj,w)=1,但L框架具有自返性,根据定义5(4)有V(αj,w)=1,与刚才假设的V(αj,w)=0矛盾.
所以有αj.
由上证明了:如果α,则α.
定义7一公式集Γ称为足道集,如果存在L公式α使得Γ/α.
如果足道集Γ对公式α有Γ/α,也称Γ是α-足道的.
定义8一公式集Γ称为极大足道集,如果它满足:(1)是足道集.
(2)对任一L公式α,如果Γα,则α∈Γ.
(3)对L公式α、β,若α∨β∈Γ,则有α∈Γ或β∈Γ.
引理1对任一α-足道的公式集都能扩张为一α-足道的极大足道集.
证明:设Γ是任一α-足道的.
我们现在来证明存在极大足道集满足:Γ并且/α.
因而,Γ扩张为一α-足道的极大足道集.
将L的所有形如α∨β的析取式排列如下:γ1,γ2,…,γn,….
下面构造公式集系列Γ1,Γ2,…,Γn,…,如下:令Γ1=Γ.
依次考察上述析取式排列中公式γ1,γ2,…,看是否可由Γ1推演出,设γi是上述析取式排列的第一个可以由Γ1推演出的公式,即Γ1γi,但对每一j,其中W={w|w是MPL的极大足道集},R={|w1,w2∈W,w1w2},V是从Form(L)*W到{1,0}中的一个映射,满足以下条件:V(α,w)=1当且仅当α∈w.
如果V(α,w)=0,那么αw,由引理2(1)得对任一满足条件ww1,也即wRw1《逻辑与认知》电子期刊2004年第3期7的极大足道集w1都有α∈w1,因此V(α,w1)=1.
V(α∧β,w)=1当且仅当α∧β∈w当且仅当α∈w且β∈w当且仅当V(α,w)且V(β,w)=1.
V(α∨β,w)=1当且仅当α∨β∈w当且仅当α∈w或β∈w当且仅当V(α,w)=1或V(β,w)=1.
V(α→β,w)=1当且仅当α→β∈w当且仅当对任一满足条件ww1,也即wRw1的极大足道集w1都有αw1或β∈w1,即V(α,w1)=0或V(β,w)=1,对L的任意公式α,W中的任意两个元素w1,w2,如果w1Rw2且V(α,w1)=1,那么据R定义和V的定义有w1w2且α∈w1,于是有α∈w2,因此V(α,w2)=1.
因此M为一L模型,由假设/α得则存在一极大足道集Γ/α.
因此Γ∈W,并且αΓ.
据M定义有V(α,Γ)=0.
因此/α.
参考文献:[1].
张清宇.
弗协调逻辑[M].
北京:中国社会出版社.
2003[2].
冯棉.
经典逻辑与直觉主义逻辑[M].
上海:上海人民出版社.
1989[3]张清宇,郭世铭,李小五.
哲学逻辑研究[M].
北京:社会科学文献出版社.
1997[4]刘壮虎.
逻辑演算[M].
北京:中国社会科学出版社.
1993[5]MaxUrchs.
RecentTrendsinParaconsistentLogic[A].
W.
Heinrich.
EssaysontheNon-ClassicalLogic[C].
WorldScientificPublishingCo.
Pte.
Ltd,2003.
[6]ArahamPriest,RichardRoutley,JeanNorman.
ParaconsistentLogic:EssaysontheInconsistent[C].
PhilosophiaVerlagGmbH,München.
,1989AMinimalParaconsistentLogicSystemYuJun-wei(PhilosophyDepartment,RenminUniversityofChina,Beijing,100872,China)Abstract:WegetaweakerparaconsistentlogicsystemMPLthanCω.
bydleting(removing)α→αfromCω.
We.
giveaKripklesemanticsandprovethatMPLissoundandcompletewithrespecttothesemantics.
Keywords:paraconsistentlogic;sound;complete收稿日期:2004-06-01;基金项目:国家社会科学基金项目《弗协调相干道义逻辑研究》(04CZX010).
作者简介:余俊伟,1974年生,男,汉族,江西安义人,中国人民大学副教授.

杭州王小玉网-美国CERA 2核8G内存19.9元/月,香港,日本E3/16G/20M CN2带宽150元/月,美国宿主机1500元,国内宿主机1200元

官方网站:点击访问王小玉网络官网活动方案:买美国云服务器就选MF.0220.CN 实力 强 强 强!!!杭州王小玉网络 旗下 魔方资源池 “我亏本你引流活动 ” mf.0220.CNCPU型号内存硬盘美国CERA机房 E5 2696v2 2核心8G30G总硬盘1个独立IP19.9元/月 续费同价mf.0220.CN 购买湖北100G防御 E5 2690v2 4核心4G...

Megalayer新加坡服务器国际带宽线路测评

前几天有关注到Megalayer云服务器提供商有打算在月底的时候新增新加坡机房,这个是继美国、中国香港、菲律宾之外的第四个机房。也有工单询问到官方,新加坡机房有包括CN2国内优化线路和国际带宽,CN2优化线路应该是和菲律宾差不多的。如果我们追求速度和稳定性的中文业务,建议还是选择CN2优化带宽的香港服务器。这里有要到Megalayer新加坡服务器国际带宽的测试服务器,E3-1230配置20M国际带...

Hostiger发布哥伦布日提供VPS主机首月七折优惠 月费2.79美元

Hostiger商家我们可能以前也是有见过的,以前他们的域名是Hostigger,后来进行微调后包装成现在的。而且推出Columbus Day哥伦布日优惠活动,提供全场的VPS主机首月7折月付2.79美元起的优惠。这里我们普及一下基础知识,Columbus Day ,即为每年10月12日,是一些美洲国家的节日,纪念克里斯托弗·哥伦布在北美登陆,为美国的联邦假日。Hostiger 商家是一个成立于2...

成龙演出遇小意外为你推荐
piaonimai跪求朴妮唛的的韩文歌,不知道是哪一部的,第一首放的是Girl's Day《Oh! My God》。求第三首韩文歌曲,一男一女唱的。申请400电话400电话如何申请办理?discuz论坛discuz论坛怎么做商务软件EDI软件 包括那些软件?论坛版块图标论坛版块图标怎么设置?放图片的链接吗?还是?discuz论坛申请自己怎么申请论坛?权限777权限755,777,775,664都有什么区别搜索引擎教程如何利用搜索引擎获取有效的信息?shopex分销王商派的分销王怎么样?听说ShopEx还是大牌子?隐藏文件怎么显示win7怎样把隐藏的文件显示出来
台湾服务器租用 burstnet hawkhost 美国主机论坛 512m内存 圣诞节促销 大容量存储器 谁的qq空间最好看 股票老左 免费申请个人网站 银盘服务 hostease 汤博乐 九零网络 windowssever2008 ncp 什么是dns apachetomcat ipower windowsserverr2 更多