浅析限制排中律适用范围的命题演算
在经典命题演算中,不矛盾律和排中律都普遍有效。直觉主义断然否定排中律的普遍有效性,在直觉主义命题演算中,不矛盾律普遍有效,排中律无效。直觉主义的创始人布劳维(L.E.J.Brouwer)认为:排中律是从有限事物中概括出来的,任何一个涉及有限事物全体的命题,总是可以通过对这些事物逐一地加以验证,来判明该命题的真伪,这时排中律是有效的。但是如果忘记了排中律的有限来源,把排中律视为先于和高于数学的某种普遍适用的法则,并将它运用于无限的场合,就会犯错误。这是因为对于无限的事物,往往不可能(哪怕是原则上)对它们一一加以鉴别。[1] 49 然而,经典命题演算认排中律为普遍有效式,这固然与直观相违;直觉主义命题演算认排中律为无效式,亦与直观不尽相符。从直观上看,正如布劳维所认为的那样,排中律对且只对有限事物有效;但无论是经典命题演算,还是直觉主义命题演算,都没有框定排中律的适用范围。鉴于此,本文拟对经典命题演算做适当改动,构造一个限制排中律适用范围的命题演算系统PC5。
命题演算系统PC5 及其可靠性、完全性
(一)PC5的语法和语义
初始符号:甲、p1,p2,p3,,pm,,m 为自然数;乙、 , ,丙、(,)。
在陈述形成规则以前,我们先引进一些语法语言的符号并作如下说明:
(1)Q、R、S 代表任一甲类符号。
(2)X、Y、Z 代表任一符号序列。
(3)A、B、C、D、E 代表任一合式公式。
(4)语法符号 写在任一公式之前,它表示紧接在后面的公式是本系统所要肯定的。
形成规则:
(1)若X 是甲类符号,则 X、 X 是合式公式。
(2)若X 是合式公式,则 X、 X 是合式公式。
(3)若X 和Y 都是合式公式,则(XY)是合式公式。
(4)只有适合以上三条的符号序列是合式公式。
定义:
(甲)(AB)定义为( AB)。
(乙)(AB)定义为 ( A B)。
(丙)(AB)定义为((AB)(BA))。
括号省略规则:
(甲)最外面的一对括号可以省略。
(乙)真值联结词的结合力依下列次序而递增:,,, , 。
公理:
公理1: AA;
公理2: AB;
公理3: AB
公理4: (BC)BC);
公理5: A
公理6: ( Q Q)。
变形规则:
(1)分离规则,从 A 和 AB 可得 B。
(2)定义置换规则,定义的左右两方可相互替换。设原公式为A,替换后所得公式为B,则从 A 可
得 B。
公式的级的递归定义:
(1)若X 是甲类符号,则 X 和 X 均为原子公式,原子公式是1 级公式。
(2)若X 是m 级公式,则 X 和 X 均为m+1 级公式。
(3)若X 是m 级公式,Y 是n 级公式,且mn,则XY、YX、XY、YX、XY、YX、XY、
YX 均为m 级公式。
对引入0 级命题变项和肯定词符号的一点说明
如前文所述,0 级命题变项代表任意的0 级命题。0 级命题就是不包含肯定词或否定词的命题。这里有一点需要说明,逻辑学界有一种普遍流行的观点,这种观点认为任何命题都肯定了自身。按照这种观点,人们必须承认:第一,任何命题都隐含着肯定词;第二,一个命题与肯定该命题而形成的命题是等值的。这样一来,也就不存在0 级命题了。
笔者认为,上述普遍流行的观点颇值得商榷。首先,没有任何理由可以证明任何命题都肯定了自身。
其次,有些命题很难说肯定了自身。例如,命题甲圆周率 的小数表达式3.1415926中有七个连续出现的5就很难说肯定了自身。 是一个无理数,即无限的不循环的小数。到目前为止,我们还没有发现(或证明) 的小数展开式中有七个连续出现的5,因而不能肯定命题甲;我们也无法论证 一定没有这样一个特性,因而也不能否定命题甲[1] 49~50。如果命题甲肯定了自身,那么只要提出命题甲,就提出了对命题甲的肯定。这与命题甲虽已提出来但到目前为止还未被肯定这一事实显然不符。再次,一个命题与肯定该命题而形成的命题是等值的只是逻辑学的一个公设,基于这一公设,肯定词在任何情况下都可以随意消除,人们在构造命题演算系统时根本无需引入肯定词,这就造成了在现代逻辑中对肯定词和否定词的研究极为不平衡的奇特现象:人们建立了多种多样的命题演算系统来刻画否定词的逻辑意义,区分了不同种类的否定(如经典否定、直觉主义否定、弗协调否定等)[3] 476~477;但人们对肯定词的逻辑意义却极少关注。然而,值得提出的是,上述公设从未得到过系统外的预先证明。鉴于此,本文所建构的形式系统在限制上述公设适用范围的基础上引入了0 级命题变项和肯定词符号。
浅论商务俄语课程设计的基本原则与不足论文摘要随着中俄经贸往来的不断扩大,商务俄语越来越受到各高校俄语教学的重视。它既基于常规俄语教学,又有别于纯语言教学。无论授课方式,还是师资上都有着特殊的要求。商务俄语教学涉及大量的专
有关交通问题的论文支线航空是民航运输的重要组成部分,也是近几年我国民航发展的工作重点。下面是有关交通问题的论文,欢迎参考阅读!论文关键词我国支线航空的发展浅析引言支线航空一般指航线距离在500公里左
小学农村课改论文精选一要做好观念转变工作新的基础教育课程改革之所以深刻,就在于从根本上改变了旧的教学观念。新课程要求教师提高素质,更新观念,改变角度,如果教师的教学观念不更新,教学方式不改变,课程改革
风电运维人员安全管理研讨论文摘要近些年,各行各业对风能的需求量越来越大,风电企业得以快速发展。然而,过度追求发展规模的风电企业在安全管理尤其是运维人员安全管理中问题丛生,增加了安全事故的发生几率,严重影响了企
基于安全心理学的运维安全管控论文随着运维一体化改革在电力企业的不断深化,运维一体化模式下的安全管控显得更为重要。本文将安全心理学的基本理论应用与电力安全生产,深入分析了运维一体化模式下的安全管控,提出了行为的强化
电力运维合一论文1运维合一的特点1。1组织机构扁平化在水电厂中应用运维合一管理,打破了传统多个部门协同管理的模式,通常只设置有一个部门,如运维部或者生技部,而这种单一性的部门需要完成多部门的工作,
中小型加油站防雷系统设计研究的论文经济的发展和人们生活水平的提高使得汽车的数量增加,而加油站数量也随之剧增。如今,汽车加油站已成为城市发展不可或缺的一部分。然而,近年来,加油站雷电灾害事故频发,不仅严重影响了周边居
关于幼儿园的教学论文随着我国的经济发展,人们综合素质的提高,幼儿教育也越来越被社会和教育机构所认可,幼儿教育是对学龄前儿童的启蒙教育,对幼儿以后的发展有着重要的作用,以下是幼儿园的教学论文,希望给大家
绘本在礼仪教育中的有效实施论文摘要礼仪教育是幼儿园德育教育的一个重要组成部分,幼儿期也是塑造健康人格的重要时期。要想成功必先成人,注重幼儿礼仪的培养,是幼儿能够成人的前提和保障,所以幼儿园的礼仪教育显得尤其重要
展示教学思路论文吴祖缃先生的我国古代小说的发展及其规律是一篇新入选高中语文课本(第五册)的文学评论,这是一篇文质兼美的论文,在结构安排阐述方式上都有独到之处。要教好这篇课文,要求教师认真揣摩教材,
园林设计中植物配置及造景的作用分析论文1植物配置与植物造景的原则及形式科学性原则主要是指在植物配置过程中,应充分遵循植物的生物学特性和环境协调性,从而做到不同种类型植物之间的和谐统一。综合考虑植物配置土壤环境气候条件等