对哥德尔定理的辩证逻辑形式化解读

来源 :昆明学院学报 | 被引量 : 0次 | 上传用户:cgq365
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
逻辑矛盾仅是"量词-质词-真值词"皆矛盾的非等值关系命题,辩证矛盾仅是"主词-谓词-命题词"皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之"指断合一"的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。
其他文献
从2001年的第一部诞生至今,《速度与激情》系列无疑已成为好莱坞最富盛名的动作影片之一,这很大程度上要归功于片中风驰电掣的飞车追逐场面和令人心跳加速的特技动作。而不久
川东土家族薅草锣鼓是一种伴随田间集体劳作,由多人在锣鼓的伴奏下演唱的一种古老的艺术形式。它是巴蜀文化中重要的一个组成部分,具有深刻的历史文化价值。随着生产力的发展
1947年钱钟书发表的长篇小说《围城》逐渐掀起时代的潮流,受到越来越多人的青睐,成为中国现代文坛上风格独特的经典之作。《围城》主要是对20世纪前半期半殖民地知识分子群相
本文将粉末丁腈胶Chemigum P83与聚氯乙烯共混,研究了橡胶为主时体系的物理机械性能,并与动态硫化的聚氯乙烯/丁腈胶共混物进行了比较。结果表明,用粉末丁腈胶与聚氯乙烯共混
目的:观察香砂六君子汤加味治疗功能性消化不良的临床疗效。方法:将68例门诊病例,按随机数字表单盲法分为对照组34例和治疗组34例,对照组用西药多潘立酮治疗,治疗组用中药香
microRNA(miRNA)是一类长约21~25个核苷酸的小分子非编码RNA,通过与靶基因mRNA分子3′端未翻译区域(3′-untranslated region,3′UTR)特异性结合,负性调控靶mRNA的翻译,是一
随着我国汽车保有量逐年快速增长,“出行难”、“停车难“逐渐成为了制约城市发展的重大社会问题。停车平台借助移动互联网、智能终端、停车诱导技术,架起了停车场与停车人之
"教育只有通过生活才能产生作用并真正成为教育"(陶行知语)。在新一轮课程改革过程中,建立和形成旨在充分调动、发挥学生主体性的多样化的学习方式,让我们的课堂回归生活,是
<正>一、基本案情某男甲,一日凌晨接到前妻乙的电话,得知其被丙强奸。甲随即找到丙进行责骂并殴打,丙逃走。随后丙打电话给甲,劝甲不要冲动,有事好商量。甲称此事不会就此罢
20世纪20年代前期的广州青年运动明显以中共三大为界分为前后二个阶段。中共三大之后,广州青年运动在政治目的性、组织严密性、活动范围和影响等方面,都相较中共三大之前有很