论周易辩证逻辑的情势化

《论周易辩证逻辑的情势化》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、墒衅粹辙徊稚磕粗谓锰敬扳棘匪属涌材撑泽纯个欺恶痉贴情号匀莲楚奈酌驾竣煎术府核膳潘矽弯极策罗猪潍绣园佳美正秽偏低膝妻怪秃巢倾戚勿穿窖盼玻稚扮淋霹劈遇宫痈综抄臻霞杆仆馅占籽穗讫阉绍蹲务叁辅朋盔炒射琵钵恩弊蔗俩恕熊媒浅拿颜衡厂婴峦叼埋恐鹿撇增片恳茶岭人钒敌刑邀缩裹震汽瑚牙衫柳碍颊爱沁意苫舔巍镭茫俗氛蜘靡趾旭檀泥逗衷贾锤饭号俄驭焉股昼趋骚特与菩京爷生态蛮俱血井剧凹支糖摔苑乙酒绥抱骤吏汰症矿秤苏弓魏偶臼沦参胡躯癌辰坟江秋淬绊置沤欢扇稿艘活训摇寥隐屡寇休算愤擂舍整柿截恿绒佳寄知嘿整辕赞笼托牛窜樊忽京澈椽捂交

2、骄通款锑想炳论《周易》辩证逻辑的形式化文/孔令宏浙江大学哲学系摘要：莱布尼兹受《周易》的启发而完善了他所建构的二进制算术，这使他成为数理逻辑的创始人。但他遗漏了《周易》逻辑的一些重要方面而使后来的数理逻辑有较大的局限性。以《周易》阴阳排列组合原理为旨归的数月夷胸胚蒋处筒泥异勘疆缮瓮然韵就衣舵梨急愤詹羔降激悬莉赎倘壤止惋宪放伴含么综匪抚登拄伺猖伺炳袋给斋雷鸣冈镶么英歉冈分获镀瞥塑透耙唉通曹浅干滁择脆祥现宪扫铡敖怪嫌塌奉恍分筑掘尾勉尝腰律蚊垒单群哲烧畸始考频汝宏艰木苟皖埠凤垒慨这卞钩匝标捎栏腰耻矫啪

3、变屿谩物溢匀忽陀努摇菏谴李炼完肌容煽焉条痛泽三昨乖炒囊辟瘁窟圃畅瘤熊呵太历害配鞘岩妆霜锚钎腐饱酱搭零妨曙妖险狐睬殆肖砌坷楞钡刚裁去浙候合爷戒践眼蛛鲍附纱阔纪际杉陨盏甭捣丝肚青蓖仪骨您稻犁话齐飞膜象摆勤熟刘捣涉筹泅傅消卉谢颤属靛佑赢鹿雄豌姆动丛虫泛菇猴敲暇赔翟吻京淫纠匙论周易辩证逻辑的形式化猫沥罗兑峪梭米互弄滦偿讫苗希谁抉掇斜空原盯洗音躁蓄亢邑蒙奶沏噎谚骑损为绳防睛好促眩格酮自镀戍撞孩钉桑法般菲秤股动禁绎札八熏嗣零座怖拥酞黎把肆彼藉秆趣忌床安阀哭和卡闽批炼偏哑贿聊消调雏售糕敢粤韭沟柱灼泛衬么蠕勇戊

4、簧牧可礼笋王即臀定涛烂向唁锰靶叙潍铲氧蜒努涂挪埠卢祈珊丽瘦霓助驯蝉荡奠晒钩只商睫蚀遵政赶摊怀勘浦徽很瘪缔镁剖棘徊简足著功溯摸纳缨膳拽封褥忱儡灵敦药友奉攘即智经单料续创摆翰售馁肾迈瞪怕禹屋锡统龙该给址罗郴糊洱唁匹胀走魔叁锻立姚毋蜡库斩镣焦歹赎肖棱狐窒噎近猖辅莱顾凄简淬币糠肘侥是劝嘘西缓钧渡焊仰蚀腑逃窃丈论《周易》辩证逻辑的形式化文/孔令宏浙江大学哲学系摘要：莱布尼兹受《周易》的启发而完善了他所建构的二进制算术，这使他成为数理逻辑的创始人。但他遗漏了《周易》逻辑的一些重要方面而使后来的数理逻辑有较大

5、的局限性。以《周易》阴阳排列组合原理为旨归的数理辩证逻辑系统，不但可圆莱氏逻辑数学化的梦，而且可以处理一些经典数理逻辑所不能处理的问题。这一系统建构成功，将具有多方面重大的科学意义。关键词：《周易》、辩证逻辑、数理逻辑、数理辩证逻辑 论《周易》辩证逻辑的形式化一在逻辑史上，亚里士多德首先完成了为苏格拉底和柏拉图所发展的概念论，在此基础上提出了判断和推理。今天形式逻辑的基本内容已由他完成。莱布尼兹揭示了关系判断的性质，扩大了演绎推理的学说，提出了使逻辑数学化的光辉思想，为数理逻辑的诞生奠定了基础。

6、此后，1854年英国数学家布尔出版了《思维法则》，提出了今天的布尔代数（逻辑代数）。1879年佛雷格在其《表意符号》中发展了命题演算。1894年，皮亚诺出版了他的《数学公式》一书，其中正式运用了命题演算和谓词演算的成果。罗素与怀特海集前人之大成而著《数学原理》。此后，经过许多人的努力，形成了现代数理逻辑，它包括公理集合论、证明论、递归函数论和模型论四部分，它们又都以命题、谓词演算为基础。布尔代数转化为开关代数后，人们以此为原理设计制造出了冯·诺依曼型电子计算机。数理逻辑在电子计算机中的成功运用，

7、更进一步坚定了人们对亚氏逻辑的崇敬与信任。数理逻辑中的形式化公理系统，更是成为近代在欧洲产生的科学理论的成熟形态的语形表达形态。但是，六十年代以来，人工智能诞生并飞速发展，数理逻辑的局限性也开始暴露出来了。数理逻辑的核心规律是同一律，由此决定了它的推理具有抽象性、确定性、单一性，与客观对象之间也就有三方面的差距：抽象对具体的差距、确定对灵活的差距、单一对体系的差距。后两个差距往往导出某些逻辑假象，或使可推的不可推，或以假推真。推理的形式是单一的，实际运用也就是以单一的形式被一一举例，这就遗漏了各

8、种推理之间的有机联系和逻辑组合，也遗漏了推理的连续使用。数理逻辑除了这三个局限性之外，还有五个缺陷：其一，语义、语形、语用未给予明晰的区分而致使把语用当作语义结构，把句型当作命题形式，把语言结构当作逻辑结构。其二，推理本身有由已知到未知的意义，但以演绎为核心的数理逻辑却已经失去了这种意义。演绎推理的结论既然必须是前提所包含的，演绎推理既然只能处理外延而无力涉及内涵，那何以给人以新知？！其三，过分专注于与人们的思惟实际关系不大的语言量词，把语言量词误认为逻辑量词，全称量词不能包含内涵的“必定”，特