[论文关键词]勃克斯因果陈述逻辑哲学性因果蕴涵
一、勃克斯及其因果陈述逻辑
“因果陈述逻辑”这一概念是由美国当代哲学家、计算机科学家阿瑟·勃克斯(ArthurWalterBurks)首创的。勃克斯对科学哲学和归纳逻辑研究有着较大的贡献,他提出了自己的归纳概率理论,建构了因果陈述逻辑系统,成为归纳逻辑研究的独树一帜的理论。
勃克斯最具有代表性的重要理论成果是1977年出版的阐述其因果陈述公理系统的专着《机遇、因果和推理》。关于因果陈述逻辑(TheLogicofCausalStatements)的理论与方法,勃克斯在这部着作中进行了详尽地说明。他在引申并深化刘易斯关于严格蕴涵与模态逻辑思想的基础上,将其应用到因果性模态问题之中,并将模态形式分为两大类:逻辑模态与因果模态。四个逻辑模态符号分别为:逻辑必然“”、逻辑可能“”、逻辑蕴涵“”、逻辑等值“?圮”。与此相对应,他创新性地提出了四个因果模态符号,分别为:因果必然“c”、因果可能“c”、因果蕴涵“c”、因果等值“?圮c”。与逻辑模态符号成立的形态——逻辑可能世界相类似,勃克斯提出了“因果可能世界”。因果可能世界的提出,不仅标志着一种新的模态形式的诞生,也为我们研究因果问题及其相关理论提供了一个新的思路。
因果陈述逻辑的公理系统继承了经典逻辑的核心内容。它由一个非模态性的一阶逻辑演算(或者不包含等词的一阶函数演算)加上一组关于逻辑形态的模态词(“必然”、“可能”)以及一组关于因果形态的模态词(“因果必然”、“因果可能”)的演算而构成。因果陈述逻辑的公理系统主要由语法、公理、证明和定理组成。在该形式系统的语法中,勃克斯分别对因果可能、因果蕴涵等重要的逻辑概念进行了定义。比如,因果可能的定义:c?椎=df~c~?椎,因果蕴涵的定义:?椎c?追=dfc(?椎?劢?追)。关于因果陈述逻辑系统的公理,勃克斯将它们分为三类,即真值函项公理、量词公理和模态公理。由于在该系统中判定真值函项公理和量词公理的方法与步骤和经典逻辑一致,故此不赘述。因果陈述逻辑与模态逻辑密切相关,如果说经典逻辑是这一形式系统的框架,那么模态逻辑便是该理论系统的精髓和亮点,二者缺一不可。而因果陈述逻辑的模态性以及模态算子的本质特征也恰恰是通过模态公理体现出来的。比如,模态公理?椎?劢c?椎(逻辑必然蕴涵因果必然)和c?椎?劢?椎(因果必然蕴涵实然)。我们看到,这两个公理是按照模态的强弱来排序的,前者表示逻辑必然性强于因果必然性,后者表示因果必然性强于实然性。二者是“必然性是分等级的”这一哲学指导思想在因果陈述逻辑中的具体体现。在语法和公理的基础上,勃克斯对证明和定理进行了定义。从表面上看,证明和定理的内容无非是对经典数理逻辑中一些概念的简单重复。但是,值得注意的是,勃克斯的创新之处就在于他将这套理论搬到了带有因果必然算子(c)的因果陈述逻辑的系统中,并且十分适用,用勃克斯本人的话说,“一个演绎论证的普遍概念在我们的形式语言(因果陈述逻辑)中根据有前提的证明而得到了模拟”。
二、因果陈述逻辑的哲学意蕴
(一)因果陈述逻辑的哲学基础
任何一个逻辑系统或者逻辑理论都必须包含蕴涵,也就是说,没有无蕴涵的逻辑系统或理论,勃克斯构建的因果陈述逻辑系统也不例外。在因果陈述逻辑理论中,因果蕴涵是该形式系统的重要内容,也是它区别于其他形式系统的主要标志。勃克斯对因果陈述逻辑的构造就是从对因果蕴涵的描述和刻画开始的。因此,分析因果陈述逻辑这一逻辑系统的哲学基础,关键就在于正确地理解和把握因果蕴涵的哲学性质。
因果蕴涵(?椎c?追)反映了事物情况?椎和事物情况?追之间的一种因果条件联系,?椎是原因,?追是结果。所谓原因,是指这样的现象:它产生某一现象并先于某一现象。所谓结果,是指原因发生作用的后果。同时,?椎和?追之间也是一种蕴涵关系,这种蕴涵不是传统意义上的实质蕴涵、严格蕴涵等蕴涵形式,而是能够刻画因果虚拟句的蕴涵类型。勃克斯创造它的目的就是为了解决因果条件句和因果模态陈述句的形式化问题。根据勃克斯的因果陈述逻辑理论,因果蕴涵的蕴涵强度介于逻辑蕴涵(严格蕴涵)和实质蕴涵之间,这一点也是勃克斯对包含“因果”算子在内的诸如因果等值、因果必然、因果可能概念进行强度界定以及因果陈述逻辑系统中对某些公理、定理及公式进行排序的基础和来源。从这一意义上说,因果蕴涵不仅是勃克斯因果陈述逻辑理论的一个重要概念,而且由于它兼有因果性和蕴涵性这样的双重特性,因此对因果蕴涵的哲学特征进行分析,具有重要的意义和作用。
在勃克斯看来,因果蕴涵克服了传统蕴涵类型的缺点,能够准确地对因果虚拟句进行形式化地表述。我们认为,它之所以具有这样的作用,根本原因在于它的两个特性(上面已经提到)——因果性和蕴涵性,这也是我们对因果蕴涵进行哲学分析的两个切入点。
第一,因果性是因果蕴涵区别于其他蕴涵类型的哲学本质。事物之间的因果联系是普遍的联系,也是必然的联系,原因和结果在时间上总是前后相继的,这是科学中的因果律,是不能更改的。对于日常生活中大量出现的因果虚拟句(反事实条件句),其前件是假的,但前件与后件之间却有着真实的联系,即已知的一个空类与另一个类之间有真实联系。我们认为,这种真实的联系就是因果联系,符合因果联系的普遍性。正因为用自然语言表达的因果虚拟句需要我们用与其相符合的人工语言(逻辑语言)进行刻画,而实质蕴涵等蕴涵类型的前后件并不能恰当地表达这种反事实的因果联系,于是勃克斯对这些经典蕴涵形式进行了改造,提出了因果蕴涵。也就是说,在反事实条件句中,如果某个事物情况?椎不发生,那么另外的事物情况?追就一定会发生。?椎与?追之间的这种因果联系决定了前后件之间纯粹的充分必要联系已经不再适合对它形式化和符号化的需要,于是勃克斯找到了因果蕴涵这样一种新的蕴涵类型。
第二,蕴涵性是因果蕴涵的一般哲学特征。如前所述,蕴涵总是逻辑系统中的蕴涵,从这一意义上说,逻辑系统的区分就在于它所包含的蕴涵词的区分。因此,因果蕴涵是因果陈述逻辑系统的主要标志。勃克斯以“必然性是分等级的”这一哲学思想为指导,对因果蕴涵以及因果必然性等概念按照强弱进行了等级划分,这也是他构建因果陈述逻辑的语形结构的基础,这是蕴涵性所具有的一个哲学表现。另外,因果蕴涵所具有的蕴涵的一般性质,比如前后件的真假对蕴涵式真假的制约情况等,是勃克斯能够将它与逻辑蕴涵、实质蕴涵进行比较的理论依据。我们对因果蕴涵进行哲学考察,其蕴涵式前后件之间的真假制约关系是很重要的一个方面。通常人们都认为,蕴涵是对实际推理中“条件命题前后件关系”的刻画或反映,不同的蕴涵词所刻画的是条件命题前后件关系的不同侧面。其中实质蕴涵就是条件命题前后件之间的真假关系的逻辑抽象。也就是说,与实质蕴涵相比,因果蕴涵能够运用其蕴涵形式来刻画反映反事实条件命题前后件之间的真假制约关系,它是这类命题前后件之间真假关系的逻辑抽象。
综上所述,因果性和蕴涵性是构成因果蕴涵的两个元素,也是因果蕴涵具有哲学性质的具体表现。在勃克斯的因果陈述逻辑理论中,随着因果蕴涵的应用性不断增强,其内在的哲学性也会越来越明显地体现出来。
(二)因果
陈述逻辑的哲学启示
因果陈述逻辑是勃克斯归纳逻辑思想体系中一个非常重要的部分,为他的归纳逻辑理论指引了正确的方向,而勃克斯的归纳逻辑理论则为因果陈述逻辑系统的发展和深化奠定了坚实的基础。因此,对勃克斯的因果陈述逻辑理论进行研究,是一件非常有意义的事情,而笔者也从这一研究过程中,得到了一些启发。主要表现在以下两个方面:
其一,因果陈述逻辑的提出及发展过程不仅是对归纳问题的合理性进行辩护的一个重要表现,而且是对归纳逻辑所具有的强大的认知功能逐步提高的一个重要反映,同时也说明现代归纳逻辑具有深厚的认识论基础。早在1951年,勃克斯就已经提出了因果命题逻辑的形式系统,但是当时没有能够对这一逻辑系统作出恰当的语义解释,所以该形式系统仅停留在语形结构方面。后来由于可能世界语义学理论的发展,为勃克斯提供了一种非常有效的解释工具,从而使他较为成功地解释了因果陈述逻辑系统。这一成果的意义在于:不会被看成仅仅是真值函项逻辑和古典模态逻辑的人为扩充。由此可以看出,任何理论都是一个发展的过程,因果陈述逻辑也不例外。我们在前面的内容中曾经提到,用于解释该系统的语义学理论——因果可能世界语义学,从模态逻辑的观点看,它是因果化的可能世界理论,即使得可能世界语义学增加了因果的性质,这是对它的基本理解;从更深层次的意义上讲,它是勃克斯对因果陈述逻辑所具有的科学认知功能的一次挖掘和提高。传统的归纳推理对因果必然性的证明是不严格的,很多是赋予经验的直观形式,勃克斯建构因果陈述逻辑的目的就是为了形成一套证明因果必然律的方法,它的最大特点就是因果必然性规律先验概率的确定,而用来测定因果必然性规律的恰恰是以三种世界类型(逻辑可能世界、因果可能世界和现实世界)为依托的。因此,从这一意义上说,因果可能世界以及“因果必然性”等一系列思想和理论的形成,是因果陈述逻辑对人们的认知能力的一次检验,对于探求科学陈述之间的因果联系,进而对科学理论做出因果可能性的推断有着重要的作用。
其二,因果陈述逻辑的深层次问题在其哲学方面,具体而言,它表现为因果蕴涵的普遍适用性问题。我们知道,科学中的因果律指的是原因和结果在时间上总是前后相继的,原因总是在结果之前,结果总是在原因之后。但是,有先后关系的现象之间并不一定都有因果联系,关键在于结果必须与原因之间具有必然的联系。因此,寻求现象之间的因果联系是一个十分复杂的过程,涉及到各种各样的因素,而勃克斯的因果蕴涵不可能涵盖所有的因果联系样式,即它不可能反映如此丰富的因果联系内容,它只能反映因果联系中最一般的本质特征,主要表现为因果律。从时间的角度看,因果关系的内在特点是:原因在时间上要先于结果。而勃克斯已经意识到了这一点,于是他构建的因果陈述逻辑是将因果关系的这一时间因素包括在内的,这一点通过他对因果模型的构建就可以看出来。这充分说明勃克斯将因果联系与一般的条件联系严格地区分开来,定义了因果律、因果倾向句、自然律,并分别对它们进行了形式刻画,从而丰富了他的归纳逻辑思想,使其归纳逻辑理论向全面化的方向迈出了重要的一步。
三、因果陈述逻辑的哲学认知价值
二十世纪四五十年代以来,人类真正进入科学认知与知识创新的时代,纯粹的演绎和简单的归纳都不再适用于科学创新与技术发现的需要,不再满足知识快速更新的要求,在这样的大背景下,广义归纳逻辑、广义认知逻辑和广义模态逻辑迅速地发展起来,并出现了三者交叉的认知发展动向。而归纳逻辑是以归纳推理和归纳方法为基本内容的知识体系,其结论超出了前提所断定的范围,因此,从认知方法论的角度看,归纳推理比演绎推理更具有认知趋向与价值,它不仅能帮助人们拓宽自己的认知视野,还能对知识前景进行科学预测,从而在知识创新方面具有巨大的优越性。与古典归纳逻辑所擅长的性质判断相比,现代归纳逻辑尤其是因果陈述逻辑在知识认知与科学理论创新方面的价值更为突出,主要体现在三个方面:
其一,因果陈述逻辑对于解释或者预见事实具有重要意义。它可以从理论命题推演出事实命题,或者是解释已知的事实,或者是预见未知的事实。这种推演的步骤是以公理、定理、假说等作为理论前提,再加上某些初始条件的陈述,逐步推导出一个描述事实的命题。
其二,因果陈述逻辑的核心概念是因果蕴涵。比较重要的逻辑推导关系是从逻辑蕴涵推导因果蕴涵,再从因果蕴涵推导出实质蕴涵。也就是说,这种推导过程
就是从具有逻辑必然性的规律或者理论陈述中推导出具有因果必然性的因果律陈述,进而推导出事实陈述,其本质就是一种科学理论的创新。
[论文关键词]法律逻辑司法实践现代逻辑
一、何为法律逻辑
目前，法律逻辑学还没有一个统一的学术体系，提到法律逻辑学，仍被视为一个怪异且冷门的研究，许多个人学术观点大量存在。由于法学家们不愿意把精力放在一种方法论上，而那些熟通方法论的人，又未必对法律有兴趣，所以法律逻辑学的困难使其裹足不前。
第一种观点认为：“法律逻辑就是普通逻辑在法学领域中的具体运用，其理论基础就是形式逻辑所阐述的原理。”同意这种观点的学者认为，法律逻辑并不具备什么特定的研究对象，其只是在形式上，运用逻辑原理在法的理论、法的规范和法的实践中的应用。持这种观点的学者认为，法律逻辑的研究对象就是法律中的逻辑问题，法律逻辑就是形式逻辑在法律规范或法律活动中的应用。
第二种观点则认为，法律逻辑作为一门学科，应有其独立的研究对象。现在很多学者同意第二种观点。这些学者认为法律逻辑作为一门学科，是应该有其特定的研究对象的，而其作为逻辑学的一门分支学科，法律逻辑的研究应是与一般逻辑学的研究对象相对应、相关联的。
由支持后一种观点的学者们的观点中，我们可以简单地将法律逻辑定义为：法律逻辑是一门主要研究法律思维形式及其逻辑方法的科学。
法律逻辑的历史大致分为三个阶段：
第一阶段主要是建立以传统逻辑或一阶逻辑内容为框架的法律逻辑体系，并将这些理论广泛地运用于法律思维领域之中；
第二阶段主要是从法律适用问题的研究扩展到了法律发现或获取问题的研究；
第三阶段主要是对事实发现、法律获取、诉讼主张与裁决证成的规律、规则与方法进行系统的研究，逐渐地建立以事实推理、法律推理、判决推理与法律论证理论为主要内容的不同于传统逻辑与一阶逻辑框架的法律逻辑体系，并将这些理论应用于事实的发现、法律的获取、诉讼主张与裁决的证立之中。
二、逻辑在法律中的作用遭到质疑
美国的大法官霍姆斯断然指出了“法律的生命不是逻辑”的结论后，各种批判法律与逻辑关系的理论，在法律和教学实践中产生了很大的影响。
对于许多有影响的重大疑难案件，形式逻辑的作用在下降，而本应独立性非常强的法律，却因其外在客观环境，诸如正义、人情、情势等因素的作用在强化。
于是逻辑在法律中的作用遭到质疑，其对法律工作的影响并无法量化，甚至能感受其在法律适用当中的作用微乎其微，面对这种实践和种种批判理论对法律逻辑的影响很大，其权威地位实际上已经有了很大的动摇。而且一度，在法学院的理论课堂上，逻辑与法律的密切关系被撕裂了，二者似乎变成了并不相关的两个概念。
一些法学类的高校专业课中并没有“法律逻辑”课程，即便学校设置了这样的课程，那么也是课时量、人员配备相对薄弱的。更多的是被作为选修课而开设，教学管理者、教师和学生们都对法律逻辑学不重视。产生这种情况的原因，主要是因为我们对于法律逻辑学研究十分欠缺，还没有研究出适应我国法学教育的法律逻辑学体系。
在学术界，许多法律人总会提出：“现代逻辑对法律到底有什么重要意义？”似乎并不显著的作用也正是许多法学家并不愿意将精力投身于这一学科的原因之一。
现代逻辑提供了具有内在一致性的表达和分析思维的全新原则和方法，而这种思维是正确、有效地完成法律工作所必不可少的。这可以作为一种简单回答上述问题的答案，但是也许这并不能彻底消除对现代逻辑在法律中应用的困惑。那么，如果希望有更进一步的了解，就必须深入到一些相关分析之中，它们从多个方面证明了现代逻辑对法律思维的重要作用。
三、法律逻辑应当受到重视的原因
通过深入分析，我们可以了解到，借助于法律逻辑，法律思维的合理性得到增强，其重要作用主要体现在以下几个方面。
（一）法律人的思维借助法律逻辑思维实现
法律思维不能违背最基本的逻辑规律，按法制模式的设计要求，法律人的主要思维形式应该是借助逻辑思维规律来完成的。在形式逻辑中，有许多对思维规律构成了一般的思维模式，指导着人们的思维，而这一点在法律思维中也不例外。
通过法律语言表达和法律思维是一个法律人存在的主要方式。那么如何认定上述定义中的两个条件呢？法律语言表达的基本要求之一是不违背逻辑思维的基本要求，即条理清楚。而法律思维则强调依据法律规范进行思维，其有多种表现形式，如强调程序优先、普遍性优于特殊性、形式合理性优于实质合理性等。
此外，法律思维不能与人们的日常逻辑思维明显违背，对法律判决的结论必须是依据推理的方式逻辑地得出，否则判决就缺少了说服力。
（二）法律解释依赖于法律逻辑
现代法学法律解释的方法论，必须以法律逻辑的方式来进行研究。在解释法律的时候需要运用逻辑规则。法律解释学是通过彻底的理性本质与那些直觉的解释形式加以区别的，其是逻辑的解释。
近代成文法主义非常推崇法律逻辑，但是他们研究的是司法格式，而不是具体的法律技术。这一点最明确的体现就是三段论在法律条文中的应用。以司法中的三段论为例，通过在许多简单的案件中直接运用，便可以推出判决结论。部分学者认为80%的案件都可以通过三段论推理加以解决。而在法律解释中其明晰性原则也是靠三段论来支撑的，即对明确的法律就必须坚决执行，不需要解释的就不能随意添加意义，这是法律解释的重要原则。而三段论的推理是法律解释的基本方式之一。
（三）法律逻辑巩固法律发展
法律逻辑可以巩固法律的发展，其可以在法律适用的如下几个方面得到印证：
在法庭辩论中，双方辩论的逻辑是一种出自法律的论证和反驳，该内容并不关心立法者想什么，而通过这个案件我们能够从法律条文中援引什么。通过法律逻辑的指引是法制能够得以实现的基本保证。
在诉讼事实的论证问题中，人们期望通过了解法律上的论证的性质，继而推断出证明的可能性是什么样的，并且证明的技术和手段是什么，要得出上述结论，就需要通过逻辑规则甚至反逻辑规则来证明证据的相关性，而这种结论的得出依赖于法律逻辑的运用。
在刑事案件侦查中，案件的正确侦查既需要侦查人员认真勘查现场、确定侦查范围、否定嫌疑对象，而案件的定论需要在掌握既有案件事实材料的基础上，追溯案情发生的真实时间、地点、作案动机等，再通过正确运用逻辑推理，对案件的性质、作案的手段等进行合理推测和断定。要从上诉案件线索中作出正确的侦查判断，就必须通过借助于一定的逻辑推理形式来完成。这样可以得出，逻辑推理是分析案情、案件侦查的重要工具。
四、如何加强法律逻辑的适用
法律逻辑作为法律学者、工作者需要拥有的一项重要的基本要素，其有着无法取代的重要作用。那么在法律逻辑的适用问题上，我们应当采取哪些措施来加强呢？
（一）在态度上正视法律逻辑的重要地位
法律逻辑作为一个基本要素，在人们适用法律时起着重要的作用，但是由于它的作用并不直接外在地表现出来，所以法律逻辑的重要地位被忽视。
如果将一个国家的法律体系比作一座摩天大楼的话，那么法律逻辑就是这个法律体系的内部设计，只有当内部设计合理且得到执行的时候，这座大楼才会在时间和客观环境的变化下，稳固地保持其体态。基础是每一个专业在达到巅峰的前提条件，我们只有正视法律逻辑的重要性，在态度上将其视为法学中一个重要的、不可分割的总体后，才会给予其应有的重要地位，而不能因为法律逻辑在表现出来的外在重要性不够明显时，将其忽略。只有真正地端正对待法律逻辑的态度，才能在接下来的法律逻辑教育及应用中使其得到发展，也为今后法律逻辑的适用提供了保证。
（二）在法律教学中注重法律逻辑的教育
在现在的法律教学中，对法律学者的法律逻辑教育并未得到充分的重视。很多学校在教学设计中，并没有将其作为一个重要的科目，这使得法律逻辑学渐渐淡出了法律学习者和爱好者们的视线，然而如果想要真正掌握法律知识，在现实的社会问题中很好地应用法律，拥有一个正确的法律思维和法律逻辑是必不可少的。
在现代社会中，法律逻辑是法治社会中法律评价的逻辑起点。在呼吁端正对法律逻辑的态度后，我们首先要做的就是普及法律逻辑的教育，使更多的人认识到它的重要性，积极地学习，以使得法律逻辑学在法律应用中发挥更加重要的作用。在教学中重视对法律逻辑的教育和研究，这也是提高法律逻辑地位的一个重要措施，同时给法律逻辑在法律适用中提供了理论基础。
（三）在实践中应用法律逻辑
条理性和逻辑性是决定一件事情完成效率和效果的有效保证，在态度上端正了对法律逻辑的认识，在接受了深入的法律逻辑教育之后，我们就要将理论联系实际，在实践中应用法律逻辑。
其实每一个法律工作者在实践中多会应用法律逻辑，只是其表象并不明显而被忽略，然而拥有一个正确的法律逻辑会提高法律工作的工作效率、保证法律工作的质量。所以定期对法律工作者的法律逻辑进行培训也是提高法律逻辑地位的一个重要措施。
后续的教育和学习，会使得在接触实务后的法律工作者们更好地了解以前所学习的知识，也为接下来的工作带来了更好的改善。更多地在实际工作中认识到法律逻辑的适用价值，在更加有效地提高法律逻辑的同时，也会为法律工作的顺利进行提供可靠基础。
五、总结
InstituteofTechnology,Israel
ExplanatoryNonmonotonic
Reasoning
AdvancesinLogic,Vol.4
2005,408pp.
HardcoverUSD:79.00
ISBN9789812561015
解释非单调推理
A博基曼著
本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。
本书共由10章组成。第1章绪论；第2章斯科特结果关系；第3章双结果关系；第4章值逻辑；第5章非单调语义学；第6章默认结果关系；第7章论证理论；第8章生成式与因果推理；第9章认知结果关系；第10章模态非单调逻辑。
与这个领域中先前的研究相比，本书具有三个特点：(1)它提供了一个解释非单调推理的统一广义理论，而不只是对现有的非单调逻辑进行描述。尽管后者被证明是由这个理论所复盖。作为本项研究的逻辑基础，双结果关系形式方法启发了一个适用于大多数范例的功能强大的广义化，它远远地超过了现有的非单调形式方法。(2)本书把注意力转向了某些相对新的非单调推理的非认识方法。例如四值双结果关系，因果推论和论证理论。这些形式方法将会填补下列两个方面之间的差距。因此默认与模态非单调逻辑只是在最后的两章中涉及，把它们当作认识双结果关系的更为通用的形式方法的一部分。(3)本书把焦点放在了解释非单调推理的逻辑单调的基础之上。从这种意义上讲，它既是关于逻辑的，同样也是关于非单调推理的。这种方法的主要优点是它将会被说明，解释非单调推理的不同形式方法实质上基于相同的原理和模型，其主要区别在于宿主这样一个推理的基础逻辑形式方法。
本书针对的读者群是人工智能领域的研究人员、研究生以及广大的逻辑学家。
胡光华，高级软件工程师
(原中国科学院物理学研究所)