逻辑学的认识(6篇)

逻辑学的认识篇1

【关键词】普通逻辑日常思维联系性

作为一门思维科学的普通逻辑,寓于生活的各个领域,它源于生活,又服务于生活,它是人们进行正确思维的有效工具。深入探讨普通逻辑与日常思维的密切联系,发挥普通逻辑对日常思维的工具作用,对提高人们的思维素质具有重大意义。

明确两个概念:“普通逻辑”与“日常思维”

普通逻辑。从我国高等学校文科专业作为基础课开设的逻辑课程来看,普通逻辑与逻辑学、形式逻辑是等同的,虽然名称不同,但从其内容体系上看,基本上是一致的,其中既有演绎,又有归纳,但都不包括数理逻辑和辩证逻辑的内容。但从科学性来考虑,还是应该明晰普通逻辑的涵义,将它与其他名称区别开来。

首先,我们将它放在逻辑学的范畴内进行考虑。逻辑学是以思维为研究对象的科学,至十九世纪以来,逻辑学逐渐发展成一个庞大而多层次的学科体系,按门类分,有形式逻辑和辩证逻辑,形式逻辑又可分为传统形式逻辑和现代形式逻辑,现代形式逻辑主要是指数理逻辑,传统形式逻辑也叫普通逻辑,我们日常说的学习逻辑指的就是传统形式逻辑或普通逻辑。辩证逻辑、数理逻辑、普通逻辑也称逻辑科学的三个分支。

其次,我们从它与数理逻辑的区别方面进行分析。普通逻辑与数理逻辑虽然都是形式逻辑,但是,二者是有明显区别的,其研究对象、研究方法和应用范围都是不相同的。数理逻辑是用人工语言和数学方法来研究逻辑,在计算机软件生产和自动化系统中有着广泛的应用,而普通逻辑则是主要用自然语言研究人们日常思维形式及其规律的科学。

由此可见,普通逻辑就是利用自然语言研究人们日常思维形式及其规律,以及简单的逻辑方法的科学。

日常思维。理论层面上,日常思维是指生活中的抽象思维即理性认识。按照辩证唯物主义认识论,理性认识是认识的高级阶段,是人们对感性认识材料的抽象和概括所形成的关于事物的本质、事物的全体、事物的内部联系的认识。理性认识具有间接性、抽象性和概括性,它以感性认识为“中介”,间接地反映事物,表现为一系列抽象和概括,分析和综合的过程。它舍弃事物的个别的、非本质的、外表的、偶然的特性,概括出事物一般的、共同的本质的东西。理性认识在发展过程中的基本形式,包括概念、判断和推理。概念是人类理性思维最基本的形式,也是人的理性思维的开端。判断是对事物之间的联系和关系的反映,是人们对客观事物是否具有某种属性的判明或判断。推理是从已有的判断合乎规律地推出新判断的反映形式。概念、判断和推理是三种思维形式有机地结合在一起,共同构成了理性思维形式的整体。

日常思维是普通逻辑的基础和来源

从逻辑学的起源来看,普通逻辑来源于日常思维。古代中国、古代印度和古代希腊是逻辑学的三大发源地。

在古代中国,名家就思维实践中的一些典型概念与命题所展开的激烈论争,以及他们的名理研究,掀起并推动了历时百年的先秦名辩思潮,正是这波澜壮阔的名辩思潮,孕育并产生了我国古代的逻辑思想。

在古代印度,古印度的激烈论辩风气、古因明家的学术探索和正理派的逻辑研究三方面相互融合促使了佛教逻辑的诞生。

在古代希腊,亚里士多德之前,人们多是沉浸在具体的思维之网中。亚里士多德是自觉地把思维作为研究对象,探讨逻辑问题的第一人,他在日常思维的基础上,在反对诡辩论的斗争中,在广泛进行科学研究及总结当时的科学成就、科学研究方法的基础上,整理、概括了日常的思维形式,加以提炼,创立了以三段论为中心,包括论辩的、分析的、非分析的、归纳的本体论的逻辑学。亚里士多德建立了比较完整的逻辑学体系,使逻辑学成为一门独立的科学。

从逻辑与哲学的关系来看,普通逻辑来源于日常思维。普通逻辑由于其特殊的研究对象和性质,与哲学的关系十分密切。众所公认,无论是欧洲的形式逻辑,还是中国的名辩之学,或者是印度的因明,他们都是在哲学的怀抱里孕育、产生和成长起来的。在马克思主义哲学产生之前,欧洲的形式逻辑一直是作为不同的哲学的组成部分存在的。不仅如此,各种不同的哲学观点反映在对逻辑问题的看法上,便导致逻辑理论上的不同意见的激烈争论,如同恩格斯所说:“形式逻辑本身,从亚里士多德直到今天都是一个激烈争论的场所。”在马克思主义哲学产生之后,形式逻辑逐步从哲学中分离出来,成为一门独立的学科,但它与哲学的关系仍然是很密切的。

纵观哲学产生的历史,最早期古希腊的哲学先驱赫拉克利特、巴门尼德、苏格拉底、柏拉图,以及中国的哲学先驱老子、孟子、孔子等,他们的哲学都产生于古代一种古朴的自然环境和社会环境,以及人文环境,也就是日常的社会生活之中。人们在实践中认识和改造世界的过程中,起初只是对于个别具体事物有所认识,久而久之,随着实践的发展和认识的深入,这种认识就会逐渐丰富并联系起来,形成了对世界总体的看法,这就属于世界观的问题。先哲们把这种世界观加以理论的整理,用科学的概念合乎逻辑地表达出来,使之具备理论的形态,形成一定的思想体系,这就产生了哲学。由此可见,哲学是人们日常生活和实践中认识的发展和升华,它植根于每个正常人的实际生活中,哲学来源于日常思维,很自然,孕育于哲学的普通逻辑也必然来源于日常思维。

普通逻辑是日常思维的有效工具

当日常思维中隐含的逻辑被概括为理论形态之后,便成为日常思维的有效工具。普通逻辑来源于日常思维,又反过来服务于日常思维,其最大的特征就是具有工具性,它是人们正确思维、论证和表达的必要工具。

普通逻辑是人们日常的认识工具。人们认识世界、获得新知识的途径,一是通过直接经验,二是通过间接经验。而人们的直接经验总是有限的,大量的知识来自于间接经验。人们间接知识的形成和积累过程,也就是人们运用概念、作出判断、进行推理的过程。普通逻辑正是从这些方面指导并帮助人们在正确使用概念、作出判断的基础上,合乎逻辑地由已知进到未知,并使所获得的新知识与现实相符。普通逻辑知识在抽象思维领域内为人们提供一般规则、方法等逻辑工具,帮助人们去正确地认识世界,与人们的日常思维密切结合,直接指导人们的日常思维。

普通逻辑是人们日常表达和论证的工具。从人们社会生活的各个方面来看,随着社会的快速发展,决定了人们相互之间的沟通交际日益频繁。而世界实际上是一个交际场,人生就是一个不断推销自己,说服别人的过程。在这个交际场中,对待同一个问题,不同知识水平、不同思想观点、不同的社会经历,会给予人们不同的认识角度和主观态度。也正是因为这种不一致,人们才需要沟通,表达思想。“为了保证沟通的正常进行,必定要求有一个‘共许’的思维接口,从而使人们的对话成为可能,促进相互沟通,使我们在认识、交流、创新活动中‘头脑更清楚’,‘在任何时候都必须用思想的首尾一贯性去帮助还不充分的认识’。服从这个‘共许’,有时未必是自愿的,但却是真实的。这种真实性就在于它是在现实的社会关系中,规范人们正确思维的‘强约束’。”这种强约束体现的就是一种逻辑思想,按照普通逻辑的要求做到概念明确,判断准确,推理、论证合乎规则,使所要表达的意思清楚明白,具有说服力。

逻辑学的认识篇2

［关键词］人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑

现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。

本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成功。于是，逻辑学将不得不比较全面地研究人的思维活动，并着重研究人的思维中最能体现其能动性特征的各种不确定性推理，由此发展出的逻辑理论也将具有更强的可应用性。

实际上，在20世纪中后期，就已经开始了现代逻辑与人工智能（记为ai）之间的相互融合和渗透。例如，哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。ai从认知心理学、社会科学以及决策科学中获得了许多资源，但逻辑（包括哲学逻辑）在ai中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理

的理论；基于几乎同样的理由，ai研究者也在进行类似的探索，这两方面的研究正在相互接近、相互借鉴，甚至在逐渐融合在一起。例如，ai特别关心下述课题：

·效率和资源有限的推理；

·感知；

·做计划和计划再认；

·关于他人的知识和信念的推理；

·各认知主体之间相互的知识；

·自然语言理解；

·知识表示；

·常识的精确处理；

·对不确定性的处理，容错推理；

·关于时间和因果性的推理；

·解释或说明；

·对归纳概括以及概念的学习。[①]

21世纪的逻辑学也应该关注这些问题，并对之进行研究。为了做到这一点，逻辑学家们有必要熟悉ai的要求及其相关进展，使其研究成果在ai中具有可应用性。

我认为，至少是21世纪早期，逻辑学将会重点关注下述几个领域，并且有可能在这些领域出现具有重大意义的成果：（1）如何在逻辑中处理常识推理中的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。

1．常识推理中的某些弗协调、非单调和容错性因素

ai研究的一个目标就是用机器智能模拟人的智能，它选择各种能反映人的智能特征的问题进行实践，希望能做出各种具有智能特征的软件系统。ai研究基于计算途径，因此要建立具有可操作性的符号模型。一般而言，ai关于智能系统的符号模型可描述为：由一个知识载体（称为知识库kb）和一组加载在kb上的足以产生智能行为的过程（称为问题求解器ps）构成。经过20世纪70年代包括专家系统的发展，ai研究者逐步取得共识，认识到知识在智能系统中力量，即一般的智能系统事实上是一种基于知识的系统，而知识包括专门性知识和常识性知识，前者亦可看做是某一领域内专家的常识。于是，常识问题就成为ai研究的一个核心问题，它包括两个方面：常识表示和常识推理，即如何在人工智能中清晰地表示人类的常识，并运用这些常识去进行符合人类行为的推理。显然，如此建立的常识知识库可能包含矛盾，是不协调的，但这种矛盾或不协调应不至于影响到进行合理的推理行为；常识推理还是一种非单调推理，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论；常识推理也是一种可能出错的不精确的推理模式，是在容许有错误知识的情况下进行的推理，简称容错推理。而经典逻辑拒斥任何矛盾，容许从矛盾推出一切命题；并且它是单调的，即承认如下的推理模式：如果p?r，则pùq?r；或者说，任一理论的定理属于该理论之任一扩张的定理集。因此，在处理常识表示和常识推理时，经典逻辑应该受到限制和修正，并发展出某些非经典的逻辑，如次协调逻辑、非单调逻辑、容错推理等。有人指出，常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物，而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②]

“次协调逻辑”（paraconsistentlogic）是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的，其基本想法是：当在一个理论中发现难以克服的矛盾或悖论时，与其徒劳地想尽各种办法去排除

或防范它们，不如干脆让它们留在理论体系内，但把它们“圈禁”起来，不让它们任意扩散，以免使我们所创立或研究的理论成为“不足道”的。于是，在次协调逻辑中，能够容纳有意义、有价值的“真矛盾”，但这些矛盾并不能使系统推出一切，导致自毁。因此，这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为，如果在一理论t中，一语句a及其否定?a都是定理，则t是不协调的；否则，称t是协调的。如果t所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理，则不协调的t也是不足道的(trivial)。因此，通常以经典逻辑为基础的理论，如果它是不协调的，那它一定也是不足道的。这一现象表明，经典逻辑虽可用于研究协调的理论，但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统cn（1≤n≤w），以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统cn的特征性描述包括下述命题：(i)矛盾律?(aù?a)不普遍有效；(ii)从两个相互否定的公式a和?a推不出任意公式；即是说，矛盾不会在系统中任意扩散，矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里，(i)和(ii)表明了对矛盾的一种相对宽容的态度，(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。

在任一次协调逻辑系统cn(1≤n≤w)中，下述经典逻辑的定理或推理模式都不成立：

?(aù?a)

aù?ab

a(?ab)

(a??a)b

(a??a)?b

a??a

(?aù(aúb))b

(ab)(?b?a)

若以c0为经典逻辑，则系列c0,c1,c2,…cn,…cw使得对任正整数i有ci弱于ci-1，cw是这系列中最弱的演算。已经为cn设计出了合适的语义学，并已经证明cn相对于此种语义是可靠的和完全的，并且次协调命题逻辑系统cn还是可判定的。现在，已经有人把次协调逻辑扩展到模态逻辑、时态逻辑、道义逻辑、多值逻辑、集合论等领域的研究中，发展了这些领域内的次协调理论。显然，次协调逻辑将会得到更进一步的发展。[③]

非单调逻辑是关于非单调推理的逻辑，它的研究开始于20世纪80年代。1980年，d·麦克多莫特和j·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子m，表示某种“一致性”断言，并将其看做是模态概念，通过一定程序把模态逻辑系统t、s4和s5翻译成非单调逻辑。b·摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。自动认知推理则不是这种类型，它是与人们自身的信念或知识相关的推理，可用它模拟一个理想的具有信念的有理性的人的推理。对于在计算机和人工智能中获得成功的应用而言，非单调逻辑尚需进一步发展。

2．归纳以及其他不确定性推理

人类智能的本质特征和最高表现是创造。在人类创造的过程中，具有必然性的演绎推理固然起重要作用，但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此，计算机要成功地模拟人的智能，真正体现出人的智能品质，就必须对各种具有不确定性的推理模式进行研究。

首先是对归纳推理和归纳逻辑的研究。这里所说的“归纳推理”是广义的，指一切扩展性推理，它们的结论所断定的超出了其前提所断定的范围，因而前提的真无法保证结论的真，整个推理因此缺乏必然性。具体说来，这种意义的“归纳”包括下述内容：简单枚举法；排除归纳法，指这样一些操作：预先通过观察或实验列出被研究现象的可能的原因，然后有选择地安排某些事例或实验，根据某些标准排除不相干假设，最后得到比较可靠的结论；统计概括：从关于有穷数目样本的构成的知识到关于未知总体分布构成的结论的推理；类比论证和假说演绎法，等等。尽管休谟提出著名的“归纳问题”，对归纳推理的合理性和归纳逻辑的可能性提出了深刻的质疑，但我认为，（1）归纳是在茫茫宇宙中生存的人类必须采取也只能采取的认知策略，对于人类来说具有实践的必然性。（2）人类有理由从经验的重复中建立某种确实性和规律性，其依据就是确信宇宙中存在某种类似于自然齐一律和客观因果律之类的东西。这一确信是合理的，而用纯逻辑的理由去怀疑一个关于世界的事实性断言则是不合理的，除非这个断言是逻辑矛盾。（3）人类有可能建立起局部合理的归纳逻辑和归纳方法论。并且，归纳逻辑的这种可能性正在计算机科学和人工智能的研究推动下慢慢地演变成现实。恩格斯早就指出，“社会一旦有技术上的需要，则这种需要比十所大学更能把科学推向前进。”[④]有人通过指责现有的归纳逻辑不成熟，得出“归纳逻辑不可能”的结论，他们的推理本身与归纳推理一样，不具有演绎的必然性。（4）人类实践的成功在一定程度上证明了相应的经验知识的真理性，也就在一定程度上证明了归纳逻辑和归纳方法论的力量。毋庸否认，归纳逻辑目前还很不成熟。有的学者指出，为了在机器的智能模拟中克服对归纳模拟的困难而有所突破，应该将归纳逻辑等有关的基础理论研究与机器学习、不确定推理和神经网络学习模型与归纳学习中已有的成果结合起来。只有这样，才能在已有的归纳学习成果上，在机器归纳和机器发现上取得新的突破和进展。[⑤]这是一个极有价值且极富挑战性的课题，无疑在21世纪将得到重视并取得进展。

再谈模糊逻辑。现实世界中充满了模糊现象，这些现象反映到人的思维中形成了模糊概念和模糊命题，如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代，其代表性人物是l·a·查德和p·n·马林诺斯。模糊逻辑为精确逻辑（二值逻辑）解决不了的问题提供了解决的可能，它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然，它在21世纪将继续得到更大的发展。

3．广义内涵逻辑

经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究，但在自然语言中，除了这些语言成分之外，显然还存在许多其他的语言成分，如各种各样的副词，包括模态词“必然”、“可能”和“不可能”

、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等，以及各种认知动词，如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”，这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。

大多数副词以及几乎所有命题态度词都是内涵性的，造成内涵语境，后者与外延语境构成对照。外延语境又叫透明语境，是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境；内涵语境又称晦暗语境，是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别，一切语言表达式（包括自然语言的名词、动词、形容词直至语句）都可以区分为外延性的和内涵性的，前者是提供外延语境的表达式，后者是提供内涵性语境的表达式。例如，杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式，而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。

在内涵语境中会出现一些复杂的情况。首先，对于个体词项来说，关键性的东西是我们不仅必须考虑它们在现实世界中的外延，而且要考虑它们在其他可能世界中的外延。例如，由于“必然”是内涵性表达式，它提供内涵语境，因而下述推理是非有效的：

晨星必然是晨星，

晨星就是暮星，

所以，晨星必然是暮星。

这是因为：这个推理只考虑到“晨星”和“暮星”在现实世界中的外延，并没有考虑到它们在每一个可能世界中的外延，我们完全可以设想一个可能世界，在其中“晨星”的外延不同于“暮星”的外延。因此，我们就不能利用同一性替换规则，由该推理的前提得出它的结论：“晨星必然是暮星”。其次，在内涵语境中，语言表达式不再以通常是它们的外延的东西作为外延，而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里，达尔文所相信的是“人是从猿猴进化而来的”所表达的思想，而不是它所指称的真值，于是在这种情况下，“人是从猿猴进化而来的”所表达的思想（命题）就构成它的外延。再次，在内涵语境中，虽然适用于外延的函项性原则不再成立，但并不是非要抛弃不可，可以把它改述为新的形式：一复合表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。

一般而言，一个好的内涵逻辑至少应满足两个条件：（i）它必须能够处理外延逻辑所能处理的问题；（ii）它还必须能够处理外延逻辑所不能处理的难题。这就是说，它既不能与外延逻辑相矛盾，又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展中，并且已有初步轮廓。从术语上说，内涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外，还需要同义、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之，可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”，“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之下，模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过，还有一种狭义的内涵逻辑，它可以粗略定义如下：一个内涵逻辑是一个形式语言，其中包括（1）谓词逻辑的算子、量词和变元，这里的谓词逻辑不必局限于一阶谓词逻辑，也可以是高阶谓词逻辑；（2）合式的λ—表达式，例如(λx)a，这里a是任一类型的表达式，x是任一类型的变元，(λx)a本身是一函项，它把变元x在其中取值的那种类型的对象映射到a所属的那种类型上；（3）其他需要的模态的或内涵的算子，例如€，ù、ú。而一个内涵逻辑的解释，则由下列要素组成：（1）一个可能世界的非空集w；（2）一个可能个体的非空集d；（3）一个赋值，它给系统内的表达式指派它们在每w∈w中的外延。对于任一的解释q和任一的世界w∈w，判定内涵逻辑系统中的任一表达式x相对于解释q在w∈w中的外延总是可能的。这样的内涵逻辑系统有丘奇的lsd系统，r·蒙塔古的il系统，以及e·n·扎尔塔的fil系统等。[⑥]

在各种内涵逻辑中，认识论逻辑（epistemiclogic）具有重要意义。它有广义和狭义之分。广义的认识论逻辑研究与感知（perception）、知道、相信、断定、理解、怀疑、问题和回答等相关的逻辑问题，包括问题逻辑、知道逻辑、相信逻辑、断定逻辑等；狭义的认识论逻辑仅指知道和相信的逻辑，简称“认知逻辑”。冯·赖特在1951年提出了对“认知模态”的逻辑分析，这对建立认知逻辑具有极大的启发作用。j·麦金西首先给出了一个关于“知道”的模态逻辑。a·帕普于1957年建立了一个基于6条规则的相信逻辑系统。j·亨迪卡于60年代出版的《知识和信念》一书是认知逻辑史上的重要著作，其中提出了一些认知逻辑的系统，并为其建立了基于“模型集”的语义学，后者是可能世界语义学的先导之一。当今的认知逻辑纷繁复杂，既不成熟也面临许多难题。由于认知逻辑涉及认识论、心理学、语言学、计算机科学和人工智能等诸多领域，并且认知逻辑的应用技术，又称关于知识的推理技术，正在成为计算机科学和人工智能的重要分支之一，因此认知逻辑在20世纪中后期成为国际逻辑学界的一个热门研究方向。这一状况在21世纪将得到继续并进一步强化，在这方面有可能出现突破性的重要结果。

4．对自然语言的逻辑研究

对自然语言的逻辑研究有来自几个不同领域的推动力。首先是计算机和人工智能的研究，人机对话和通讯、计算机的自然语言理解、知识表示和知识推理等课题，都需要对自然语言进行精细的逻辑分析，并且这种分析不能仅停留在句法层面，而且要深入到语义层面。其次是哲学特别是语言哲学，在20世纪哲学家们对语言表达式的意义问题倾注了异乎寻常的精力，发展了各种各样的意义理论，如观念论、指称论、使用论、言语行为理论、真值条件论等等，以致有人说，关注意义成了20世纪哲学家的职业病。再次是语言学自身发展的需要，例如在研究自然语言的意义问题时，不能仅仅停留在脱离语境的抽象研究上面，而要结合使用语言的特定环境去研究，这导致了语义学、语用学、新修辞学等等发展。各个方面发展的成果可以总称为“自然语言逻辑”，它力图综合后期维特根斯坦提倡的使用论

，j·l·奥斯汀、j·l·塞尔等人发展的言语行为理论，以及p·格赖斯所创立的会话含义学说等成果，透过自然语言的指谓性和交际性去研究自然语言中的推理。

自然语言具有表达和交际两种职能，其中交际职能是自然语言最重要的职能，是它的生命力之所在。而言语交际总是在一定的语言环境（简称语境）中进行的，语境有广义和狭义之分。狭义的语境仅指一个语词、一个句子出现的上下文。广义的语境除了上下文之外，还包括该语词或语句出现的整个社会历史条件，如该语词或语句出现的时间、地点、条件、讲话的人（作者）、听话的人（读者）以及交际双方所共同具有的背景知识，这里的背景知识包括交际双方共同的信念和心理习惯，以及共同的知识和假定等等。这些语境因素对于自然语言的表达式（语词、语句）的意义有着极其重要的影响，这具体表现在：（i）语境具有消除自然语言语词的多义性、歧义性和模糊性的能力，具有严格规定语言表达式意义的能力。（ii）自然语言的句子常常包含指示代词、人称代词、时间副词等，要弄清楚这些句子的意义和内容，就要弄清楚这句话是谁说的、对谁说的、什么时候说的、什么地点说的、针对什么说的，等等，这只有在一定的语境中才能进行。依赖语境的其他类型的语句还有：包含着象“有些”和“每一个”这类量化表达式的句子的意义取决于依语境而定的论域，包含着象“大的”、“冷的”这类形容词的句子的意义取决于依语境而定的相比较的对象类；模态语句和条件语句的意义取决于因语境而变化的语义决定因素，如此等等。（iii）语言表达式的意义在语境中会出现一些重要的变化，以至偏离它通常所具有的意义（抽象意义），而产生一种新的意义即语用涵义。有人认为，一个语言表达式在它的具体语境中的意义，才是它的完全的真正的意义，一旦脱离开语境，它就只具有抽象的意义。语言的抽象意义和它的具体意义的关系，正象解剖了的死人肢体与活人肢体的关系一样。逻辑应该去研究、理解、把握自然语言的具体意义，当然不是去研究某一个（或一组）特定的语句在某个特定语境中唯一无二的意义，而是专门研究确定自然语言具体意义的普遍原则。[⑦]

美国语言学家保罗·格赖斯把语言表达式在一定的交际语境中产生的一种不同于字面意义的特殊涵义，叫做“语用涵义”、“会话涵义”或“隐涵”（implicature），并于1975年提出了一组“交际合作原则”，包括一个总则和四组准则。总则的内容是：在你参与会话时，你要依据你所参与的谈话交流的公认目的或方向，使你的会话贡献符合这种需要。仿照康德把范畴区分为量、质、关系和方式四类，格赖斯提出了如下四组准则：

（1）数量准则：在交际过程中给出的信息量要适中。

a．给出所要求的信息量；

b．给出的信息量不要多于所要求的信息量。

（2）质量准则：力求讲真话。

a．不说你认为假的东西，。

b．不说你缺少适当证据的东西。

（3）关联准则：说话要与已定的交际目的相关联。

（4）方式准则：说话要意思明确，表达清晰。

a．避免晦涩生僻的表达方式；

b．避免有歧义的表达方式；

c．说话要简洁；

d．说话要有顺序性。[⑧]

后来对这些原则提出了不少修正和补充，例如有人还提出了交际过程中所要遵守的“礼貌原则”。只要把交际双方遵守交际合作原则之类的语用规则作为基本前提，这些原则就可以用来确定和把握自然语言的具体意义（语用涵义）。实际上，一个语句p的语用涵义，就是听话人在具体语境中根据语用规则由p得到的那个或那些语句。更具体地说，从说话人s说的话语p推出语用涵义q的一般过程是：

（i）s说了p；

（ii）没有理由认为s不遵守准则，或至少s会遵守总的合作原则；

（iii）s说了p而又要遵守准则或总的合作原则，s必定想表达q；

（iv）s必然知道，谈话双方都清楚：如果s是合作的，必须假设q；

（v）s无法阻止听话人h考虑q；

（vi）因此，s意图让h考虑q，并在说p时意味着q。

试举二例：

（1）a站在熄火的汽车旁，b向a走来。a说：“我没有汽油了。”b说：“前面拐角处有一个修车铺。”这里a与b谈话的目的是：a想得到汽油。根据关系准则，b说这句话是与a想得到汽油相关的，由此可知：b说这句话时隐涵着：“前面的修车铺还在营业并且卖汽油。”

逻辑学的认识篇3

为了行文方便，本文不再列小标题，只是基本上按照“程文”的顺序就有关问题逐次进行论述。

1.“程文”说：“逻辑学与逻辑思维是两个不同的概念，逻辑学指一门思维科学，逻辑思维指一种思维活动或思维方式……逻辑思维的形成到逻辑学的诞生，是从逻辑规律和逻辑推理被人们不自觉地运用，到它们的形式被人们自觉地研究并加以系统化的飞跃。”②我们认为，“程文”这里所论逻辑思维与逻辑学的区分是正确的。逻辑思维也就是合逻辑的思维，是人们对思维形式及其规律的运用，逻辑学是人们对逻辑思维的研究，是人们对逻辑思维中所运用的思维形式（概念、命题、推理等）及其规律的逻辑总结。

但是，使笔者不解的是，“程文”所引《大学》中的一段话：“古之欲明明德于天下者，先治其国。欲治其国者，先齐其家。欲齐其家者，先修其身。欲修其身者，先正其心。欲正其心者，先诚其意。欲诚其意者，先致其知。致知在格物。格物而后知至，知至而后意诚，意诚而后心正，心正而后身修，身修而后家齐，家齐而后国治，国治而后天下平。”③这段话显然应属于逻辑思维的范围，竟被“程文”称之为“逻辑关系研究”，并且是“对命题逻辑的基本关系即蕴涵与逆蕴涵也有准确的理解”④。（这样它岂不是应属于逻辑学范围了？）而“程文”所引《墨经》对有关条件命题的必要条件、充分条件的理论概括：“小故，有之不必然，无之必不然……大故，有之必然。”本来属于逻辑学的范围（它是墨经逻辑学的一部分），竟被“程文”归属于“命题逻辑的运用”⑤！

2.“程文”认为，文化有两个基本的构成部分：价值体系和知识体系，价值体系包括道德观念、政治思想和宗教信仰。众所周知，道德观念、政治思想和宗教信仰都属于意识形态，都是有阶级性的。知识体系中有的内容没有阶级性（如自然科学），有的也是有阶级性的，如哲学（哲学也属于意识形态）。这样看来，在阶级社会，文化的主要内容乃是属于意识形态的，是有阶级性的。马克思说过：“统治阶级的思想在每一时代都是占统治地位的思想。这就是说，一个阶级是社会上占统治地位的物质力量，同时也是社会上占统治地位的精神力量……占统治地位的思想，不过是占统治地位的物质关系在观念上的表现。”⑥因此可以说，在阶级社会，每一时代的文化思想的主流都必然是统治阶级思想的体现，它们的作用也首先在于维护统治阶级的统治。但是，“程文”却认为希腊文化并非如此。“程文”说，“希腊哲学的主要取向，就是认知主义”⑦，希腊哲人满足于仅仅为了认知而生活。

难道事实真的是这样的吗？让我们看看关于这一问题的权威著作是怎样说的：古希腊的社会是奴隶制社会。古希腊的哲学家同时是奴隶主。“古希腊哲学是奴隶主的世界观，德谟克里特的原子论和柏拉图的理念论，作为理论两者是不同的，以至对立的。但德谟克里特和柏拉图作为奴隶主的哲学家，他们的理论却都是为奴隶制度的合理性作辩护，为巩固奴隶制度服务的。他们都认为这种制度是合乎自然的制度，奴隶按着本性，天生就是安分守己，从事沉重的体力劳动；奴隶主则按照本性，天生就是发号施令，从事政治、文化、军事活动。奴隶制是永远不可改变的，改变了奴隶制就是违反了自然，悖逆了宇宙自然和人自身的本性。”⑧

3.“程文”所以要曲解古希腊哲学的根本性质，关键在于要论证希腊哲学的根本取向决定了希腊必然会产生逻辑学。“程文”说：“希腊哲学的认知取向，代表了希腊文化的主流，反映了希腊文化的终极关怀。”⑨而“希腊文化的终极关怀，对逻辑学的产生有决定性的影响。”⑩难道希腊逻辑学的产生真的是由于希腊哲学的所谓认知主义取向决定的吗？不，如上所说，所谓希腊哲学的认知主义取向就是虚假的，而希腊逻辑学的产生是希腊哲学、文化的认知主义取向决定的说法，则更是荒谬的。试看马玉珂主编《西方逻辑史》（高等学校哲学专业教材）对这一问题是如何论述的：由于经济的发展，在一些城邦国家里出现了新兴的工商业奴隶主，“这种新兴的阶级代表进步的力量，同地主贵族奴隶主阶级进行各种政治斗争。代表不同阶层的利益的思想家、哲学家的不同观点的争论，就是这种政治斗争的反映。在古希腊，社会意识形态领域中的斗争涉及政治、伦理、法律、宗教、哲学等各个方面。‘百家争鸣’，论辩之风甚盛。争鸣、论辩，不能停留在简单的说明或陈述上，需要有说服力的推理和论证，需要增强理性思维能力。于是，作为说理论证的演说术、雄辩术便应运而生。”(11)在这些演说术和雄辩术的基础上，逻辑学也就逐渐形成了。“由此可见，逻辑学的产生同论辩、证明直接有关。”(12)

可见，希腊逻辑学的产生不仅不是由于希腊哲学的所谓认知主义取向决定的，而恰恰是希腊意识形态领域阶级斗争发展的表现——“百家争鸣”的产物。

“程文”为“希腊文化的终极关怀，对逻辑学的产生有决定性的影响”这一观点，提供了两条论据。其实这两条论据也同样适用于我们的观点。“程文”说：“首先，希腊文化的认知取向就使逻辑思维得到充分的发展。对希腊人而言，无论是认识外在的自然，还是认识自身，都是要运用推理、进行论证的。”(13)然而，进行意识形态领域的阶级斗争——“百家争鸣”，不是更需要运用推理、进行论证吗？“程文”说：“其次，科学总是因应社会的需要而产生的，希腊文化的终极关怀也呼唤逻辑学，因为人们的认知活动十分需要逻辑的规范，借以澄清谬误和诡辩。”(14)然而，进行意识形态领域的阶级斗争——“百家争鸣”，不也同样需要逻辑的规范，借以澄清谬误和诡辩吗？

4.“程文”之所以要曲解希腊文化的特点并进而曲解希腊逻辑学产生的原因，关键是为了论证中国文化的特点与希腊文化根本不同，因而决定了中国不可能产生逻辑学。

“程文”说：“中国文化以道德与政治的两位一体作为终极关怀。”(15)又说：“内圣外王之道，道尽了中国文化的终极关怀。”(16)“在中国文化中，表面上至高无上的价值是道德，实际上至高无上的价值是政治。”(17)笔者认为，且不说“程文”对中国文化特点的概括是否片面化、简单化，我们只强调一点：正如上文所说，在阶级社会，一个国家的文化特别显示出道德和政治的重要地位，这不仅是正确的，而且是必然的。不仅中国如此，希腊也如此，只是“程文”未能正确认识希腊文化的特点而已。

“程文”为它的观点“中国文化的特点决定了中国不能产生逻辑学”进行了一系列的论证，但这些论证都是不能成立的。现择其要者反驳如下：

“程文”说，中国文化中由道德与政治结成的价值体系，与逻辑学的价值中立的本性是不相容的。它甚至引证牟宗三的话，说“是以知性中的成果，即逻辑、数学、科学，亦未出现。这一层领域完全成了一片荒凉地，意识所未层贯注到的地方。”(18)又说：“儒家不反智，只是把智当作道德与政治的御用工具……但是，由于道德与政治所结成的价值体系主宰一切，独霸一切，价值中立的知识根本就没有地位可言。”(19)笔者认为，把政治、道德放在第一位，决不意味着就不要发展非阶级性的科学——逻辑、数学、科学。因为，任何有头脑的统治者都会知道，发展逻辑、数学、科学，从而更好更快地提高整个国家的经济文化水平，改善老百姓的生活质量，是维护国家政权的最根本、最好的方法；至于说中国文化价值观决定了逻辑、科学、数学从未出现，这完全与事实相背。中国在近代以前，科技一直处于世界的先进行列，这已为中外众多的科学家所肯定，岂是可以由“程文”一笔抹杀的。(20)

说把“智”（也就是指所谓价值中立的知识性科学：逻辑学、数学、科学等）当做政治的御用工具，这也就是它的地位，又说它根本没有地位可言，这完全是自相矛盾；并且，既然是“工具”，当然就有必要强化这种工具。也就是说，即使在道德与政治的价值体系主宰一切的情况下，也必然会发展逻辑科学，又怎么会不可能产生出逻辑学呢？

“程文”说：“先秦诸子就有不同的政治要求或善恶观念，例如，墨子主张‘兼爱’，杨朱主张‘为我’，已是互不相容，孟子更一概否定，斥之曰：‘杨氏为我，是无君也。墨子兼爱，是无父也，无父无君，是禽兽也。’那么，逻辑应该与谁的政治要求一致，为谁的善恶观念服务呢？难道不同的阶级或派别有不同的逻辑？”(21)笔者认为，说逻辑学要成为政治道德服务的工具，是说不管墨子、杨朱、孟子的政治道德观念如何不同或对立，他们都需要同一的逻辑学工具，而决非是说必须创造出不同的阶级或派别的不同的逻辑学。这正像不同的工匠制作不同的家具，所用的工具却完全可以是相同的一样。

“程文”说：“当《墨子·小取》提出‘辩’要为‘审治乱’‘处利害’服务之时，也就赋予‘辩’以意识形态的属性。”(22)笔者认为，第一，这种说法是片面性的，试看《小取》中关于“辩”的性质和作用的论述的原文：“夫辩者，将以明是非之分，审治乱之纪，明同异之处，察名实之理，处利害，决嫌疑。焉（乃）摹略万物之然，论求群言之比。”显然，《小取》并未把“辩”的作用归结为“审治乱”和“处利害”，而是指出它具有明同异之处等等作为认识和论说等工具的作用，而作为认识和论说的工具，当然也可用于“审治乱”和“处利害”。因此，决不能由此得出结论说，《小取》的说法是把“辩”归结为意识形态一类的。

第二，究竟“辩”是属于意识形态科学，还是属于工具性科学，决不能仅看《小取》有关“辩”的作用的几句论述，而是要看《小取》的全部具体内容。限于篇幅，对于《小取》的具体内容这里无法展开解释（关于《小取》的具体内容在许多中国逻辑史著作中都有详述，读者可参看），但总体上看，《小取》的内容无非如《小取》所说，是“以名举实，以辞抒意，以说出故”，亦即是关于“名”（概念）“辞”（命题）“说”（推理）等思维形式的论述，也就是逻辑学的有关理论。

“程文”说：“当墨家将为‘兼爱’和‘杀盗’两个互相冲突的政治主张进行辩护的意图强加于推理之时，就陷入‘杀盗非杀人’的诡辩，导致一系列矛盾……断送它的逻辑前途，因为一个包含矛盾的理论不可能成为逻辑学。”(23)笔者认为，第一，说墨家的“兼爱”和“杀盗”是两个互相冲突的政治主张是不正确的。“兼爱”是要对广大的人民群众平等相爱，而“杀盗”则是要对破坏广大人民群众正常生活的坏分子进行镇压。正像我们现在要建设和谐社会，必须对严重破坏社会主义事业的刑事犯罪分子进行镇压一样，在当时要达到“兼爱”，也必须“杀盗”。因此，“兼爱”和“杀盗”在墨家的思想体系内是完全一致的。第二，“程文”把在一个形式化逻辑系统中包含有逻辑矛盾和一个非形式化系统中某一个局部（在一个举例中）包含有逻辑矛盾混淆了。一个形式化逻辑系统中如果既推出了定理p，又推出了定理非p（┑p），这就是出现了逻辑矛盾。而根据数理逻辑定理（p∧┑p）b，即逻辑矛盾命题可以推出任意命题，这样的逻辑系统自然是无科学价值的。但是，《小取》中的“杀盗非杀人”，只是作为“是而不然”（前提为肯定命题但却推出否定结论）的推理形式（“盗，人也……杀盗非杀人也”）的举例来讲的，即使这个举例是不当的，也不会导致《小取》所构建的逻辑系统的全部崩溃。第三，其实《小取》中对“杀盗非杀人”的论证，并非就是诡辩，相反，倒是一个精巧的论证。我们知道，“人”这个词在不同的语境中可以有广义和狭义两种含义，广义指包括一切坏人和一般人在内的“人”，狭义则仅指不包括坏人在内的一般人。“盗贼也是人”，其中的“人”乃是广义的人。“××坏极了，简直不是人”，其中的“人”乃是狭义的人。《小取》关于“杀盗非杀人”的论证正是在区分“人”的两种不同含义的语境下进行的。试看《小取》的原文：“盗，人也；多盗，非多人也；无盗，非无人也。奚以明之？恶多盗，非恶多人也。欲无盗，非欲无人也。世相与共是之。若若是，则虽盗人也，爱盗，非爱人也；不爱盗非不爱人也；杀盗非杀人也。”(24)很清楚，“盗，人也”中的人乃指广义的人，而“多盗，非多人也”等等句中的“人”则是狭义的人，因此，说“杀盗，非杀人也”和“盗，人也”并非是逻辑矛盾。事实上，这样的论证还是很有道理的。反之，在论证时如果分不清两种“人”的含义，倒确实会造成思维混乱。如：“杀人者犯死罪，对杀人犯处死刑是杀人，因此，对杀人犯处死刑犯死罪。”这不恰恰是诡辩吗？

5.“程文”批评撰写中国逻辑思想史的学者混淆概念，用“中国逻辑思想史”冒充“中国逻辑史”。“程文”说：“逻辑思想就是逻辑思维运用于具体的思想或学术领域而产生的结果，所以，中国古代也就有‘逻辑思想史’可言。”(25)笔者认为，这种说法才真正是概念的混乱。按这种说法，一切合逻辑的谈话、文章、科学文化论著就都属于逻辑思想，因为它们都是逻辑思维运用于具体的思想或学术领域而产生的结果。这样，中国逻辑思想史就不是像“程文”所说的是中国思想史和中国文化史的一个重要组成部分，而是要囊括中国思想史、文化史、科技史等的全部内容。这样的逻辑思想史岂不成了《永乐大典》式的著作吗？其实，“逻辑思想”也就是有关逻辑科学的思想，或者说是论述有关思维形式及其规律的思想。在古代，逻辑学未能形成完全独立的学科，有关逻辑学的论述往往散见于哲学、语言学、论辩术等等的论著中，并且它们往往也只是有关某个（些）思维形式及其规律的某个方面的论述（并未构成一个完整的逻辑学系统），但只要是有关思维形式及其规律的论述，就都属于逻辑思想的范畴。我国的逻辑史学者，把我国自古以来有关论著中所包含的逻辑思想，加以摘引、整理、评析，按照历史的顺序进行编排，也就成了“中国逻辑思想史”。这种工作可以使我们看到中国逻辑思想历史发展的概要，对我国逻辑学的研究是很有意义的，岂可随意用“冒充”言之！

6.“程文”为了论证中国古代文化不能产生逻辑学，最后甚至不惜对中国古代的逻辑思维和文化加以贬斥。如：“中国古代有逻辑思维，但无论在质或量方面都得不到充分的发展。”(26)“逻辑思维始终没有成为人们的思维方式的主流。”(27)“中国传统文化就是一种结构失衡的文化，因为它只注重价值而忽视知识。”(28)按照“程文”的说法，我国自古以来只是一个逻辑思维能力低下的国家，不仅世界逻辑学三大发源地的称号不再存在，五千年灿烂文化的文明古国恐怕也成了问题。难道真的是这样的吗？我这里不再多说，请广大读者认真思考吧！

收稿日期：2008—07—30

注释：

①②③④⑤⑦⑨⑩(13)(14)(15)(16)(17)(18)(19)(21)(22)(23)(25)(26)(27)(28)程仲棠：《文化的终极关怀与逻辑学的命运——兼论中国文化不能产生逻辑学的根本原因》，《中国哲学史》2008年第1期。

⑥马克思、恩格斯：《费尔巴哈》，《马克思恩格斯选集》第一卷，人民出版社，1972年。

⑧苗力田主编《古希腊哲学》(高等学校文科教材)，中国人民大学出版社，1989年。

逻辑学的认识篇4

一、以学科逻辑替代课程逻辑

每个学科都必须遵循自己特有的学科逻辑，将所涉及的知识领域的概念系统按照逻辑顺序加以叙述，编辑出版学专业也不例外。编辑出版学学科逻辑提供了探索编辑出版活动规律、解释编辑出版现象的视角、方法和过程，并为对编辑出版学研究和实践有共同兴趣的人们搭建了一个进一步拓展知识结构的平台，是研究编辑出版活动获得系统化知识、建构编辑出版学专业课程体系的基础。从这层意义上说，编辑出版学专业课程体系，首先必须遵循编辑出版学科的学科逻辑。多年编辑出版学专业课程体系建设的实践也表明，遵循学科逻辑，才能避免课程内容重复，保证课程之间衔接紧密。

编辑出版学课程是根据一定的教育理念，按照人才培养目标、出版产业对出版人才的需求以及编辑出版职业特点，选择课程设计者认为应该掌握的思想、知识与方法，传递给编辑出版学专业学生的科目和进程。因此，编辑出版学学科逻辑并不等于编辑出版学专业课程逻辑。编辑出版学课程体系所遵循的逻辑，除了编辑出版学学科的逻辑外，还应当兼顾人才知识能力结构逻辑和学生职业发展的逻辑。也就是说，编辑出版学课程体系的逻辑结构应当是由编辑出版学学科逻辑、人才知识能力结构逻辑和学生职业发展逻辑组成的多元逻辑体系；编辑出版学专业课程应当按照这一多元逻辑体系，将知识内容分配到各个范畴中。但是，由于目前学界对编辑出版课程体系的逻辑结构问题缺乏足够的重视，导致课程体系建设过程中片面强调学科逻辑，以学科逻辑取代课程逻辑，将课程体系必须遵循的多元逻辑体系简单化为单一的学科逻辑，严重忽视了出版产业人才需求逻辑和学生职业发展逻辑。

这种以编辑出版学学科逻辑取代编辑出版学课程体系，仅按学科逻辑将编辑出版学专业知识累积到课程中去的做法，对编辑出版学课程设置和课程内容选择造成许多负面影响。最突出的表现是学生远离真实的产业发展环境，难以将专业知识运用于编辑出版工作实践，忽略了学生未来职业发展的需求。在“象牙塔”专业教育作用观指导下，课程设置和课程内容严重滞后于时展，严重脱离出版产业对人才知识结构的实际需求。此外，将课程体系限定在学科逻辑规定的领域内，不考虑编辑出版学课程的多元逻辑体系，编辑出版学专业知识的功能与应用就会因此而消减，学科发展就会因为失去出版产业的滋润而失去生命力。编辑出版学学科知识只有与编辑出版职业活动相结合，适应了学生的职业发展逻辑，才会产生意义，才更可能让学生有效地接受。不考虑学生职业发展逻辑，课程内容和课程设置忽视了学生学习能力、创意能力等编辑出版职业必备素质的培养，不仅难以让学生通过学习找到职业归属，更无法从学理高度改变业界“编辑出版是技能而不是专业”的错误认识。②学界应当认真研究编辑出版学专业课程体系的逻辑结构，尽快纠正编辑出版学学科逻辑就是课程体系逻辑的认识和做法，在课程体系建设中兼顾产业人才需求逻辑和学生职业发展逻辑，只有如此，才能既坚持学校教育传递知识的高效性和培养学生逻辑思维能力的特点，保证编辑出版学专业知识传递的高度组织性和系统性，又能在学科专业建设中主动搁置编辑学与出版学的学科之争，有利于加强在传播学、信息管理学等学科体系下的全国各高校编辑出版学专业之间的团结，使他们共同专注于课程的开发和建设。

二、违背学科逻辑

检视既往编辑出版学课程建设，还会发现一个有趣的现象，那就是一方面以学科逻辑替代课程逻辑，另一方面又在编辑学学科群和出版学学科群的课程设置中违背学科逻辑。

近年来，在编辑学一般原理和图书报刊等载体编辑学研究成果不断巩固的基础上，社科书籍编辑学、科技书籍编辑学、学术著作编辑学、文艺编辑学、辞书编辑学、少年儿童读物编辑学和英文书刊编辑学等著作相继出版，标志着编辑学学科已形成了普通编辑学、载体编辑学和载体专业编辑学三个层面的科学合理的学科体系，学科发展日臻成熟。但令人遗憾的是，学界建构编辑学课程群时，没有及时汲取载体专业编辑学研究成果，课程设置依然为编辑学原理、编辑出版史和载体编辑学课程。这种做法不仅没有为编辑出版学课程体系补充来自业界鲜活的“内容编辑”的知识内容，更违背了学科逻辑，犯了常识性错误。以期刊编辑与书籍编辑为例，试想一下是科技期刊与科技图书在编辑工作中的相似度高，还是文学图书与科技图书编辑在编辑工作中的相似度高？这种强调载体形式编辑学而忽视载体内容编辑学的后果，使学生仅仅浮光掠影地学习了编辑工作的一般流程，无法进一步掌握不同内容的编辑规律。特别是在信息时代，学科专业越分越细，数字出版方兴未艾，载体的鸿沟已经打破，专

业内容的编辑差异大于不同载体间编辑工作的差异，编辑不仅要有驾驭不同载体编辑工作的能力，更要具备对某一专业方向内容进行深度编辑加工和信息开发的能力。仅仅学习不同载体的编辑知识，无法培养出适应全媒体时代数字出版的编辑出版人才。从这一意义上说，编辑学课程设置中单纯强调载体编辑学，缺乏内容编辑学课程，也是造成编辑出版学专业毕业生就业困难的重要原因。

出版学课程群也有类似情况，主要表现为对课程群的逻辑结构缺乏深刻理解，没有明确基础与应用、内核与的逻辑关系，导致因产业发展和出版新技术需要而仓促设置课程的现象时有发生。例如，网络出版、数字出版和电子出版之间是什么关系，数字出版技术和数字出版一般原理之间是什么关系，学界始终没有统一的认识，以至于这类新课程之间逻辑关系不明，课程之间联系不够，课程体系也不够稳定。

三、人才知识能力结构逻辑关系不明

出版人才知识能力结构逻辑按照内在的规定性运行，具有鲜明的普遍性和客观性，不以人的主观意志为转移。随着网络和数字技术的发展和产业化进程加快，出版业对人才的需求越来越表现出高度的复合性特点。业界普遍认为，21世纪的编辑出版人才，必须是掌握先进的网络数字出版技术、懂得经营管理、能够驾驭多种媒体编辑工作、能够撷取当代人类最优秀文化加以传播的复合型人才。分析业界对复合型编辑出版人才的期望，不外乎包含了经营、技术和创意三个因素，其中谁是皮，谁是毛，谁是核心，谁是，就是编辑出版人才能力结构逻辑的关键所在。传承文化、传播文明是编辑出版业的使命，内容为王是编辑出版业发展的真理。从这层意义上说，编辑出版人才知识能力结构的核心应当是创意，学生最应当学习的是终身学习和创意的本领。

遗憾的是，业界尽管对复合型编辑人才有所认识，但具体需要什么样的人才，不能提出具体的要求，学界面对现代复合型编辑出版人才必须掌握的十八般武艺更是如坠云间，对于学生知识结构的构成没有通盘考虑，课程设置只能采用“添油战术”，业界面临什么新问题，出现了什么新技术，学界就开相应的课程。如此“杂拌”课程体系，难免使学生学完之后“什么都知道，又什么都不精”。在不断设置时髦课程的同时，忽视的恰恰是出版人才最宝贵的创意能力的培养。

四、忽视编辑职业发展逻辑

编辑的成长有其内在规律，也具有不以人的主观意志为转移的编辑职业发展逻辑。传统的师徒制编辑培养方法，是选择具有一定学科专业背景的学生进入出版社，跟随经验丰富的老编辑一同工作，通过观察、模仿、交流，在具体的编辑工作中体会编辑成长的逻辑，进而成长为合格的编辑。高校编辑出版学专业则是从编辑出版实际活动中抽象出编辑出版知识与技能作为课程内容，通过课程学习培养编辑人才。③毫无疑问，学校教育在传递概念知识与事实知识方面，在进行结构完善的简单问题技能的教学中都发挥了巨大的作用。但正如前面所述，由于编辑出版学专业在课程内容的组织上，特别是在教材编写、制订教学计划等具体课程建设中，大多根据学科逻辑展开教学内容，基本不考虑编辑职业发展逻辑，造成编辑出版学专业课程知与行割裂，即使一些实务性课程，也过分强调脱离具体情境的、抽象的概念迁移，内容空泛、无针对性、可操作性差，无法让学生感兴趣。不仅如此，不考虑职业发展逻辑的编辑出版学课程内容，无法完成学生职业角色的心理建构，导致他们就业后难以立即进入角色，使业界对编辑出版学专业的学生颇有微词，这也严重影响了专业的发展。

五、多元逻辑体系下编辑出版学专业课程建设的原则

以上分析表明，编辑出版学专业课程建设，必须明确课程体系的多元逻辑结构，确立课程的多元逻辑体系下编辑出版学专业课程建设的原则，进而发挥学科逻辑、编辑出版人才知识能力结构逻辑、学生职业发展逻辑的系统作用，确保学生真正掌握课程内容，为学生今后的职业发展和进一步深造打下坚实的基础。

1.以学科逻辑为基础，增强专业课程内容对编辑出版人才知识能力结构逻辑和职业发展逻辑的适用性

编辑出版学的学科逻辑具有高度严谨的系统性和组织性，是一代代出版人在长期实践中对相关知识领域不断探索、总结、升华的结晶，并经历了出版实践的检验。学科逻辑传递知识的高效性有利于学生逻辑思维能力培养的特点，决定了在编辑出版学专业课程体系中的重要地位。毫无疑问，这是编辑出版学课程多元逻辑体系的基础。但是，与任何学科一样，编辑出版学专业教育的对象是学生，受教育者是其课程体系的逻辑起点，学生作为未来的编辑出版人才“做什么”和“怎么做”，即编辑出版工作的基本内容和基本方法是课程体系的中间结构，而能够适应编辑出版工作的编辑出版人才，则是课程体系逻辑的终点与归属。因此，要转变将学科课程内容组织的逻辑体系单一化为学科逻辑的误区，在课程内容的组织中应兼顾学科逻辑、人才知识能力结构逻辑和编辑职业发展逻辑，增强学科课程内容对编辑出版人才知识能力结构逻辑和学生职业发展逻辑的适用性。具体来说，就是根据编辑出版学人才知识能力结构逻辑，结合学生职业发展逻辑来设置课程。唯有如此，方能保证学生能够将专业知识组织和运用于未来的编辑出版实践中，使编辑出版学学科发展永葆活力。

2.以出版内容创意教育为核心展开编辑出版人才知识能力结构逻辑

现代编辑出版人才必须能够根据读者需求、文化发展、科技进步诸多因素，组织学术、大众文化和教育三大类别的出版活动。与此同时，出版业所承担的文化选择和文化传承重任，只有在特定的载体上才能实现。因此，出版物内容编辑开发知识能力和载体复制知识能力相互交织，是编辑出版人才知识能力结构的关键性特征。

内容为王是编辑出版业发展的真理，创意和终身学习的本领是编辑出版人才知识能力结构的核心。创意贯穿于出版活动的各个环节，无论是出版经营管理、复制传播技术，都离不开创意。虽然驾驭不同载体，进行复制传播也需要创意，但出版产业发展的关键是对出版内容的开发，现代编辑出版人才，必须具有各类不同内容的出版创意能力，能够根据读者需求、文化发展、科技进步等因素，组织、开发各种类型的出版活动。在多元逻辑体系下，编辑出版学专业课程建设应当以不同内容出版创意为主线，传授不同载体开发、复制、传播的知识和技术，培养具备出版创意能力、能够适应全媒体出版的现代出版人才。

需要注意的是，尽管这种以出版创意教育为核心展开出版人才知识能力结构逻辑的思路，符合编辑出版学的学科逻辑，但因为编辑出版内容几乎涉及所有人类文明成果，课程开发的难度很大。笔者建议，除了加强通识教育课程的深度和广度之外，应当以内容编辑学课程为纵线，以不同载体出版实务课程为横线，建构编辑出版学专业课程体系。这样，编辑学和出版学课程就可以通过内容创意与载体平台开发、经营管理和营销传播创意的交汇，实现编辑出版本科教育在出版创意教育与技术和经营管理上的统一。

3.通过培养学生终身学习能力来表达编辑出版人才职业发展逻辑

统一认识，破解难题，是编辑出版学专业课程体系建设不可回避的问题。关于编辑出版人才的职业发展逻辑，业界认为应当是“专业毕业生——学科专业编辑—复合型出版人才”，而学界认为是“编辑出版专业学生——普通编辑——复合型出版人才”。④人才供需双方在编辑出版人才职业发展逻辑认识上的巨大差距，严重影响着出版产业和编辑出版学专业的发展。

现代社会是高度专业化的社会，出版业界对编辑出版人才学科专业知识和能力的要求无可厚非，编辑加工专业稿件、策划专业性较强的出版项目，没有一定的专业知识是绝对不行的。毕业生缺乏学科专业知识背景，是高校编辑出版学专业的短板。但是，编辑出版本身就是一个专业，业界认为具备了一定学科专业的毕业生在工作中通过师徒传承，掌握了编辑出版工作流程就能成为合格的专业编辑，进而成长为复合型编辑出版人才也有失偏颇。特别是将编辑出版专业教育纳入职业培训范畴的做法，已经难以适应全媒体出版时代对编辑出版人才的要求。既然可以在工作中学习编辑出版知识，掌握编辑出版技能，为什么不能在具体编辑出版工作过程中学习学科专业知识，成长为复合型编辑出版人才呢？因此，通过培养学生终身学习能力的编辑出版人才职业发展逻辑，是统一业界和学界在编辑出版人才成长逻辑上分歧的最好办法。

根据这一思路，编辑出版专业课程建设，一方面要不断加强出版创意教学，进一步充实内容编辑学课程，强化专业特性，另一方面应当拓展一般人文社科类普通高校通识教育课程的知识领域，尤其要注意社会科学、自然科学、工程技术科学的一般原理、学科研究方法的内容，努力通过通识教育课程和专业基础课程打通学科壁垒，优化知识结构，为学生适应编辑出版工作和终身学习打下坚实的基础。

逻辑学的认识篇5

论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。?

逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：?

（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。?

（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。?

（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。?

（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。?

（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。?

在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。?

所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。?

恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？?

关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。?

莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。?

基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。

数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。?

1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。?

综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。?

马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。?

第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、b是逻辑真命题，那么a并且b、如果a那么b都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。?

逻辑学的认识篇6

［关键词］人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑

实际上，在20世纪中后期，就已经开始了现代逻辑与人工智能（记为AI）之间的相互融合和渗透。例如，哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。AI从认知心理学、社会科学以及决策科学中获得了许多资源，但逻辑（包括哲学逻辑）在AI中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理

的理论；基于几乎同样的理由，AI研究者也在进行类似的探索，这两方面的研究正在相互接近、相互借鉴，甚至在逐渐融合在一起。例如，AI特别关心下述课题：

·效率和资源有限的推理；

·感知；

·做计划和计划再认；

·关于他人的知识和信念的推理；

·各认知主体之间相互的知识；

·自然语言理解；

·知识表示；

·常识的精确处理；

·对不确定性的处理，容错推理；

·关于时间和因果性的推理；

·解释或说明；

·对归纳概括以及概念的学习。[①]

21世纪的逻辑学也应该关注这些问题，并对之进行研究。为了做到这一点，逻辑学家们有必要熟悉AI的要求及其相关进展，使其研究成果在AI中具有可应用性。

1．常识推理中的某些弗协调、非单调和容错性因素

AI研究的一个目标就是用机器智能模拟人的智能，它选择各种能反映人的智能特征的问题进行实践，希望能做出各种具有智能特征的软件系统。AI研究基于计算途径，因此要建立具有可操作性的符号模型。一般而言，AI关于智能系统的符号模型可描述为：由一个知识载体（称为知识库KB）和一组加载在KB上的足以产生智能行为的过程（称为问题求解器PS）构成。经过20世纪70年代包括专家系统的发展，AI研究者逐步取得共识，认识到知识在智能系统中力量，即一般的智能系统事实上是一种基于知识的系统，而知识包括专门性知识和常识性知识，前者亦可看做是某一领域内专家的常识。于是，常识问题就成为AI研究的一个核心问题，它包括两个方面：常识表示和常识推理，即如何在人工智能中清晰地表示人类的常识，并运用这些常识去进行符合人类行为的推理。显然，如此建立的常识知识库可能包含矛盾，是不协调的，但这种矛盾或不协调应不至于影响到进行合理的推理行为；常识推理还是一种非单调推理，即人们基于不完全的信息推出某些结论，当人们得到更完全的信息后，可以改变甚至收回原来的结论；常识推理也是一种可能出错的不精确的推理模式，是在容许有错误知识的情况下进行的推理，简称容错推理。而经典逻辑拒斥任何矛盾，容许从矛盾推出一切命题；并且它是单调的，即承认如下的推理模式：如果p?r，则pùq?r；或者说，任一理论的定理属于该理论之任一扩张的定理集。因此，在处理常识表示和常识推理时，经典逻辑应该受到限制和修正，并发展出某些非经典的逻辑，如次协调逻辑、非单调逻辑、容错推理等。有人指出，常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物，而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②]

“次协调逻辑”（ParaconsistentLogic）是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的，其基本想法是：当在一个理论中发现难以克服的矛盾或悖论时，与其徒劳地想尽各种办法去排除或防范它们，不如干脆让它们留在理论体系内，但把它们“圈禁”起来，不让它们任意扩散，以免使我们所创立或研究的理论成为“不足道”的。于是，在次协调逻辑中，能够容纳有意义、有价值的“真矛盾”，但这些矛盾并不能使系统推出一切，导致自毁。因此，这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为，如果在一理论T中，一语句A及其否定?A都是定理，则T是不协调的；否则，称T是协调的。如果T所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理，则不协调的T也是不足道的(trivial)。因此，通常以经典逻辑为基础的理论，如果它是不协调的，那它一定也是不足道的。这一现象表明，经典逻辑虽可用于研究协调的理论，但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统Cn（1≤n≤w），以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统Cn的特征性描述包括下述命题：(i)矛盾律?(A??A)不普遍有效；(ii)从两个相互否定的公式A和?A推不出任意公式；即是说，矛盾不会在系统中任意扩散，矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里，(i)和(ii)表明了对矛盾的一种相对宽容的态度，(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。

在任一次协调逻辑系统Cn(1≤n≤w)中，下述经典逻辑的定理或推理模式都不成立：

?(Aù?A)

Aù?AB

A(?AB)

(A??A)B

(A??A)?B

A??A

(?Aù(AúB))B

(AB)(?B?A)

非单调逻辑是关于非单调推理的逻辑，它的研究开始于20世纪80年代。1980年，D·麦克多莫特和J·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子M，表示某种“一致性”断言，并将其看做是模态概念，通过一定程序把模态逻辑系统T、S4和S5翻译成非单调逻辑。B·摩尔的论文《非单调逻辑的语义思考》（1983）据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分，并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程，这种推理的特征是试探性的：根据新信息，它们很可能会被撤消。自动认知推理则不是这种类型，它是与人们自身的信念或知识相关的推理，可用它模拟一个理想的具有信念的有理性的人的推理。对于在计算机和人工智能中获得成功的应用而言，非单调逻辑尚需进一步发展。

2．归纳以及其他不确定性推理

人类智能的本质特征和最高表现是创造。在人类创造的过程中，具有必然性的演绎推理固然起重要作用，但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此，计算机要成功地模拟人的智能，真正体现出人的智能品质，就必须对各种具有不确定性的推理模式进行研究。

再谈模糊逻辑。现实世界中充满了模糊现象，这些现象反映到人的思维中形成了模糊概念和模糊命题，如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代，其代表性人物是L·A·查德和P·N·马林诺斯。模糊逻辑为精确逻辑（二值逻辑）解决不了的问题提供了解决的可能，它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然，它在21世纪将继续得到更大的发展。

3．广义内涵逻辑

经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究，但在自然语言中，除了这些语言成分之外，显然还存在许多其他的语言成分，如各种各样的副词，包括模态词“必然”、“可能”和“不可能”、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等，以及各种认知动词，如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”，这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。

大多数副词以及几乎所有命题态度词都是内涵性的，造成内涵语境，后者与外延语境构成对照。外延语境又叫透明语境，是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境；内涵语境又称晦暗语境，是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别，一切语言表达式（包括自然语言的名词、动词、形容词直至语句）都可以区分为外延性的和内涵性的，前者是提供外延语境的表达式，后者是提供内涵性语境的表达式。例如，杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式，而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。

在内涵语境中会出现一些复杂的情况。首先，对于个体词项来说，关键性的东西是我们不仅必须考虑它们在现实世界中的外延，而且要考虑它们在其他可能世界中的外延。例如，由于“必然”是内涵性表达式，它提供内涵语境，因而下述推理是非有效的：

晨星必然是晨星，

晨星就是暮星，

所以，晨星必然是暮星。