形式逻辑客体说导论（16开）.docVIP

贵州人民武装学院用书 An Introduction To Object Theory of Formal Logic 贵州省教育厅高校人文社会科学 “当代形式逻辑及其在人工智能中的应用理论研究” 项目成果 编号：0705029 形式逻辑客体说导论 龚启荣 潘光前等著 天马出版有限公司 An Introduction To Object Theory of Formal Logic 贵州省教育厅高校人文社会科学 “当代形式逻辑及其在人工智能中的应用理论研究” 项目成果 编号：0705029 形式逻辑客体说导论 龚启荣 潘光前等著 天马出版有限公司 序 呈现在读者面前的这部著作《形式逻辑客体说导论》是贵州人民武装学院逻辑学教授、贵州大学逻辑学专业研究生学位授权点领衔导师龚启荣主持完成的又一部颇具特色的逻辑学专著。 在这本著作的诸多特色中，下述两个特色最显著、最突出：第一，认定了逻辑科学的研究对象不是思维形式或符号（包括自然语言和人工语言），而是客观世界的客观的逻辑结构和逻辑规律；第二，在客观世界的客观的逻辑规律中，最重要的则是以具有两个独立性的客观的充分条件关系为结构核心故而能从已有事件必然过渡到新事件的客观推理律，人认识后便成为可从已有知识去推出新知识的思想推理，用自然语言或符号语言表达出来就是推理句群或推理式。 这里，存在着互有紧密联系然而却又有严格区别的下述三者：（1）人类诞生前、消失后，在无边无涯、无始无终的宇宙中无所不在、永不停息地进行着的客观的逻辑运演机制——客观的具有两个独立性的推理律；（2）在人类诞生后、消失前，对客观推理律以迄今不知其内在机理的脑神经元搭接方式实现的正确反映、如实摹写——思想推理；（3）为了互相交流，也为了留久传远，把思想推理表达成自然语言或符号语言——推理句群或推理式。其中，（1）是独立于人的意志和认识的象客观的天体运动、化学反应等一样的充满于广漠绵延的宇宙际的客观的逻辑规律；（2）是发生在人类头脑中迄今说不清其宏观、微观机制的人对客观的逻辑规律的意识映象；（3）是意识映象的常用物质载体—— 一串声音（发自喉咙、口腔等发音器管）或笔道（纸张等物料上的有色可见痕迹）。（1）具有客观的唯一确定的逻辑结构（象物质的化学结构一样客观而又确定）；（3）则具有约定俗成或依据（1）人为地规定的语言结构，而约定俗成（某种意义上是根本不曾顾及客观的逻辑结构而随心所欲）的自然语言结构与被其所指谓的客观的逻辑结构之间的关系是多对多关系——多种语言结构表述一种逻辑结构（即语言中的同义现象），而一种语言结构又可表述多种逻辑结构（即语言中的多义现象）；（2）是作为宇宙际五种运动形态中最高级的运动形态，按理也应具有自己的结构，然而，包括逻辑科学在内的任何科学对此几乎一无所知，逻辑科学自诞生之日起直到如今自觉或自发地（对有些人来说是“违心”地）在事实上研究的是（1），并把研究结果用（3）表达出来，对（2）本身除了依据（1）起一个相应的名称外，不曾进行过任何研究。 我国，作为世界逻辑科学三大发源地之一，远在春秋战国时期就涌现出一批对逻辑科学作出重大贡献的思想家。在群星闪耀的众多思想家中最耀眼的可数墨翟、韩非、荀况、公孔龙等。在《韩非子·难一》中以浅易通俗的寓言故事举重若轻地阐明了家喻户晓、老幼皆知的客观世界的逻辑规律不自相矛盾律。“不可同世而立”的是满足客观关系“不可陷”、“无不陷”的客观事物“盾”、“矛”，而并非什么思想或语言；而自相矛盾的思想或语言明明可以同时说出或写出；从而，“不自相矛盾律”是客观事物的，而不是思想或语言的。鉴于韩非子的不自相矛盾律之成立必须分析到客观的个体变元和2元关系，堪称古代逻辑科学的辉煌杰作，同时代的古希腊亚里士多德逻辑学不能望其项背。韩非等古代逻辑学家这些彪炳古今的客体逻辑思想照亮了中国以至世界逻辑科学发展的路程。著作《形式逻辑客体说导论》则沿着这条发展逻辑科学的康庄大道迈步向前。 逻辑科学的另一个发源地是古希腊。被尊称为传统形式逻辑开山鼻祖的亚里士多德在《工具论》、《形而上学》等著作中系统地研究了客观世界的逻辑结构和逻辑规律。如：他对“十范畴”的分析，就在事实上研究了客观事件的客观逻辑结构中的一些客观组成要素：个体、性质（一元关系）、关系（多元关系）等；他还素朴然而深刻地揭举了客观世界的不矛盾律等客观的逻辑规律：“任一事物不能既具有又不具有同一性质。”他对客观的推理律的刻划则是：“一些事情发生了，另一些事情必然随之发生。”在这种对客观推理律的刻划中，难能可贵的是：针对具有客观的必然过渡关系的客观的“一些事情”、“另一些事情”，而并非并不具有必然过渡关系的“