当代形式逻辑引论
2009-3
电子工业出版社
龚启荣 等著
272
无
奉献给读者的这部48万字的著作《当代形式逻辑引论》是贵州大学逻辑学专业研究生学位授权点领衔导师龚启荣教授主持的继2006年在贵州教育出版社出版的专著《当代形式逻辑基础》之后的又一部颇具特色的逻辑学著作。（一）逻辑科学从何而来？又将向哪里去？这是逻辑学界普遍关注的课题。追本溯源，我国是逻辑科学世界三大发源地之一。远在25个世纪前的春秋时期，在李耳（老子）的五千言《道德经》中就有关于逻辑规律的论述。《道德经》开宗明义第一句便是：“道可、道非，常道。”这可称得上是最早的（比希腊亚里士多德的《工具论》早2个多世纪）关于客观世界排中律的揭举：“事件或其否定——常有事件。”“道，万物之奥。”“道，无为而无不为。”（均见《道德经》）道是万事万物（显然是客观的）普遍而又奥妙的属性——事件或事物的逻辑性质或称为逻辑结构；尽管任何事件或事物本身并不就是逻辑性质或逻辑结构（无为），然而在任何事件或事物中却无所不在地深藏着逻辑性质或逻辑结构（无不为）。这堪称是对客观世界的逻辑结构和逻辑规律的最早的精辟而简要的描述。 逻辑科学在萌芽、形成、发展过程中，事实上始终在研究客观世界的逻辑结构和逻辑规律。在战国时期，墨翟的《墨经》以“有之必然”、“无之必不然”定义“大故”、“小故”（即“充分条件”、“必要条件”），研究的是客观世界的逻辑结构——这项科学界说一直被沿用了24个世纪（如，在金岳霖教授的《形式逻辑通俗读本》中就以“有甲必然有乙”来规定客观的充分条件关系）；韩非在《韩非子》中揭举的“不自相矛盾律”“无不陷之矛与不可陷之盾不可同世而立”是含有二元关系且分析到项的客观世界的逻辑规律（这比德国学者弗雷格的关系逻辑早21个世纪）；古希腊亚里士多德在《工具论》中提出的不矛盾律“任何事物不可能同时具有又不具有某种特性”也是客观世界的逻辑规律。然而，由于未明确提出客体逻辑的元逻辑思想，这种自发的客体逻辑倾向逐渐被湮没、异化。“形式逻辑”这个名称的最初出现并提出其研究对象是“思维形式及其规律”这种思辩逻辑的元逻辑观点，从时间上说，不晚于康德的《纯粹理性批判》（1787年）、黑格尔的《逻辑学》（1816年）。这种观点与事实上自发的客体逻辑倾向背道而驰、南辕北辙。自此以后，至少在19、20两个世纪内，这种“研究思维形式及其规律”的思辩逻辑元逻辑观点在西方漫延，并逐渐占据正统的主导地位，把在逻辑史上自发地得出的客体逻辑成果（关于客观世界的逻辑结构和逻辑规律的揭举）一厢情愿地、想当然地强行纳入“思维形式及其规律”的范畴。应该是把这种被颠倒了的历史重新颠倒过来的时候了。当前流行的传统形式逻辑书大都承认“思维的逻辑规律是对客观规律的认识、反映”。既然如此，这种被认识、反映的客观规律便是客观世界的逻辑规律，这是一；其次，在物理、化学、天文、地质等众多学科中阐明了众多相应领域中的物理、化学、天文、地质等客观规律，这种“阐明”本身当然是一种思想，表述出来便是语言文字，当然是对相应客观规律的认识、反映，然而，在这些众多的学科中，从来不曾把这种对相应领域中的客观规律的认识本身叫做“思维的物理规律”、“思维的化学规律”、“思维的天文规律”、“思维的地质规律”等，唯独在传统形式逻辑书中，把这种对客观世界的逻辑规律的认识本身叫做“思维的逻辑规律”，而把不管是古人还是今人事实上在进行的对客观世界逻辑规律的研究称为“研究思维的逻辑规律”。“思维”作为宇宙中五类运动形态（其余四类为机械、量子、化学、生命）中的最高级的运动形态，当然会有结构（似乎也可称为“形式”）和规律，然而，古今中外的任何逻辑都不曾对之进行过任何研究（除了按被认识的客观逻辑结构和规律起一个相应的名称，此外，对这种作为思想的认识本身所真正具有的结构和规律事实上却一无所知）。难道事情不是这样吗？据说，已故著名逻辑学家詹剑峰教授在给学生讲授三段论时先做如下演示：他把眼镜摘下，放进眼镜盒，啪的一声盖上盒盖，然后把装有眼镜的眼镜盒放进上衣口袋；用手拍拍口袋，说道：“我的眼镜在眼镜盒里，眼镜盒在这口袋里，所以，我的眼镜在这口袋里”。他随即把手伸进口袋，把口袋中（未取出来）的眼镜盒打开，捏住眼镜，随手把眼镜取出，举起，并说到：“你们看，果然！”詹教授向学生们切切实实地演示了客观世界的第一格第一式三段律（通常用“AAA”表示）：空间包含关系（也可叫做类包含关系）的传递律。詹教授的这种极度形象生动、有声有色的实际演示可称为“显示客观逻辑规律的逻辑实验”，就像显示客观理、化规律的理、化实验一样。流行的众多形式逻辑学读物中，没有一条逻辑理论不是对客观世界逻辑结构和逻辑规律的认识和整理，没有一条逻辑理论是对人的思维的形式结构和思维规律的认识和整理。迄今为止，人对自己的思维几乎一无所知。历来争论不休的逻辑系统内众多理论问题中，当首推演绎推理能否出新知。传统形式逻辑始终坚持论证不许循环、推理的结论对前提来说是新知。这种黄金般闪光、殊堪珍惜的传统观点无疑是应予发扬光大的可贵历史遗产；然而，自从正统数理逻辑兴起并被一些人视做传统形式逻辑的现代发展以来，竟然认为推理式是同语反复的重言式，结论只不过是部分或全部重复在前提中已出现过的命题。这完全抹杀了逻辑是从已知进入新知的认识宇宙的普遍有效的工具。逻辑客体说倡导者不仅坚持客观世界具有独立于人的认识的客观的逻辑结构，而且，还具有不以人的意志为转移的从已有事件必然过渡到新事件的逻辑运演机制——客观世界的客观的逻辑规律。这种在人类诞生前和消失后始终在广漠无垠的宇宙际运行着的客观的逻辑运演机制被“会思想的芦苇”——人类——认识后便是从已知（对已有事件的认识）去得出（对必然过渡的认识）新知（对新事件的认识）的推理、论证。倾心于上述逻辑理论问题的读者也可以在本著作中觅得相关的论述。当然，您可以赞成（只要“是我而当”，您就是我们的朋友），更可以反对（也只要“非我而当”，那我们就恭恭敬敬地拜您为师）；不论您是赞成抑或反对，无论如何，希望您能理解、明白本著作中的阐述。（二）在这本著作的诸多特色中，下述两个特色最显著、最突出：认定了逻辑科学的研究对象不是思维形式或符号（包括自然语言和人工语言），而是客观世界的客观的逻辑结构和逻辑规律；在客观世界的客观的逻辑规律中，最重要的则是以具有两个独立性的客观的充分条件关系为结构核心故而能从已有事件必然过渡到新事件的客观推理律，人认识后便成为可从已有知识去推出新知识的思想推理，用自然语言或符号语言表达出来就是推理句群或推理式。这里，存在着互有紧密联系然而却又有严格区别的下述三者：（1）人类诞生前、消失后，在无边无涯、无始无终的宇宙中无所不在、永不停息地运行着的客观的逻辑运演机制——客观的具有两个独立性的推理律；（2）在人类诞生后、消失前，对客观推理律以迄今不知其内在机理的脑神经元搭接方式实现的正确反映、如实摹写——思想推理；（3）为了互相交流，也为了留久传远，把思想推理表达成自然语言或符号语言——推理句群或推理式。其中，（1）是独立于人的意志和认识的像客观的天体运动、化学反应等一样的充满于广漠绵延的宇宙际的客观的逻辑规律；（2）是发生在人类头脑中迄今说不清其宏观、微观机制的人对客观的逻辑规律的意识映像；（3）是意识映像的常用物质载体——一串声音（发自喉咙、口腔等发音器管）或笔道（纸张等物料上的有色可见痕迹）。（1）具有客观的唯一确定的逻辑结构（像物质的化学结构一样客观而又确定）；（3）则具有约定俗成或依据（1）人为地规定的语言结构，而约定俗成（某种意义上是根本不曾顾及客观的逻辑结构而随心所欲）的自然语言结构与被其所指谓的客观的逻辑结构之间的关系是多对多关系——多种语言结构表述一种逻辑结构（即语言中的同义现象），而一种语言结构又可表述多种逻辑结构（即语言中的多义现象）；（2）是作为宇宙际五种运动形态中最高级的运动形态，按理也应具有自己的结构，然而，包括逻辑科学在内的任何科学对此几乎一无所知，逻辑科学自诞生之日起直到如今自觉或自发地（对有些人来说是“违心”地）在事实上研究的是（1），并把研究结果用（3）表达出来，对（2）本身除了依据（1）起一个相应的名称外，不曾进行过任何研究。我国作为世界逻辑科学三大发源地之一，远在春秋战国时期就涌现出一批对逻辑科学做出重大贡献的思想家。在群星闪耀的众多思想家中最耀眼的可数墨翟、韩非、荀况、公孙龙等。《韩非子?难一》以浅易通俗的寓言故事举重若轻地阐明了家喻户晓、老幼皆知的客观世界的逻辑规律不自相矛盾律。“不可同世而立”的是满足客观关系“不可陷”、“无不陷”的客观事物“盾”、“矛”，而并非什么思想或语言；而自相矛盾的思想或语言明明可以同时说出或写出；从而，“不自相矛盾律”是客观事物的，而不是思想或语言的。鉴于韩非子的不自相矛盾律之成立必须分析到客观的个体变元和2元关系，堪称古代逻辑科学的辉煌杰作，同时代的古希腊亚里士多德逻辑学不能望其项背。韩非等古代逻辑学家这些彪炳古今的客体逻辑思想照亮了中国以至世界逻辑科学发展的路程。著作《当代形式逻辑引论》则沿着这条发展逻辑科学的康庄大道迈步向前。逻辑科学的另一个发源地是古希腊。被尊称为传统形式逻辑开山鼻祖的亚里士多德在《工具论》、《形而上学》等著作中系统地研究了客观世界的逻辑结构和逻辑规律。如他对“十范畴”的分析，就在事实上研究了客观事件的客观逻辑结构中的一些客观组成要素：个体、性质（一元关系）、关系（多元关系）等；他还朴素然而深刻地揭举了客观世界的不矛盾律等客观的逻辑规律：“任一事物不能既具有又不具有同一性质。”他对客观的推理律的刻划则是：“一些事情发生了，另一些事情必然随之发生。”在这种对客观推理律的刻划中，难能可贵的是：针对具有客观的必然过渡关系的客观的“一些事情”、“另一些事情”，而并非并不具有必然过渡关系的“一些思想（或语言）”。因为，对“思想（或语言）”来说，当一些“思想（或语言）”产生时，另一些“思想（或语言）”可以产生，也可以不产生；可以这样产生，也可以那样产生；这与客观的“事情”完全不同（当一些事情发生时，另一些事情不可能不发生，不管人们是否认识、承认）。正由于在客观推理律中出现的客观的充分条件关系具有两个独立性，根本不是任何真值函数，因此，这本著作特别区分了纯真值和非纯真值联结关系，并把重点放在非纯真值联结关系上。与此相应地，这本著作区别了含蕴涵重言式和含充分条件的推导式；前者不具有推导功能，从而不是推导式，只有后者才是真正的推导式。作者在此基础上，又将含充分条件的真正的推导式再进一步二分为推理式和导出式；前者由于具有两个独立性故而能从已知得出新知，后者由于只具有第一独立性而不具有第二独立性，因此不能得出新知。任何正确的理论都会获得实际应用，而是否具有实际应用也是检验一种理论是否正确的有效途径。逻辑理论当然也在此列。鉴于客体逻辑理论当代形式逻辑研究无所不在的客观世界的逻辑结构和规律，因此，必然具有非常广泛的应用领域。在本著作主持人的其他论著中，关于当代形式逻辑在人工智能、计算机科学、数学、哲学、管理学等方面的应用有较详细的论述。这本著作第16章关于当代形式逻辑在军事管理中的应用实例是一种初步尝试，这也是逻辑应用的一个值得研究的崭新领域。 这本著作内容丰富新颖，值得一读。这本著作致力于继承、发扬传统形式逻辑固有的客体逻辑方向，坚持传统形式逻辑将推理作为从已有知识得出新知识的逻辑工具的主导思想，具有众多特色——上面指出的只是其中较为显著的。本著作作为一部颇具特色的、根本不同于用数理逻辑“改造”传统形式逻辑或用数理逻辑“取代”传统形式逻辑的逻辑著作，希望能引起学界贤达的深切关注。
作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知获取新知的工具。《当代形式逻辑引论》原创性地研究并清晰而准确地阐述了概念、命题、逻辑定理、逻辑证明，以及在各方面的应用。
龚启荣，江西景德镇人。1964年贵州大学毕业后被选派到贵州省委党校理论研究班学习并开始从事理论教育工作。系贵州省先进科技工作者、国际符号逻辑协会会员、BLS国际逻辑学会会员，东亚国际符号学会会员，贵州省社科联黍员、贵州省科协第四届委员，贵州制约逻辑学会理事长、贵州省逻辑教学研究会会长，任贵州大学逻辑学教授、学术带头人、逻辑学研究生点主持人、领衔导师，任责州人民武装学院督导和逻辑学教授。发表论著Entailment Logic——A Developmen of TradItion al Logic Our Times（J）（第八届国际逻辑、科学哲学和科学方法讨论会论文集，莫斯科科学出版社1987年）、Entailment Logic And Krlowledge Representation（J）（《符号逻辑杂志》，美国，1992年第1期第57卷），Objee—tivity Logic is Re BesPLogic Instrument of Knowl-edge Representation（J）（《符号逻辑会刊》，美国，2007年第3期第13卷）、Orthodox Mathematical Logic is Not a Reasoning Theor（J）（《符号逻辑会刊》，美国，2007年第3期第13卷）、《形式逻辑导引》（M）（贵州人民出版社1995年），《逻辑斯谛——又称“数理逻辑”的二值数学》（M）（贵州教育出版社1998年）、《逻辑学》（M）（贵州人民出版社2005年）、《当代形式逻辑基础》（M）（贵州教育出版社2006年）等100多篇（部）。完成国家电子工业部、教育部和省级科研课题10余项。曾10余次受国际重要逻辑学术会议邀请并发表论文。龚启荣的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《中国哲学年鉴》、《贵州年鉴》以及一些网站上均有介绍。
引言 一、逻辑科学在现代科学中的地位 二、传统形式逻辑与数理逻辑 三、当代形式逻辑语义学、语构学、语用学 四、当代形式逻辑的研究领域、哲学思想和理论观点第1篇 客观世界的逻辑结构和逻辑规律 第1章 当代形式逻辑语义学基础（1）——客观世界的项和事件 1.1 客观世界的集 1.2 客观世界的N目组、N目组集和N元关系 1.3 客观世界的N元函数关系 1.4 客观世界的项（TERM） 1.5 客观世界的原子事件 1.6 客观世界的真值函数关系与纯真值复合事件 1.7 客观世界基本的非纯真值联结关系——充分条件关系及其两个独立性 1.8 客观世界的导出的非纯真值联结关系和非纯真值复合事件 1.9 客观世界的事件 第2章 当代形式逻辑语义学基础（2）——客观世界的逻辑结构和逻辑规律 2.1 客观世界的逻辑结构 2.2 客观世界逻辑规律的种类 2.3 客观世界的逻辑定律 2.4 客观世界的逻辑法则 第3章 逻辑规律是客观世界的规律 3.1 逻辑规律概述 3.2 逻辑规律不是思维自身的规律 3.3 逻辑规律不是符号自身的规律 3.4 逻辑规律是且只能是客观世界的规律第2篇 逻辑思考 概念 第4章 逻辑思考概述 4.1 逻辑思考的定义 4.2 逻辑思考的内容 4.3 逻辑思考的形式化 4.4 逻辑思考、思考对象、语言载体的关系 第5章 概念第3篇 命题 第6章 原子命题 纯真值复合命题 第7章 非纯真值复合命题第4篇 逻辑定理 第8章 推理和导出 第9章 非推导逻辑定理第5篇 传统形式逻辑直言命题及其推导理论简介 第10章 传统形式逻辑直言命题 第11章 传统形式逻辑直言命题推导第6篇 逻辑证明及其认识论意义 第12章 逻辑证明与证实 第13章 逻辑证明的认识论意义第7篇 对逻辑科学发展的进一步研究 第14章 对传统形式逻辑读物中一些问题的讨论 第15章 关于逻辑证明哲学意义的深入探讨 第16章 当代形式逻辑基础理论在军事管理中的应用研究实例结语 逻辑科学的定义后记参考文献
插图：第1篇 客观世界的逻辑结构和逻辑规律第1章 当代形式逻辑语义学基础（1）——客观世界的项和事件1.1 客观世界的集1.1.1 对象、个休与集对象就是可以对之思考的一切。实物是对象，性质、关系也是对象；物质是对象，意识也是对象。意识只不过是人脑这个高度发展了的实物的属性，一经产生，也便可以对之思考。然而，尽管如此，正在进行的思考却不可能以自身为思考对象。这个事实称为思考的不自返律。当然，某个思考一经完成，另起的思考便可以以之为对象。在思考时不对之进行分解的单个对象称为个体。譬如，当人们在做各种不同的思考而分别以银河系、地球、大兴安岭森林、一棵树、一个细胞、一个分子、一个原子、一个电子等为不对之进行分解的单个对象时，银河系、地球、大兴安岭森林、一棵树、一个细胞、一个分子、一个原子、一个电子等，就分别是个体。通常以斜体小写拉丁字母e、右上角加撇e或右下角加下标e，i（i为自然数）表示个体。人们在讨论问题时，不可能从嘴里喷出一个个体月亮，也不可能在纸面上放上一个个体国家，而只能使用表示个体月亮或国家的符号。在当代形式逻辑语义学的范围内，使用符号只不过是手段，讨论为符号所指称的个体才是目的。宇宙在结构层次上没有最小的不可再分的起点，然而，人们对宇宙结构层次的认识却必须有也只能有一个起点。个体就是当代形式逻辑语义学研究宇宙的结构层次的起点。
《当代形式逻辑引论》为电子工业出版社出版发行。
无
著作《当代形式逻辑引论》是贵州大学逻辑学专业研究生学位授权点领衔导师龚启荣教授主持的继2006年在贵州教育出版社出版的专著《当代形式逻辑基础》之后的又一部颇具特色的逻辑学著作。“工欲善其事，必先利其器。”在诸多领域，形如科研、法律、经济、文化、国防，逻辑科学是必不可少的理论工具。一部指导思想正确的、理论科学的、具有实用性的逻辑著作，对我们的社会主义建设事业所发挥的作用是难以估量的，是举足轻重的。龚启荣教授所撰写的该著作，以辨证唯物主义为指导思想，能如实准确的刻画客观现实世界，具有很强的实用性，是一部新的工具论。该著作认定了逻辑科学的研究对象不是思维形式或符号（包括自然语言和人工语言），而是客观世界的客观的逻辑结构和逻辑规律；在客观世界的客观的逻辑规律中，最重要的则是以具有两个独立性的客观的充分条件关系为结构核心故而能从已有事件必然过渡到新事件的客观推理律，人认识后便成为可从已有知识去推出新知识的思想推理，用自然语言或符号语言表达出来就是推理句群或推理式。这里，存在着互有紧密联系然而却又有严格区别的下述三者：（1）人类诞生前、消失后，在无边无涯、无始无终的宇宙中无所不在、永不停息地运行着的客观的逻辑运演机制——客观的具有两个独立性的推理律；（2）在人类诞生后、消失前，对客观推理律以迄今不知其内在机理的脑神经元搭接方式实现的正确反映、如实摹写——思想...推理；（3）为了互相交流，也为了留久传远，把思想推理表达成自然语言或符号语言——推理句群或推理式。其中，（1）是独立于人的意志和认识的象客观的天体运动、化学反应等一样的充满于广漠绵延的宇宙际的客观的逻辑规律；（2）是发生在人类头脑中迄今说不清其宏观、微观机制的人对客观的逻辑规律的意识映像；（3）是意识映像的常用物质载体——一串声音（发自喉咙、口腔等发音器管）或笔道（纸张等物料上的有色可见痕迹）。（1）具有客观的唯一确定的逻辑结构（像物质的化学结构一样客观而又确定）；（3）则具有约定俗成或依据（1）人为地规定的语言结构，而约定俗成（某种意义上是根本不曾顾及客观的逻辑结构而随心所欲）的自然语言结构与被其所指谓的客观的逻辑结构之间的关系是多对多关系——多种语言结构表述一种逻辑结构（即语言中的同义现象），而一种语言结构又可表述多种逻辑结构（即语言中的多义现象）；（2）是作为宇宙际五种运动形态中最高级的运动形态，按理也应具有自己的结构，然而，包括逻辑科学在内的任何科学对此几乎一无所知，逻辑科学自诞生之日起直到如今自觉或自发地（对有些人来说是“违心”地）在事实上研究的是（1），并把研究结果用（3）表达出来，对（2）本身除了依据（1）起一个相应的名称外，不曾进行过任何研究。正由于在客观推理律中出现的客观的充分条件关系具有两个独立性，根本不是任何真值函数，因此，这本著作特列区分了纯真值和非纯真值联结关系，并把重点放在非纯真值联结关系上。与此相应地，这本著作区别了含蕴涵重言式和含充分条件的推导式；前者不具有推导功能，从而不是推导式，只有后者才是真正的推导式。作者在此基础上，又将含充分条件的真正的推导式再进一步二分为推理式和导出式；前者由于具有两个独立性故而能从已知得出新知，后者由于只具有第一独立性而不具有第二独立性，因此不能得出新知。任何正确的理论都会获得实际应用，而是否具有实际应用也是检验一种理论是否正确的有效途径。逻辑理论当然也在此例。鉴于客体逻辑理论当代形式逻辑研究无所不在的客观世界的逻辑结构和规律，因此，必然具有非常广泛的应用领域。在本著作主持人的其他论著中，关于当代形式逻辑在人工智能、计算机科学、数学、哲学、管理学等方面的应用有较详细的论述。这本著作第16章关于当代形式逻辑在军事管理中的应用实例是一种初步尝试，这也是逻辑应用的一个值得研究的崭新领域。该著作内容丰富新颖，值得一读。该著作致力于继承、发扬传统形式逻辑固有的客体逻辑方向，坚持传统形式逻辑将推理作为从已有知识得出新知识的逻辑工具的主导思想，具有众多特色——上面指出的只是其中较为显著的。本著作作为一部颇具特色的、根本不同于用数理逻辑“改造”传统形式逻辑或用数理逻辑“取代”传统形式逻辑的逻辑著作，希望能引起学界贤达的深切关注。 阅读更多 ›