推理的逻辑形式范文

推理的逻辑形式篇1

关键词:法律逻辑；应用逻辑

中图分类号：D920 文献标识码：A 文章编号：1005-5312（2011）14-0259-01

一、关于法律逻辑的研究对象

对于这个问题, 我国的逻辑界与法学界主要有两种不同的看法。第一种观点认为法律逻辑就是普通逻辑在法学领域中的具体运用, 其理论基础就是普通逻辑即形式逻辑所阐述的原理。法律逻辑是形式逻辑或普通逻辑原理在法的理论、法的规范和法的实践中的应用。因此法律逻辑的研究对象就是法律中的逻辑问题。法律逻辑是普通逻辑或形式逻辑在法律规范或法律活动中的应用。第二种观点则认为法律逻辑作为一门学科, 有其独立的研究对象。我们原则上同意第二种观点，作为一门学科, 法律逻辑是应该有其特定的研究对象的, 而作为一门逻辑学的分支学科, 它的研究又应是与一般逻辑学的研究对象相对应、相关联的。法律思维就是在法律的理论与实践中所运用的思维, 法律思维的形式, 则是指法律概念、法律命题与法律推理。

普通逻辑或形式逻辑把概念作为其重要的研究对象, 法律逻辑也要研究概念, 法律逻辑中研究的是法律概念, 即立法、司法与守法思维中的概念。一般地说, 法律概念与普通概念既有一致性也有特殊性, 以大量的法律概念为素材, 以普通逻辑的一般概念理论为工具研究法律概念与一般概念的同一性及差异性, 揭示法律概念的特殊逻辑性质与作用, 从而为法律概念的制定、规范、解释提供一般的逻辑原则, 这是法律逻辑中关于法律概念研究的主要内容。法律命题也是法律逻辑的重要研究对象, 以一般逻辑中的命题理论为墓础研究法律命题的特殊的逻辑性质及其在法律实践中的特殊作用,给予法律命题以科学的分类, 这应该是法律命题研究的主要内容。

一般而言, 法律工作是由立法、司法两大环节组成。一个立法过程就是对构成法律的每一个概念、命题进行严密分析的过程。关于法律概念与命题的研究, 其主要目的是为了用于立法中的思维。至于司法主要指的是法律的实施, 而法律的实施主要是围绕诉讼活动的司法侦查与司法审判工作, 它主要表现为对法律命题的逻辑推导以及寻找因果的各种逻辑方法。因此,与司法思维相对应的法律逻辑还要研究法律推理及各种法律实践中的逻辑方法。法律推理则是从已有的法律命题或法律知识推出新的法律命题的过程。一般地说, 法律推理与一般逻辑的推理是有区别的。一般推理理论以演绎推理为主, 特别强调从前提到结论的必然性推理, 比较轻视“ 可能性的” 、或然的推理而法律逻辑既重视必然性推理, 也重视“可能性的”、或然的推理。比如, 法律推理中的回溯推理是很有用的、法律逻辑很重视的推理, 但这一推理的形成在一般逻辑理论中是予以排斥的。

二、关于法律逻辑的性质

法律逻辑是属于逻辑学还是法律科学，是应用逻辑还是法律中的逻辑的应用？一方面,作为一门介于法律与逻辑之间的边缘学科, 法律逻辑既有法律的内容亦有逻辑学内容, 它是一门法律与逻辑相结合而形成的新学科。另一方面，由于法律逻辑研究的是法律中的逻辑问题―法律思维形式与法律思维的逻辑方法, 因此, 它的重点是逻辑而非法律, 所以, 它实质是一门应用逻辑新学科―将逻辑原理应用于法律领域而形成的学科。那么，作为法律逻辑的应用工具与基础的“纯逻辑”是普通逻辑还是现代数理逻辑或者辩证逻辑呢？普通逻辑、数理逻辑与辩证逻辑均可以运用于法律领域。因此, 在目前关于法律逻辑的研究中我们应该允许将辩证逻辑普通逻辑、数理逻辑等运用于法律的各种尝试。当然, 由于逻辑学的发展趋势是现代逻辑即数理逻辑, 由于科学的发展趋势是定量化与形式化。因此, 我们关于法律逻辑研究的最终目标应该是用现代逻辑为工具来研究法律中的逻辑问题, 形成关于法律逻辑的逻辑演算系统。法律逻辑作为一门应用逻辑，它的研究应该是有层次的, 这个层次是由“应用逻辑”与“逻辑的应用”的区别而决定的“逻辑的应用”强调的是“应用”，而“应用逻辑”的主体是“逻辑”，因此，只要是将逻辑原理不管是系统的还是零散的传统的还是现代的应用于某一学科，便可谓之“ 逻辑的应用”但应用逻辑则不同，除了要求将逻辑应用于某一领域或学科，还要求这种应用是系统的、具有逻辑科学性质。所以，“逻辑的应用”是“应用逻辑”的初级阶段，“应用逻辑”则是“逻辑的应用”的最终目标。从这一区分出发，法律逻辑的研究也包括两个层次逻辑在法律中的应用与系统化的法律逻辑。前者是低层次的只要是将逻辑知识应用于法律，均可谓之逻辑在法律中的应用，后者则是高层次的在低层次应用的基础上，以现代逻辑为工具，形成系统的严格的“关于法律的逻辑”。

参考文献：

推理的逻辑形式篇2

【关键词】逻辑/广义与狭义/一元论/多元论/工具主义

【正文】

一、广义的逻辑与狭义的逻辑

什么是逻辑？要清楚明确地回答这一问题，要将各种各样冠以“逻辑”的学科都统一在一个明确清晰的“逻辑”的定义之下，这是很困难的，甚至是不可能的。

不妨先对逻辑发展史作一简单考察。

在西方，公元前4世纪，古希腊哲学家亚里士多德集其前人研究之大成，写成了逻辑巨著《工具论》（由亚氏的六部著作编排而成：《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》、《辨谬篇》）。虽然在亚氏的著作中他并没有明确地使用“逻辑”这一名称，也没有明确地以“逻辑”这一术语命名其学说，但是，历史事实是，亚氏使形式逻辑从哲学、认识论中分化出来，形成了一门以推理为中心，特别是以三段论为中心的独立的科学。因此，可以说，亚里士多德是形式逻辑的创始人。

亚氏之后，亚里士多德学派即逍遥学派和斯多葛学派都以不同形式发展了亚氏的形式逻辑理论——逍遥学派的德奥弗拉斯特和欧德慕给亚里士多德逻辑的推理形式增补了一些新的形式与内容，提出了命题逻辑问题，斯多葛学派克里西普斯等人则构造了一个与亚里士多德词项逻辑不同的命题逻辑理论。

弗兰西斯·培根是英国近代唯物主义哲学家，也是近代归纳逻辑的创始人，他在总结前人归纳法的基础上，在批判了经院逻辑和亚里士多德逻辑之后，以其古典归纳逻辑名著《新工具》为标志，奠定了归纳逻辑的基础。

18-19世纪，德国古典哲学家康德、黑格尔等，对人类思维的辩证运动与发展进行了深入研究，建立了另一种新的思辩逻辑——辩证逻辑。

与此同时，以亚里士多德逻辑为基础的形式逻辑在发展与变化中也进入了新的阶段——数理逻辑阶段。数理逻辑也称符号逻辑，或谓狭义的现代逻辑，奠基人是德国哲学家、数学家莱布尼兹。他主张建立“表意的、普遍的语言”来研究思维问题，使推理的有效性可以用数学方法来进行。莱布尼兹的这些设想虽然在许多方面并未实现，但他提出的“把逻辑加以数学化”的伟大构想，对逻辑学发展的贡献却是意义深远的，正如逻辑史家肖尔兹所说，“人们提起莱布尼兹的名字就好象在谈到日出一样。他使亚里士多德逻辑开始了‘新生’，这种新生的逻辑在今天的最完美的表现就是采作逻辑斯蒂形式的现代精确逻辑。”（注：肖尔兹著，张家龙译：《简明逻辑史》，商务印书馆1997年版，第50页。）莱氏之后，经过英国数学家、哲学家、逻辑学家哈米尔顿、德摩根的研究，英国数学家布尔于1847年建立了逻辑代数，这是第一个成功的数理逻辑系统。1879年，德国数学家、逻辑学家弗雷格在《概念文字——一种模仿算术语言构造的纯思维的形式语言》这部88页的著作中发表了历史上第一个初步自足的、包括命题演算在内的谓词演算公理系统，从而创建了现代数理逻辑。之后，英国哲学家、逻辑学家罗素和怀特海于1910年发表了三大卷的《数学原理》，建立了带等词的一阶谓词系统，从而使得数理逻辑成熟与发展起来。

上述数理逻辑，以两个演算——命题演算与谓词演算作为核心，被称之为现代形式逻辑或狭义的现代逻辑。在当代，以现代逻辑为基础，将现代逻辑应用于各个领域、各个学科，从而出现了广义的各种各样的现代逻辑分支。

从以上对古代、近代、现当代逻辑学说发展的简单考察可以看出，逻辑的范围是十分广泛的。它至少包括了以亚里士多德逻辑为基础的传统演绎逻辑、以数理逻辑为核心及基础的现代逻辑及其分支、归纳逻辑、辩证逻辑等等，而这些逻辑相互之间的特性又是十分不同甚至十分对立的。所以，要用一个明确的定义把这些历史上所谓的逻辑都包含进去，确实是很难的。事实上，“逻辑”一词是可以有不同的涵义的，逻辑可以有广义与狭义之分。

英国逻辑学家哈克在谈到逻辑的范围时，认为逻辑是一个十分庞大的学科群，其分支主要包括如下：

1.传统逻辑：亚里士多德的三段论

2.经典逻辑：二值的命题演算与谓词演算

3.扩展的逻辑：模态逻辑、时态逻辑、道义逻辑、认识论逻辑、优选逻辑、命令句逻辑、问题逻辑

4.异常的逻辑：多值逻辑、直觉主义逻辑、量子逻辑、自由逻辑

5.归纳逻辑（注：S.Haack:Philosophyoflogics,CambridgeUniversityPress,1978,P.4,221-231.）

在这里，哈克所谓的“扩展的逻辑”，是指在经典的命题演算与谓词演算中增加一些相应的公理、规则及其新的逻辑算子，使其形式系统扩展到一些原为非形式的推演，由此而形成的不同于经典逻辑的现代逻辑分支；至于“异常的逻辑”，则是指其形成过程一方面使用与经典逻辑相同的词汇，但另一方面，这些系统又对经典逻辑的公理与规则进行了限制甚至根本性的修改，从而使之脱离了经典逻辑的轨道的那些现代逻辑分支。“扩展的逻辑”与“异常的逻辑”统称为“非经典逻辑”。

以哈克的上述分类为基础，从逻辑学发展的历史与现实来看，逻辑是有不同的涵义的，因此，逻辑的范围是有宽有窄的：首先，逻辑指经典逻辑，即二值的命题演算与谓词演算，不严格地，也可以叫数理逻辑，这是最“标准”、最“正统”的逻辑，也是最狭义的逻辑；其次，逻辑还包括现代非经典逻辑，不严格地，也可以叫哲学逻辑，即哈克所讲的扩展的逻辑与异常的逻辑；再次，逻辑还包括传统演绎逻辑，它是以亚里士多德逻辑为基础的关于非模态的直言命题及其演绎推理的直观理论，其主要内容一般包括词项（概念）、命题、推理、证明特别是三段论等。此外，逻辑还可以包括归纳逻辑（包括现代归纳逻辑与传统归纳法）、辩证逻辑。将逻辑局限于经典逻辑、非经典逻辑，这就是狭义的逻辑，而将逻辑包括传统逻辑、归纳逻辑与辩证逻辑，则是广义的逻辑。以这一取向为标准，狭义的逻辑基本上可以对应于“逻辑是研究推理有效性的科学，即如何将有效的推理形式从无效的推理形式中区分开来的科学”这一定义，而广义的逻辑则可以基本上对应于“逻辑是研究思维形式、逻辑基本规律及简单的逻辑方法的科学”这一定义。

由此可见，逻辑学的发展是多层面的，站在不同的角度，就可以从不同的方面来考察逻辑学的不同层面及不同涵义：

(1)从现代逻辑的视野看，逻辑学的发展从古到今的过程是从传统逻辑到经典逻辑再到非经典逻辑的过程。这一点上面已有论述，此不多说。

(2)从逻辑学兼具理论科学与应用科学的角度，可以确切地把逻辑分成纯逻辑与应用逻辑两大层面。可以说，纯逻辑制定出一系列完全抽象的机械性装置（例如公理与推导规则），它们只展示推理论证的结构而不与某一具体领域或学科挂钩，是“通论”性的，而应用逻辑则是将纯逻辑理论应用于某一领域或某一主题，从而将这一具体主题与纯逻辑理论相结合而形成的特定的逻辑系统，它相当于逻辑的某一“分论”。在纯逻辑这一层面，还可以分成理论逻辑与元逻辑，所谓元逻辑，是以逻辑本身为研究对象的元理论，是刻划、研究逻辑系统形式面貌与形式性质的逻辑学科，它研究诸如逻辑系统的一致性、可满足性、完全性等等。不言而喻，元逻辑之外的纯逻辑部分，统称为理论逻辑。以这种分法为基础，如果说纯逻辑是狭义的逻辑的话，则应用逻辑就是广义的逻辑。

(3)从逻辑学对表达式意义的不同研究层次，可以把逻辑分成外延逻辑、内涵逻辑与语言逻辑。传统逻辑与经典逻辑对语言表达式（词或句子）意义的研究基本上停留在表达式的外延上，认为表达式的外延就是其意义（如认为词的意义就是其所指，句子的意义就是其真值），因此，它们是外延逻辑。对表达式意义的研究不只是停留在其外延上，认为不仅要研究表达式的外延，也要研究表达式的内涵，这样的逻辑就是内涵逻辑。可以看出，外延逻辑与内涵逻辑对表达式意义的研究都只是停留在语形或语义层面，而实际上，表达式总是在具体的语言环境下使用的，因此，逻辑对语言表达式意义的研究还可以也应该深入到语言表达式的具体的使用中去，对其进行语用研究，这一考虑，就促成了所谓的自然语言逻辑或语言逻辑的研究。所谓自然语言逻辑，按我的理解，就是通过对自然语言的语形、语义与语用分析来研究自然语言中的推理的科学。因此，如果说狭义的逻辑是一种语形或语义逻辑、它们只研究语形或语义推理的话，则广义的逻辑则是一种语用逻辑，它还要研究语用推理。

二、现代逻辑背景下的逻辑一元论、多元论与工具论

从上面的论述可以看出，在当代，现代逻辑的发展呈现出多层次、全方位发展的态势，逻辑学正在从单一学科逐步形成为由既相对独立又有内在联系的诸多学科组成的科学体系的逻辑科学。现代逻辑发展的这一趋势，就使得一方面大量的、各种各样的现代逻辑分支、各种各样的逻辑系统不断涌现，比如，既有作为经典逻辑的命题演算与谓词演算，也有作为对经典逻辑的扩展或背离的非经典逻辑。另一方面，不同于传统逻辑或经典逻辑所具有的直观性，非经典逻辑系统越来越远离直观甚至在某些意义上与直观相背。在这种背景下，逻辑学家就必然面临如下需要回答的问题：

(1)逻辑系统有无正确与不正确之分？说一个逻辑系统是正确的或不正确的是什么意思？

(2)是否一定要期望一个逻辑系统成为总体应用的即可以应用于代表任何主题的推理的？或者说，逻辑可以是局部地正确，即在一个特定的讨论区域内正确的吗？

(3)经典逻辑与非经典逻辑特别是其中的异常逻辑之间的关系如何？它们是否是相互对立的？

对上述问题的不同回答，就区分出了关于逻辑的一元论、多元论与工具主义。

不管是一元论还是多元论，都认为逻辑系统有正确与不正确之分，逻辑系统的正确与否依赖于“相对于系统本身的有效性或逻辑真理”与“系统外的有效性或逻辑真理”是否一致。如果某一逻辑系统中的有效的形式论证与那些在系统外的意义上有效的非形式论证相一致，并且那些在某一系统中逻辑地真的合式公式与那些在系统外的意义上也逻辑地真的陈述相一致，则该逻辑系统就是正确的，反之则为不正确的。以这一认识为基础，一元论认为只有一个唯一地在此意义下正确的逻辑系统，而多元论则认为存在多个如此的逻辑系统。

工具主义则认为，谈论一个逻辑系统是否正确或不正确是没有意义的，不存在所谓正确或不正确的逻辑系统，“正确的”这个词是不合适的。就工具主义来说，他们只允许这样一个“内部”问题：一个逻辑系统是否是“完善的”(Sound)？即是说，逻辑系统的定理或语法地有效的论证是否全部地并且唯一地是在该系统内逻辑地真或有效的？（注：S.Haack:Philosophyoflogics,CambridgeUniversityPress,1978,P.4,221-231.）

多元论又可以分为总体多元论与局部多元论。局部多元论认为，不同的逻辑系统是由于应用于讨论的不同领域而形成的，因此，局部多元论把系统外的有效性和逻辑真理从而也把逻辑系统的正确性看作是讨论的一个特定领域，认为一个论证并不是无条件地有效的，而是在讨论中有效的，所以，逻辑可以是局部地正确的，即在某一特定的讨论区域内正确的。而总体多元论则持有与一元论相同的假定：逻辑原理可以应用于任何主题，因此，一个逻辑系统应该是总体应用的即可以应用于代表任何主题的推理的。

就经典逻辑与非经典逻辑特别是异常逻辑之间的关系而言，一元论者强迫人们在经典系统与异常系统中二者择一，而多元论者则认为经典逻辑与扩展的逻辑都是正确的。因此，一元论者断言经典逻辑与异常逻辑在是否正确地代表了系统外的有效论证或逻辑真理的形式上是相互对立的，而多元论者则认为经典逻辑与异常逻辑两者在某一或其他途径下的对立只是表面的。

就逻辑科学发展的现实而言，从传统逻辑到经典逻辑再到非经典逻辑的道路，也是逻辑科学特别是逻辑系统发展由比较单一走向丰富多样的过程。以传统逻辑来说，它来自于人们的日常思维和推理的实际，可以说是对人们的日常思维特别是推理活动的概括和总结，因此，传统逻辑的内容是比较直观的，与现实也是比较吻合的。而经典逻辑是传统逻辑的现展阶段，是以形式化的方法对传统逻辑理论特别是推理理论的新的研究，因此，与传统逻辑一样，经典逻辑的内容仍是具有直观基础的——经典逻辑的公理与定理大都可以在日常思维中找到相对应的思维与推理的实例予以佐证，人们对它们的理解与解释也不会感到与日常思维特别是推理的实际过于异常。所以，在传统逻辑与经典逻辑的层面，用“系统内的有效性”与“系统外的有效性”的一致来说明一个逻辑系统的正确性是合适的，这种说明的实质就是要求逻辑系统这种“主观”的产物与思维的客观实际相一致。

相对而言，在经典逻辑基础上发展起来的各种非经典逻辑，它的直观性、与人们日常思维特别是推理的吻合性就大大不如经典逻辑，甚至与经典逻辑背道而驰。以模态命题系统为例（应该说，相对而言，模态命题逻辑在非经典逻辑中是较为直观的），如果说系统T满足对模态逻辑系统的直观要求，它所断定的是没有争论的一些结论的话，则系统S4、S5就难以说具有直观性以及与人们日常思维特别是推理的吻合性了：在系统S4和S5中都出现了模态算子的重叠，因而象pp、pp这样的公式大量出现，而这些公式几乎没有什么直观性。至于非经典逻辑中的直觉主义逻辑、多值逻辑，它们离人们的日常思维特别是推理的实际更远，更显得“反常”。同时，同一个领域比如模态逻辑或时态逻辑，由于方法和着眼点不同，可以构造出各种不同的系统。在这种情况下，一些学者作出逻辑系统无正确性可言、逻辑系统纯粹只是人们思考的工具的工具主义结论也就不足为怪了。应该说，工具主义的观点是有一定的可取之处的：它看到了逻辑系统特别是各种非经典逻辑系统远离日常思维与推理和作为“纯思维产物”的高度抽象性，看到了逻辑学家在建构各种逻辑系统时的高度的创造性或“主观能动性”。但是，另一方面，从本质来看，工具主义的这种观点是不正确的，也是不可取的。它完全抹杀了逻辑系统建构的客观基础，否定了逻辑系统最终是人们特别是逻辑学家的主观对思维实际、推理实际的反映。这种观点最终的结果就是导致逻辑无用论，最终取消逻辑。这显然是不符合逻辑科学发展的实际和逻辑科学的学科性质的。

而一元论对逻辑系统的“正确性”的理解过于狭窄，也过于严厉，这种观点难以解释在今天各种不同的逻辑系统之间相互并存、互为补充的现实。从本质上讲，尽管任何逻辑系统都是逻辑学家构造出来的，但是，它们是有客观基础的——它总是在一定程度上反映了人类思维特别是推理实际的某一方面或某一领域（否则，它就是没有实际意义的，最终难以存在下去），所以，逻辑系统是有“正确”与“不正确”之分的——正确地反映了人类思维特别是推理实际的逻辑系统就是正确的，反之则是不正确的。应该说，这一点是一元论与多元论都可以同意的，但是，在承认这一说法的同时，还应该看到，“正确地反映人类思维特别是推理的实际”是可以有不同的程度、不同的层次的：逻辑系统对人类思维特别是推理实际的反映可以是比较普遍、一般的（比如传统逻辑与经典逻辑），也可以是比较特殊、具体的（比如某些非经典逻辑系统，它所反映的就是相对于某一特定主题或领域的特定的思维与推理）；逻辑系统对人类思维特别是推理实际的反映可以是比较直观、与日常较为吻合的，也可以是相对来说较为抽象、远离现实的。从这个意义上来讲，逻辑系统的“正确性”是多样的，不可绝对化和唯一化。所以，我认为，一元论坚持“只有一个正确的、唯一的逻辑”是不妥的，相反，多元论的观点则是可以接受的。

如果按哈克的分析把非经典逻辑分成“扩展的逻辑”与“异常的逻辑”的话，那么，很显然，扩展的逻辑是以经典逻辑为基础，将经典逻辑理论应用于某一领域或学科而形成的对经典逻辑的扩充，它们之间并不存在互斥、对立的情况，它们都可以是“正确的”。至于“异常的逻辑”，它的某些性质与特征确实可能与经典逻辑不同甚至相矛盾（例如在直觉主义逻辑、多值逻辑中排中律的失效等等），因此，它们有“对立”的地方，但就经典逻辑与某一异常逻辑分支相比而言，它们的对立或不一致只是在某些方面，而从整个系统的性质来看，它们的互通之处更多，因此，经典逻辑与某一异常逻辑分支之间的所谓“对立”之处，恰恰是该异常逻辑分支的独特之处，也是它对某一问题的不同于经典逻辑的处理和解决之处，所以，从这个意义上讲，它对经典逻辑的意义不在于“否定”了经典逻辑的某些定理或规则，而在于对经典逻辑忽略了的或无法处理的地方进行了自己的独特的处理。所以，经典逻辑与异常逻辑之间的“对立”是表面上的，其实质是它们之间的互补。

【参考文献】

[1]陈波.逻辑哲学导论[M].北京：中国人民大学出版社，2000.

[2]冯棉，等.哲学逻辑与逻辑哲学[M].上海：华东师范大学出版社，1991.

[3]桂起权.当代数学哲学与逻辑哲学入门[M].上海：华东师范大学出版社，1991.

[4]杨百顺.西方逻辑史[M].成都：四川人民出版社，1984.

[5]江天骥，等.西方逻辑史研究[M].北京：人民出版社，1984.

[6]王路.逻辑的观念[M].北京：商务印书馆，2000.

推理的逻辑形式篇3

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

逻辑真理和事实真理的关系是：事物之间的关系显示一定的逻辑关系，也是逻辑真的基础。逻辑真理在某些方面与事实真理是一致的，但是在另一方面，逻辑真理又与事实真理不是一致的，逻辑真理和事实真理之间是一种交叉关系。逻辑真理既具有绝对性又具有相对性，有些逻辑关系是绝对的真，但是另一些逻辑真理是相对的真。逻辑真理之所以为逻辑真理，不是由于它们揭示了事物的本质事物或事物的普遍性，而只是涉及到逻辑自身，只根据逻辑自身而成立。逻辑真理的必然性需要在逻辑自身中去寻找，而不能在现实中寻找。

综上所述可见，逻辑真理来源于经验，但又不同于事实真理。由于逻辑思维的作用，它越远离事实，其真理性越强；当它与具体事实相符合时，即成为事实真理的必要条件。当逻辑真理和事实真理一致时，逻辑思维就正确地反映了事物的规律，因此逻辑真理在认识中有着重要的作用。当我们认识世界时，会在原有的知识基础上作出许多推测和猜想，也会试图把这些思想与已经获得的关于被研究对象的材料联系起来。为了搞好各项工作，我们要正确的调整各种思想关系，从中抛弃不适当的思想，选取可以促进我们前进的思想，这就需要我们在思维过程中严格遵守逻辑规律和规则。只有认识逻辑真理才能更好地认识事实真理，随着人类的经验积累，逻辑真理和事实真理的交叉容量必然会不断增大，为了探求真理我们必须保证思维的逻辑性。

论文关键词：逻辑真理；真理符合论

推理的逻辑形式篇4

[关键词]逻辑教学逻辑教学改革形式逻辑非形式逻辑

近些年来，高校的逻辑教学工作者被两种现象困扰着：一种是校园内逻辑教学的景气指数每况愈下、风雨飘摇；另一种是校园外各种升学、招聘、入职的逻辑辅导班比比皆是，红红火火。这一冷一热，折射出什么？热，说明社会对逻辑是迫切需要的；冷，说明逻辑教学难如人意，亟需改革。本文拟就高校逻辑教学面临的问题、背后的深层原因及出路做一些探讨，以期引起重视并企盼有所改观。

一、高校逻辑教学的现状及问题

目前，我国高校逻辑教学的整体状况令人堪忧：表现在以下几个方面：

1.专业教学点甚少。虽然联合国教科文组织将逻辑学与数学、物理、化学、天文、地理、生物并列为七大基础学科，然而在我国学科目录分类中，逻辑学却为哲学类中的二级学科。由于没有独立的学科地位，在本科阶段，全国高校仅有北京大学、南京大学设有逻辑学专业；硕士、博士学位授权点也廖寥无几，逻辑专业的毕业生远远不能满足其教学与研究的需要。

2.课程地位处境尴尬，遭遇不同程度的边缘化。在高校，除哲学专业外，逻辑自然不是专业课，但也不是和语文、英语一样的基础课，（虽然其形式上也被归为基础课）专业课受专业培养的制约地位牢固；基础课受社会作用及普遍共识也不能随意变动，而逻辑课呢？两头不沾，属于夹层地带可有可无、可多可少被随意处置的课程。进人90年代后，普通高等学校在课程体系改革中有一批原来逻辑学作为必修课开设的院、系、专业或者取消课程，或者将其改为选修课，并且普遍压缩了课时，就连有些全国重点大学的哲学系，也将逻辑列为选修课。高校尚且如此，高等教育自学考试中逻辑专业偃旗息鼓、几近消失也就不难理解。种种不争的事实说明我国逻辑学教学处境堪忧，大有被逐出高校课堂之势。

3.教学研究的阵地不断萎缩。原来全国唯一的一份逻辑刊物《逻辑与语言学习》于1995年停刊。没有专门的刊物，逻辑研究在夹缝中生存。1996年，复印报刊资料《逻辑》由月刊改为双月刊，页数整整减少50%。2009年，又改为季刊，进一步的萎缩。那么，再往后呢，又将如何？

4.教学队伍逐渐缩小。由于课程不受重视及论文难以发表，在目前高校普遍以量化标准为主的学术评价体系中，课时不够影响收人，不够影响晋升，这些都势必挫伤逻辑教师的教学积极性，也难以吸引青年才俊加入其中，人才流失及新鲜血液的匮乏，逻辑教学队伍的萎缩也就在所难免。

二、高校逻辑教学困境的深层原因

究竟是何种原因导致了这种困境呢？前辈和时贤的分析往往将其归结为：或是市场经济大潮的冲击，或是社会对逻辑科学的轻视等等，在我看来，这种试图从外部寻找突破口的努力无疑是倒果为因，不得要领的。惟有从逻辑课自身出发对其所见与所蔽进行深刻的反思才有出路。在逻辑课涉及的内容、方法、手段、师资等诸多因素中，课程体系、内容设置无疑是最重要的，一门学科的兴衰主要取决于其学科体系及内容设置能否满足社会对它的某种需要，而逻辑教学的困境恰恰是因为现行逻辑教材的体系、内容设置无法满足人的日常思维及素质教育的需要造成的，我们应该对此有清醒的认识。

回顾我国的逻辑教学，上世纪80年代，一度曾非常的繁荣。1978年以来，在“逻辑现代化”的旗帜下，开始了对普通逻辑教学改革的多元化探索，形成了四种有代表性的观点及改革模式：用现代逻辑取代传统逻辑(取代论)；吸收现代逻辑成果改造传统逻辑(融合论)；形式逻辑和非形式逻辑并驾齐驱(并举论)；用辩证逻辑统一传统逻辑与现代逻辑（统一论）。几十年来，这些声音此消彼长，此沉彼浮，从来没有真正的统一过，但是，就全国范围内的教材出版与逻辑教学的实际情况来看，“取代论”、“统一论”、“并存论“的观点都不占优，而传统逻辑和数理逻辑相“融合”的教科书成为普遍实行的范式形态，以推理为中心，“蕴涵”、“真值函项”和“有效性”为核心概念的形式逻辑教学内容体系基本确立。然而，现在看来，这样的教材体系虽有一定的合理性，但其缺憾也是显而易见的，其主要问题是形式的角度的局限性、有效性的适用范围有限及语用因素的缺失，而这些问题都触及了这个体系的基本原则及核心概念。下面，我就这些问题进行分析，试图找到解决问题的途径。

1.“形式”是一把双刃剑，既有好处，也有问题。“形式”“形式化”是现行逻辑教材基本特征，传统逻辑摒弃概念、判断和推理的内容而对它们的形式做孤立的、平行的研究，以期达到概念明确，判断恰当和推理具有逻辑性的理论目标。数理逻辑是传统逻辑的现代化，它采用人工语言和形式化的方法来刻画、研究命题和推理，使我们能够从整体上把握它们的性质与特征，它所具有的严格性、精密型、系统性以及形式系统所具有的强大的表达能力和精美的研究方法都是无与伦比的，它在人工智能和计算机研究方面所展现出来强大威力也是举世瞩目。然而，有所得必有所失，逻辑摆脱内容有其所得，使其成为一门具有工具性质的形式科学，但由此产生的问题也使它饱受诟病：其一，数理逻辑所采用的人工语言限制了它的使用范围。普通高校开设逻辑课主要是服务于日常思维和交际，是为了提高学生的日常分析与表达能力。而日常思维采用的是自然语言，它在丰富性、灵活性及实用性等方面的优势都是人工语言无法企及的。显然，用人工语言分析日常思维是勉为其难的。其二，数理逻辑采用形式化、系统化的方法，莱布尼茨的理想是把思维转化为计算，可是实际的情况是，当我们在计算的时候，是以机械的方式向前推进的，是不思考的；而当我们思考的时候，却往往是不计算的。所以，它对日常思维的指导作用有限。其三，由于思维形式和内容相分离所产生的“蕴含怪论”使形式逻辑的根基与合理性备受质疑。“真命题被任何命题所蕴涵，假命题蕴涵任何命题”，这与我们的日常直觉相去甚远，举例来说，“雪是白的”是真命题，它可以被任何命题所蕴含，也就可以被“2+2=4”所蕴含，就是说，“如果2+2=4，那么雪是白的”是一个形式意义的真命题，但从内容上看却是莫名其妙的。如果说这个例子只是废话，那么从假命题“2+2=5”，即可以推出“雪是白的”，又可以推出“雪不是白的”这两个互不相容的命题都为真，就不仅是废话，而是难逃自相矛盾的嫌疑，形式正确性与内容的正确性不兼容、逻辑真与事实真不同步是一直困扰逻辑学科内在的主要矛盾。

2.“有效性”的概念太强，适用的范围有限。与形式的角度相对应，现行逻辑教材研究的核心问题是推理和论证的有效性，传统逻辑主要是提供有效推理与无效推理的形式与规则，数理逻辑的主要任务是构造具有保真性的形式系统从事证明、推导等活动，这些都是围绕着有效性这个轴心展开的，所谓有效就是推理形式100%正确，也就是具有此推理形式的任一实例都不会出现真前提和假结论，换言之，它从真前提必然推出真结论。而无效推理呢，则是推理形式100%的错误，即从真前提不必然推出真结论。在这里，我们看到，有效性概念刻画的是一种极端的、理想的状态，在日常推理和论证中，它可能发生的条件及适用性都是有限的。因为它预设了推理要满足的两个条件：一是前提是完全的、充分的、无一遗漏的；二是前提和结论的连接是必然的、唯一的、无歧义的。可是在日常思维中，这两点都不易做到，由于主客观条件的限制，我们进行日常推理的前提经常是不完全、不充分、不到位的；由于事物联系的普遍性和多样性，使得现有知识、现象的关联常常呈现出多种的可能性，实际上，前提的不充分性及关联的或然性是日常推理的常态。我们常常是有“选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成功。”[1](p11)由此看出，日常推理常常是一种学习、抉择、反馈、调整、纠偏、补漏、完善的过程，一蹴而就的有效推理在有限的条件下才会发生，尤其是开拓创新，探索未知领域更是如此。另外，有效性这个概念太强，要么全部正确，要么全部错误，没有伸缩、回旋的余地，它只能刻画一部分日常推理和论证的特征，而不能刻画全部日常思维的特征。因为在很多的情形下，日常思维无所谓有效，也无所谓无效，而是介于两者之间的一种状态，例如，要论证“网瘾不好”，我们会列举证据：“网瘾会占用大量的时间”，“网瘾不利身体健康”，“网瘾可能诱发青少年犯罪”，“网瘾可能导致人格障碍”等等。“我们很难说这个论证是‘有效的’还是‘无效的’，显然，这既不是一个有效的演绎推理，甚至也不是一个传统意义上的归纳或类比推理。……但我们没有理由怀疑这个论证的结论是获得了其前提的某种程度的支持的。”

从上边的分析可以看出，有效性是有条件限制并且也不是万能的，因此，对于日常思维来说，运用多种逻辑工具来分析也许是必要的，因为“任何逻辑理论都难以避免它对思维和语言表达实际的片面性的割裂，它只能从某一个方面某一个角度总结出思维和语言表达的某些特征或规律，而不可能概括思维和语言表达的所有特征或规律，更不可能一览无余地来规范和引导人们的所有思维和语言表达”。[3]“支持度”、“合理性”、“充分性”这些非形式逻辑的概念显然能够弥补有效性之外的真空，它们相互补充、相辅相成，才能提供对日常思维的完整分析。

3.语用因素的缺失使得形式逻辑的实际效用大打折扣。逻辑学家莫里斯认为，逻辑是通过语言来研究推理及论证的，而语言具有语形、语义、语用三个层面，语形涉及的是语言表达式之间的关系；语义涉及的是语言表达式及其所指之间的关系，也就是对语言表达式的解释；而语用则涉及的是语言表达式及其使用者的关系，也就是处在一定语境中的人对语言符号的解释。很显然，这是一个从抽象到具体，从一般到个别的过程，传统逻辑与数理逻辑对推理及论证的研究都停留在语形及语义的层面上，是抽象的、一般的，“有效性”、“形式化”都是如此。从时间纬度来看，语形和语义学历史悠久，理论成熟。而语用学的研究起步较晚，研究不很充分，重视程度也不够，但是它对逻辑学，尤其是逻辑的效用，恰恰尤为重要，语用学的重要性在于它引进了语言的使用者这个因素，也就是引进了人的因素。更多地关注人和人的体验。与此同时，语用学关注包括语言使用者在内的所有的语境因素。而这些因素，恰恰是我们对语言作逻辑分析、运用语言进行交际时必不可少的，离开这些因素，任何语句的意义都不可能是完全的，无论是对语句的理解还是所进行的推理都是如此，就拿“我是中国人”这句话最简单的话来说，脱离了“我”这个人的具体情况及说这句话的时间，其真值如何确定？传统逻辑与数理逻辑的最大问题是语用因素的缺失，即它把语言的使用者及使用环境都撇开，对推理和论证做抽象的、一般的、理想状态的研究，就像实验室里的理想气体，T台上的时装一样很难用于实际生活，在实践上就成为实效性甚差的一门纯理论学科。对此，有学者曾尖锐地指出：“现代逻辑不仅不研究推理的内容或题材方面，而且几乎从不考虑推理的主体方面。它把推理和论证从实际所处的种种认知、心理和社会历史的具体情境中抽象出来而给予一种理想化的研究，从而对理性作了非个体的、无时间性的和非情景化的理解”[4](p514)因此，对日常思维的分析与指导远不像它声称的那样大。这也是它遭受冷落的主要原因。

纵观中国逻辑学界几十年关于逻辑课改革的论战与纷争，大多是围绕着要传统还是要现代，传统多一些还是现代多一些，都是在语形与语义的圈子驻足打转，语用的因素鲜有提及，而这正是逻辑走出困境的关键所在！

三、高校逻辑教学改革的思路与对策

鉴于以上的分析，普通高校的逻辑教学应如何改革？内容应如何设置？学者们各抒己见，都有一定的道理，根据自己多年的教学经验和思考，我认为，目前教材体系与人的日常思维有一定的距离，但不至摒弃，加以改造仍可重振雄风；上世纪60—70年端于北美，并风靡全球的非形式逻辑以不同于形式逻辑的角度贴近生活，贴近日常思维，可与形式逻辑形成互补，也应在大学课堂有一席之地。概言之，形式逻辑与非形式逻辑各有千秋，且不可归约，应同时开设为好。下面，说一下具体理由和主张。

1.开设非形式逻辑。这基于以下的理由：

（1）它的内容上看，非形式逻辑是基于对现代逻辑工作方式的反思及和对西方国家改革高等教育，提升国民的批判性思维能力回应的结果。非形式逻辑主要是以论证为中心，“试图分析：日常语言的特征、论证与语言的关系；预设、假定以及隐含前提等对论证的影响；如何识别一个论证的好坏；评估论证的强度，以及怎样建构有说服力的论证；非形式谬误产生的原因，它的表现形式等等”[5](p35)。可以看出，与形式逻辑以形式化和有效性为中心不同，非形式逻辑以证明力和说服力为理论目标，注重逻辑的应用性，贴近现实生活，与现实生活用一种不同于形式逻辑视角的结合了起来，两者形成互补，拓展了逻辑学的新领域。

（2）从国外逻辑课程的设置来看，上世纪初，国外逻辑教学基本以形式化逻辑为主。进入60年代以后，非形式逻辑崭露头角并逐渐形成一股强劲潮流。目前，欧美国家开设的逻辑课程主要有三种，一是完全形式化方法解决推理问题的符号逻辑，如苏佩斯的《逻辑导论》；二是“融合型”的带有导论性质基础逻辑，仅有部分的形式分析方法，如柯比的《逻辑导论》；三是着眼于日常生活，偏重谬误与论辩分析的非形式逻辑，如奥尔特的《非形式逻辑：可能世界与想象》等。可以看出，多元化与应用性是当代世界逻辑发展的潮流，我们也应该顺应。

（3）从我国近年逻辑教学的实践来看，2003年末，中国逻辑学会形式逻辑委员会将学术年会的主题确定为“非形式逻辑与批判性思维”，此后“引发了逻辑学教学改革的批判性思维转向”。[6](p116)目前，国内许多高校都在这方面进行了可贵的探索，中国人民大学、北京大学、中国政法大学、南京大学、南开大学、中山大学、华东师范大学、延安大学等高校先后开设了各具特色的“非形式逻辑”、“批判性思维”课程或专题研究。而有关这方面研究的论文、论著也纷纷涌现，已形成一个新的热点，这些星星之火，必成燎原之势。

（4）从我国近年社会实践的需要来看，近些年来，国内升学、招聘、入职考核纷纷借鉴国外GRE、LSAT、MBA、GMAT等批判性思维能力测试的先进经验，先是MBA考试中尝试进行“批判性思维”和“非形式逻辑”内容的考核，紧接着MPA、公务员考试也相继引人这种考核。社会的需要给这门课的发展提供了内在的原动力，高校的教育应顺应社会发展的需要，才能迎来转机。

2.改造现有的逻辑教材体系，融入语用逻辑的内容，建立一个语形、语义、语用相统一的新逻辑教材体系，使之真正为日常思维，日常交际提供分析工具。前已述及，影响形式逻辑效用的最大问题是语用因素的缺失，国内现有的逻辑教程，无论是传统型的，现代型的还是融合型的共同问题，就是在其体系中，鲜有语用因素介入，缺少人，交际语境与交际规则，因而使这些理论在进入日常分析和日常交际时就缺少必要的环节而陷入困顿。因而，当务之急就是要改革现有的形式逻辑体系，把语形、语义、语用三者统一起来。在这方面，有一个先行者，就是我国已故著名的逻辑学家周礼全先生，有一个很好的范例，就是他在1994年出版的《逻辑——正确思维和成功交际的理论》一书，“提出了一个以意义、语境、隐涵、预设等范畴为骨干的自然语言逻辑体系，描述了一种成功交际的理论”，[7]并力图把这一理论组成一个科学概念的范畴体系，他的这一思想不仅在中国独树一帜，而且在世界范围内也富有创见。这本书的最大特点，就是一改以语形、语义为中心构建逻辑体系的惯例，而是以语形、语义、语用三者的统一为基础，以语用、交际为中心构造体系。全书共有四个部分，第一部分，也就是绪论，他提出了创新理论四层次意义理论。他将语言形式分为抽象语句、语句、话语和交际语境中的话语四个层次，从而也区分出对应的四个意义层次：命题、命题态度、意谓和意思。周先生认为，在四层次的意义中，“只有意思才是语言交际中具体的、完全的和真实的意义。其他的意义，都只是语言交际中抽象的和部分的意义，都只是意思的构成因素”。[8](p22)而我们现在逻辑教材所涉及的语言意义，大都是周先生所说的第一层次和第二层次的意义，都只是语言表达式的部分意义，是不完全的。这本书的第二部分，介绍了现行的各种逻辑理论，先生认为，命题罗辑和谓词逻辑属于形式语形学和形式语义学，而其中的道义逻辑、认知逻辑、命令句逻辑和疑问句逻辑则已经涉及了言语行为和交际活动，属于形式语用学的范围。这本书的第三部分是语境、言语行为、隐涵、预设和修辞等一般交际活动的理论，属于描述语用学的范围。这本书第四部分是谈话、讲演和辩论几种特殊形态的交际活动理论，属于应用语用学的范围。综上所述，这本书的大部分内容或主要内容是属于语用学的范围。按周先生的话说，“本书的重点是成功交际的理论”，[9](p27)它对我们日常思维、交流的指导意义是现行的逻辑教材无法比拟的，因而，国内的逻辑教材应该效法这个范例来校准我们的方向，毕竟，我们已经走了这么长时间的弯路。

作者：薛梦霞

参考文献： 

[1]陈波．从人工智能看当代逻辑学的发展[J]．中山大学学报论丛,2000,(2)． 

[2]阮松．西方的非形式逻辑运动与我国逻辑学的走向[J].南开学报（哲学社会科学版），1996，（6）. 

[3]王健平．不能缺少人文逻辑[N]．浙江日报, 2004-10-18 (9)． 

[4]晋荣东.30年来中国逻辑的成就、问题与出路［A］.上海市社会科学界联合会．当代中国：道路经验前瞻：上海市社会科学界第六届学术年会文集［C］.上海：上海人民出版社，2008. 

[5]江滨.从逻辑学的工具性看逻辑学的走向与发展[J]．经济与社会发展，2006,(2). 

[6]熊明辉．试论批判性思维与逻辑的关系[J]．现代哲学，2006，(2)． 

推理的逻辑形式篇5

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

推理的逻辑形式篇6

由于辩证逻辑学术界的不懈努力，近年我国的辩证逻辑研究取得了巨大的成就。但遗憾的是，迄今为止在我国尚无公认的辩证逻辑科学体系。所以如此，原因有种种，其中一个重要原因就是在我国辩证逻辑学界存在着两个学派，一个是辩证逻辑的逻辑派，该派主张辩证逻辑应是逻辑而不是哲学，其对象是辩证思维形式而不是思维形式的辩证法，它是人们思维、认识的工具而不是认识论(笔者本人属于这一学派)。另一个则是辩证逻辑的哲学派，该派主张辩证逻辑是哲学而不是逻辑(或者说不是“狭义的逻辑”)，其对象是思维形式的辩证法(或辩证法的认识论)而不是辩证思维形式。为了促进我国辩证逻辑科学的进一步发展，特别是促使我国公认的辩证逻辑科学体系早日形成，本文特对2003年中国社会出版社出版的金顺福先生(笔者按：金先生是我国辩证逻辑哲学派的主要代表之一)主编的《辩证逻辑》(以下简称“金著”)一书进行评析①，以引发我国学术界对辩证逻辑的对象、科学性质、科学体系的广泛讨论。

一、应该怎样理解“辩证逻辑乃是研究人类辩证思维的形式、规律和方法的科学”这一定义?

“金著”说：“目前在中国，对辩证逻辑的对象已有共识，普遍认为它是人类的辩证思维……并采纳给出的如下定义：辩证逻辑就是一门研究人类辩证思维的形式、规律和方法的科学。”“关于辩证逻辑的这个定义，首先它是依据人类思维发展的两个阶段(或类型)：知性思维和理性思维，后者又称之为辩证思维。”“其次，这个定义也就规定了辩证逻辑的研究范围，以区别于辩证法、认识论和形式逻辑。”②笔者认为，根据上述“金著”所谓的对辩证逻辑的对象的共识，应该得出如下结论：第一，辩证逻辑与普通逻辑(即“金著”所谓的形式逻辑)不同，辩证逻辑的对象是人类思维发展的高级阶段——辩证思维，是辩证思维(的)形式、规律和方法的科学。什么是辩证思维(的)形式?亦即辩证概念(辩证思维概念)、辩证命题(辩证思维命题)、辩证推理(辩证思维推理)等。因此，辩证逻辑就是关于辩证思维形式(辩证概念、辩证命题、辩证推理等)、辩证思维规律、辩证思维方法的科学。相应地，普通逻辑的对象是人类思维发展的初级阶段——普通思维(即“金著”的“知性思维”)，是普通思维形式(普通概念、普通命题、普通推理等)、普通思维规律、普通思维方法的科学。第二，辩证逻辑与普通逻辑有同也有异。其同在于二者都是逻辑科学——都是研究思维形式的(不研究思维的具体内容)；其异在于普通逻辑的对象是普通思维形式及其规律，辩证逻辑的对象是辩证思维形式及其规律。因此，辩证逻辑与普通逻辑的不同，根本在于研究对象的不同，不能说辩证逻辑与普通逻辑的研究对象相同，只是研究的角度、侧面不同。第三，辩证逻辑与辩证法、认识论不同：辩证逻辑与辩证法、认识论(辩证唯物主义的认识论)有密切联系，辩证逻辑是辩证思维的逻辑总结，辩证思维是完全自觉地按照辩证法进行的思维，因此，辩证逻辑必然与辩证法、认识论相一致，或者说，辩证逻辑必须以辩证法、认识论作指导。但是，辩证法、认识论是哲学，是世界观，它们研究自然、社会、思维(认识)的一般规律，具有阶级性。辩证逻辑是逻辑，它只研究辩证思维形式及其规律，不研究自然、社会、思维(认识)的一般规律，它不是哲学，不是世界观。辩证思维形式具有全人类性，辩证逻辑所揭示的正确运用各种辩证思维形式的规律、规则，是服务于全人类的，它没有阶级性。

但是，“金著”却不是这样看的。“金著”在谈到辩证逻辑与普通逻辑的不同时说：“虽然它们都研究概念、判断、推理等思维形式，但它们却从不同侧面以不同的方式进行着研究。辩证逻辑从形式与内容的密切结合中考察思维形式的相互联系及它们运动和发展的规律性。形式逻辑则撇开内容而仅考察思维或理论的形式结构。”③笔者认为，“金著”的这种说法是不能令人同意的。第一，说辩证逻辑和普通逻辑都研究概念、判断、推理等思维形式固然可以，但是，辩证逻辑所研究的是人类思维发展高级阶段——辩证思维的思维形式，普通逻辑所研究的是人类思维发展初级阶段——普通思维的思维形式，而作为人类思维发展的两个根本不同的阶段④，其差别不仅表现在思维具体内容的不同上，也表现在思维形式的不同上。而作为辩证逻辑，其作用正在于总结出辩证思维形式所以不同于普通思维形式的根本特征，总结出与正确运用普通思维形式的普通逻辑规律、规则不同的正确运用辩证思维形式的逻辑规律、规则，以指导人们正确运用各种辩证思维形式。第二，说辩证逻辑与普通逻辑的不同在于普通逻辑是撇开内容而仅考察思维或理论的形式结构，辩证逻辑则不是撇开内容而是从形式与内容的密切结合中考察思维形式，这显然是不妥的。我们知道，任何思维都包含着思维具体内容和思维形式两方面，而逻辑学之所以是逻辑学正在于它研究思维形式而不研究思维具体内容，并且要真正研究思维形式就必须撇开思维具体内容。因为，一则思维形式正是指的思维撇开思维具体内容后所有的那个东西⑤；二则思维具体内容千差万别，无限复杂，逻辑学在研究思维形式时如果还要兼顾思维具体内容，逻辑学就将成为包罗一切科学的科学了。进一步说，说普通逻辑研究思维形式在于研究思维形式的形式结构，而辩

转贴于

证逻辑研究思维形式不研究思维形式的形式结构，这也不妥。辩证逻辑既然研究辩证思维形式，而辩证思维形式也具有自己特有的形式结构，辩证逻辑自然也同样要研究辩证思维形式的形式结构。在拙著《辩证思维研究》中，正是根据辩证命题、辩证推理在形式结构方面的不同，对辩证命题、辩证推理进行分类的⑥。不仅如此，应该说只有通过对辩证思维形式在形式结构方面的分析，才能真正弄清楚辩证思维形式与普通思维形式的区别，并进一步弄清楚辩证逻辑与普通逻辑的区别。

二、究竟存在不存在不同于普通思维形式的辩证思维形式?

“金著”在介绍国内的辩证逻辑观点时说：“还存在一种观点，就是认为辩证逻辑在思维形式上之所以有别于形式逻辑，就是它研究的是辩证概念、辩证判断和辩证推理等，以区别于普通概念、普通判断和普通推理等。这种用意是好的，也下了不少功夫，但多少有些牵强，因为无论概念也好，还是判断也好，它们的本性本来就是辩证的，形式逻辑只因为撇开了这些部分而只研究它们的纯形式结构罢了。所以没有必要把同一个概念分别写作普通概念和辩证概念，等等。”⑦这里必须弄清楚如下两个问题：(一)究竟存在不存在不同于普通思维形式的辩证思维形式?(二)即使概念、推理的本性是辩证的，是否辩证逻辑的任务就只能是研究它们的这种辩证本性，而不应该去研究辩证思维形式?下面我们先论述第一个问题。

笔者认为，确实存在着与普通概念、普通命题、普通推理等不同的辩证概念、辩证命题、辩证推理等。先讲概念问题。试看下面普通概念与辩证概念的对比：

1．物体的运动是物体在一个地方，然后移动到另一个地方。(“运动”的普通概念)

运动就是“物体在同一瞬间既在一个地方又在另一个地方，既在同一个地方又不在同一个地方”⑧(“运动”的辩证概念)

2．真理就是对客观事物及其规律的正确反映。(“真理”的普通概念)

“今天被认为是合乎真理的认识都有它隐蔽着的、以后会显露出来的错误的方面，同样，今天已经被认为是错误的认识也有它合乎真理的方面，因而它从前才能被认为是合乎真理的。”⑨(“真理”的辨证概念)

真理跨过一步，就会变成谬误。(“真理”的辩证概念)

3．祸是祸，福是福，祸不是福，福不是祸。(“祸”、“福”的普通概念)

“祸兮福之所倚，福兮祸之所伏”。(“祸”、“福”的辩证概念)

根据上述普通概念、辩证概念的对比可知，普通概念是对事物在相对稳定状态之下的某些规定的反映，它强调的是概念内涵、外延的确定性，强调事物之间的差别。普通概念不能具体反映事物内部矛盾、事物之间的矛盾以及它们的发展、转化。辩证概念是能够具体反映事物内部矛盾、事物之间的矛盾，以及它们的发展、转化的概念。这也是人们之所以称普通概念为具有确定性的概念，而称辩证概念为具有灵活性的概念的原因之所在。

4．人是能够制造生产工具的动物。(“人”的普通概念)

人是从猿进化而来的；自古及今人也是有发展变化的；人有种族、民族、性别、宗教信仰之分，特别在阶级社会，人分属于不同的阶级，不同阶级的人的立场、观点、思想、感情是不同的。马克思说：“人的本质并不是单个人所固有的抽象物，在其现实性上，它是一切社会关系的总和。”⑩(“人”的辩证概念)

由上述“人”的概念可知，普通思维“人”的概念只反映自古及今人和动物的共性(都是“动物”)以及人与其它动物的根本差异(“能够制造生产工具”)，而辩证思维“人”的概念则要反映人在不同历史、不同社会条件下的特殊性。前者反映的是“人”的某种特征，后者反映的是“人”的多种规定性的统一。普通概念只反映事物的某种抽象的同一性，而辩证概念所反映的则是体现着差别的同一性。列宁说：“不只是抽象的普遍，而且是自身体现着特殊、个体、个别东西的丰富性的这种普遍。”(11)这句话完全适合辩证概念的根本性质。由于普通概念对事物的反映是抽象的、空洞的，辩证概念对事物的反映是具体的、丰富的，人们称普通概念为抽象概念，称辩证概念为具体概念。

概念是思维的细胞，是思维的最基本的形式，两种不同的概念也决定了普通思维和辩证思维的不同的性质——普通思维为抽象思维，辩证思维为具体思维。

普通概念和辩证概念的根本差异也决定了两种思维在逻辑上的一系列差异。

1．表现在思维基本规律上的差异

普通思维基本规律同一律：在同一时间和同一关系下，每一思想都具有同一性(确定性)。公式：a(思想)是a(思想)。

2．表现在概念种类方面的差异

人们根据外延的差别将普通概念区分为单独概念(如：中国)和普遍概念(如：人)。

人们根据辩证概念所反映的事物的矛盾问题将辩证概念区分为隐性辩证概念(概念所反映的事物矛盾在该概念的语词形式中未能明显表现出来，如：真理)和显性辩证概念(概念所反映的事物的矛盾在该概念的语词形式中明显表现出来，如：民主集中制)，对偶辩证概念(这种概念是成对的，它们反映两个具有对立统一关系的事物之间的矛盾，如：真理、谬误)和非对偶辩证概念(这种概念不是成对的，它反映某个对象内部固有的矛盾，如：可持续发展、生态系统)。

3．表现在概念的关系上的差异

人们根据概念外延之间的相容与否将普通概念之间的关系区分为全同、真包含、真包含于、交叉和全转贴于

异五种关系。这种关系所反映的是事物的同、异关系。

人们根据辩证概念所反映的事物的辩证关系将辩证概念之间的关系区分为：普遍联系关系、对立差异关系、相互依赖关系、相互转化关系、扬弃关系。

4．表现在给概念下定义上的差异

普通概念主要是通过揭示邻近属和种差下定义。辩证概念主要是通过揭示概念所反映的事物的矛盾下定义。如：运动就是物体在同一瞬间既在一个地方，又在另一个地方。人民民主专政就是对人民实行民主，对敌人实行专政。

5．表现在给概念进行划分上的差异

普通概念划分时各个子项之间是毫无关联的和互相平列的。辩证概念划分时各个子项之间是由此及彼的、从低级形式发展成高级形式的。如：真理分为相对真理和绝对真理；认识分为感性认识和理性认识。普通概念划分有一条重要规则：子项不得相容，而辩证概念划分各个子项之间却恰恰是可以相容的：相对真理和绝对真理之间就是相容的——无数相对真理之和就是绝对真理(13)。

再谈辩证命题问题。什么是辩证命题?辩证命题就是对事物的矛盾及其发展、转化进行具体断定的命题。例如：

(1)光既是粒子又是波。

(2)没有生，就没有死；没有死，就没有生。

(3)坏事可以变成好事。

例(1)对“光”的内部矛盾进行了具体断定。例(2)对“生”和“死”之间的矛盾关系进行了具体断定。例(3)对“坏事”和“好事”之间的矛盾转化关系进行了具体断定。

辩证命题所以能够对事物的矛盾及其发展、转化进行具体的断定，关键在于它是由辩证概念构成的。譬如，在上述三个辩证命题中，“光”、“粒子”、“波”、“生”、“死”、“坏事”、“好事”都是辩证概念。作为普通概念，“粒子”、“波”、“生”、“死”、“坏事”、“好事”都是不相容的。因此，上述三个命题如果是由普通概念构成的，它们就都是自相矛盾的。只有有了“光”、“粒子”等的辩证概念之后，才能形成这样的辩证命题。

由于人类已经进入了辩证思维时代，随着各种科学的发展(现代科学从根本上都是辩证思维的科学)，辩证命题大量涌现，为了对它们进行逻辑研究，在辩证逻辑中我们也完全可以对之进行科学的分类，并且对它们的逻辑结构进行分析(14)。为了节省篇幅，下面笔者只以“光既是粒子又是波”为例，说明确实存在着不同于普通命题的辩证命题。

一些否定辩证命题形式的人认为，“光既是粒子又是波”根本不是什么辩证命题。他们说，这一命题形式无非是普通逻辑中的联言命题，具有“p∧q”的命题形式。难道真的是这样的吗?

试看下面的公式：

(p∧q)→p

p→r

r

∴p

∴(p∧q)

学过普通逻辑的人都知道，上述公式是一有效式，亦即只要前提都是真的，按照这一形式进行推理，结论必然是真的。现在我们假定“光既是粒子又是波”就是普通思维联言命题，具有“p∧q”的命题形式。试把这一命题代入上述公式如下：

如果光既是粒子又是波，那么，光是粒子；

如果光是粒子，那么光透过微孔射在帷幕上应当显现为一个光点：转贴于

光透过微孔射在帷幕上并不显现为一个光点(事实是显现为一个亮环和一个暗环)；

所以，光并非是粒子；

所以，光并非既是粒子又是波。

从上述“光既是粒子又是波”的例子完全可以证明，确实存在着不同于普通命题形式的辩证命题形式。

令人不解的是：“金著”一方面怀疑辩证思维形式的存在，一方面又多次对它们有所论述。例如：“金著”第四章“概念和概念体系”中“概念的种类”部分，就有“抽象概念与具体概念”这种分类，其中说“由知性思维形成的概念就称作为抽象概念，由理性思维形成的概念就称作为具体概念”，“抽象概念就是在抛开对象的差别、矛盾和联系的情况下，而对对象本质的孤立、片面的反映”，“具体概念就是包含普遍性、特殊性与个别性(个体性)于一身的概念，就是理性思维反映对象多样性统一的概念。须知，这种统一乃是在反映对象本质基础上的多样性的统一，也即是包含差别、矛盾于一身的统一”(16)。这里所谈的抽象概念不就是普通概念，具体概念不就是辩证概念吗?在“金著”第五章“判断”中，又多次谈到矛盾式判断形式，它以马克思《资本论》中的“资本既在流通中产生又不在流通中产生”为例，指出：“马克思的这个表述包括这样两个部分：资本‘既在流通中’和‘又不在流通中’产生。它的内涵决不是形式逻辑矛盾律所表示的两个命题(或判断)不能同真，其中必有一假的意思。”“在(流通中)”和又“不在(流通中)”乃是一辩证矛盾，“作为矛盾双方是相互依存的，它们是缺一不可的”，“形式逻辑的矛盾律管不了辩证矛盾”。这种判断形式为“矛盾式判断形式”，这一判断形式尽管从形式逻

“金著”第六章“推理”第三节“推理的基本形态及类型”，用相当大的篇幅对“由一面导出其反面的推理”、“同异互见的推理”、“矛盾传递推理”、“矛盾对比推理”四个辩证推理类型(马按：虽然该书讳言“辩证推理”而只言“辩证逻辑推理”，而实际上讲的就是辩证推理)进行了论述，并且还对这些推理形式用一定的公式加以刻画。究竟这些辩证推理类型的分类和刻画科学性如何，姑且不论，但无论如何，“金著”肯定了辩证推理形式的存在却是无法否定的。

三、是否因为概念、判断的本性是辩证的，辩证逻辑就不应该研究辩证思维形式了呢?

“金著”说：“无论概念也好，还是判断也好，它们的本性本来就是辩证的。”这句话对不对呢?是对的。辩证法规律普遍存在于自然、社会、思维之中，自然也存在于概念、判断之中。列宁在《谈谈辩证法问题》一文中就精辟地论述过这一问题，对此笔者是没有异议的。但问题在于能否因为概念、判断的本性本来就是辩证的，辩证逻辑就只能研究概念、判断的这种辩证本性，而不应该研究辩证思维形式呢?笔者的答复是否定的。应该看到概念、判断的辩证本性问题，是思维形式的辩证法问题，是辩证法研究的对象。列宁在《谈谈辩证法问题》一文中谈到任何一个命题中都存在着辩证法——个别就是一般等等时，就是把它作为辩证法来谈论的，是在于说明辩证法的普遍性的(他的《谈谈辩证法问题》的标题就是明证)。思维形式的辩证法不是辩证逻辑的对象。辩证逻辑的对象是辩证思维，更具体来说是辩证思维形式(有人说是“辩证思维的形式”，其实，“辩证思维的形式”也就是“辩证思维形式”)。辩证思维是人类思维发展的高级阶段，只有到了西方的希腊时期和中国的春秋战国时期辩证思维才开始产生(当时也还只是辩证思维的萌芽时期)，而思维形式的辩证法却是自有了人类思维就一直存在了(19)。固然，研究思维形式的辩证法需要运用辩证思维，但是，这只能叫做“用辩证思维去研究”，而不能叫做“研究辩证思维”。“金著”反复强调辩证逻辑的对象是辩证思维，却又把辩证逻辑的对象归结为思维形式的辩证法，这难道不是在偷换概念吗?同样，“金著”把辩证逻辑对“辩证思维(的)形式”的研究，解释成对“形式的辩证思维的研究”，也是偷换了概念。

不错，在“金著”中也谈到了“思维辩证法”和“辩证思维”的区别，谈到“思维辩证法……无论在知性思维，也无论在理性思维中都客观地存在着”，“辩证思维就是人们在思维过程中通过一系列对立统一概念、范畴来把握处于普遍联系中的运动着的对象整体性的思维”(20)。但又同时强调：“在马克思主义经典著作中，并没有明确区分过思维辩证法与辩证思维。”并且说：“你越想精确区分，你就会觉得越不好区分，因此，要明确这样一点，即思维辩证法与辩证思维的区分是相对的，不能看做绝对。因为它们在人的思维中本来就是紧密相连的。”(21)正是在这样的思想指导下，“金著”竟然把本来是“研究人类辩证思维的形式、规律和方法”的辩证逻辑科学，变成了辩证法(不是主要讲辩证概念、辩证判断而是主要讲概念的辩证法、判断的辩证法，不是主要讲辩证思维方法而是主要讲思维方法的辩证法)、认识论(不是主要讲辩证概念、辩证判断的认识作用，而是主要讲概念的形成、判断的形成)、逻辑史(不讲辩证判断的分类，而是讲亚里士多德、康德、黑格尔判断的转贴于

分类)、辩证逻辑、普通逻辑混然杂陈的读物了!

推理的逻辑形式篇7

“文革”结束以后，特别是1978年改革开放以来，我国逻辑学研究步入大发展时期。逻辑学研究的队伍被重新组织并逐步壮大起来。1978年、1979年由中国社会科学院哲学研究所等单位先后发起并召开了第一、第二次全国逻辑讨论会，之后成立了中国逻辑学会。在这两次大会上，针对我国逻辑教学和研究水平远远落后于国际水平的实际状况，有些学者提出了逻辑教学与研究现代化的主张。此后进一步发展为中国逻辑学会提出的“全面实现我国逻辑教学和研究的现代化，与国际逻辑教学和研究的水平全面接轨”的发展目标。围绕这个发展目标，我国广大逻辑工作者进行了不懈的努力。作为我国逻辑事业发展的主要组织者，中国逻辑学会及其下属专业委员会坚持“理论与应用相结合”、“提高与普及相结合”的方针，开展了丰富多彩的学术活动，有力地推动了多层次逻辑教学与研究的发展。根据搜集到的材料对改革开放以来中国逻辑学研究的发展作一个概述，限于篇幅和能力，材料的搜集和概述不尽全面，特别是未能探讨逻辑教学，敬请谅解和指正。

一、数理逻辑、哲学逻辑和逻辑哲学

20世纪是西方逻辑发展史上的第三大高峰期，逻辑学发展成为与数学、物理学、化学、天文学以及地球科学、空间科学、生命科学等相并列的基础学科，这是20世纪科学系统演化的重大进展。联合国教科文组织早在20世纪70年代巳对此予以确认。后来在该组织的“科技领域国际标准命名法”中，更把逻辑学列为一级学科之首。但这种学科进化并未体现在我国的学科建制上。在我国通行的学科划分上，“逻辑学”被列为哲学一级学科之下的二级学科，而“数理逻辑”被列为数学一级学科之下的三级学科。这在一定程度上限制了我国逻辑事业的发展。但是通过在改革开放的大潮中对国际逻辑发展状况的了解与研究，我国逻辑学界在如下问题上逐步达成了共识：20世纪逻辑学的重大发展首推演绎逻辑的长足进步，传统演绎逻辑与现代演绎逻辑是同一门学科的不同发展阶段，而不是以往许多学者理解的不同学科；由弗雷格奠定基础并由罗素、希尔伯特和哥德尔等人所完善的一阶逻辑，是整个当代逻辑大厦的基石；形式系统方法是现代逻辑研究的基本方法，四论（集合论、证明论、模型论、递归论）为现代逻辑的发展提供了基本工具；尽管四论的尖端研究属于狭义数理逻辑的范畴，但其基本思想与方法是任何从事当代逻辑研究的学者所应当掌握的。我国哲学学科的逻辑学博士点与硕士点已普遍把“打好数理逻辑基础”作为人才培养的基本要求。

我国数学界与计算机学界活跃着一支数理逻辑基础研究队伍，他们在老一代数理逻辑学家的带领下，在逻辑演算与四论研究中取得了丰硕成果，有些成果获得了国家自然科学奖和何梁何利科学与技术进步奖。另有一批数学出身的学者加人到哲学社会科学界逻辑学研究队伍中来，也在逻辑基础研究上作出了许多独特贡献。

这里我们介绍在哲学社会科学界的数理逻辑研究成果，主要有如下一些：创制了不用联结词和量词的一阶逻辑系统，对括号作了独到处理，使得括号能兼具联结词的作用也有替代量词的作用，这是继卢卡西维茨以后又一新的逻辑符号和记法系统；构造了几个无穷逻辑的系统，证明了它们的完全性；建立了无穷逻辑的二阶语言的公理系统和模型理论，证明了这个二阶语言中的省略型定理及素模型理论；对可数无穷长语言的可构成模型C进行了较为系统深入的研究；关于递归论的计算机复杂性和实数可计算性方面的研究取得了重要进展。由于公理集合论中布尔值模型的应用、模糊数学中非布尔值逻辑的出现以及计算机科学中多值线路的探讨等，使得多值逻辑的研究有了更多的具体背景和客观需要。对于多值逻辑的一个方面——多值模型论，有的学者做了初步考察，把二值模型中一些基本结构推广到格值模型论中。在模型论方面，一些学者通过合作，为其中某些方法及其结论在其他数学分支中寻找新的应用事例做了一些尝试，并开创了格值模型论并将其发展为比较完整的理论体系。“可计算与t难于计算的实数”、“具有强蕴涵词的弗晰集合结构”、“弗晰集合论与布尔值集合论之间的联系”等成果，在国际会议上作了宣读。有的学者提出了计算模型间的相似性和计算时间与存储空间之间的对称性两个重要概念。还有学者证明了在一个固定计算类型下的所有合理的计算模型都是相似的。

就国际逻辑学和哲学的研究而言，20世纪上半期逻辑学的发展使之最终从哲学中独立出来，同时又反作用于哲学研究，推动哲学研究实现了“语言学转向”；在此基础上，20世纪后半期逻辑与哲学之间建立起了深刻的互动关系，逐步形成了“哲学逻辑”与“逻辑哲学”这两个崭新的学科群，构成了当代逻辑学科发展的主流方向。哲学逻辑研究分为两大学科群落，一是在经典逻辑基础上，通过引进具有哲学含义的逻辑算子而建构的扩充型逻辑系统，如基本（真势）模态逻辑、时态逻辑、认知逻辑、道义逻辑等，这些系统一般又统称为“广义模态逻辑”；一是在某种哲学思考背景下通过对经典逻辑算子的变异解释而建构的异常（或称异释）型逻辑系统，如多值逻辑、模糊逻辑、相干逻辑、直觉主义逻辑、弗协调（又译次协调、亚相容）逻辑等。后者又各自有自己的扩充系统，如多值模态逻辑等。逻辑哲学研究也分为两大学科群落，一是关于逻辑的哲学研究，一是运用现代逻辑工具去分析解决重大哲学问题，后者与“语言哲学”有广泛的交叉领域，经过多年发展，逐步形成了“意义观”、“真理观”、“悖论观”等研究重心。这两大学科群构成了逻辑与哲学互动发展的基本桥梁，其研究价值已经并正在充分展示出来。自上世纪80年代初以来，现代逻辑发展的这一态势逐步为我国学者所把握。这体现在陆续出版多部系统介绍狭义与广义模态逻辑的著作之中。90年代之后，哲学逻辑与逻辑哲学逐步成为我国逻辑学界的主攻方向，发表了大量系统介绍国外研究进展的著作与文章，也出现了不少独立研究的成果。例如，将亨金的嵌入定理从经典逻辑推广到模态逻辑，并用超积方法证明了这个定理；首创一种“嫁接”方法，建立了一种新型模态逻辑语义框架即“嫁接框架”。嫁接框架由通常的克里普克关系语义框架作接本和相干逻辑的语义框架作接穗组合而成。在嫁接框架的基础上构造了嫁接模型。进而又给出典范的嫁接框架和模型及其一些性质的证明，从而得到刘易斯的S1系统的完全性。这是一种全新的对S1完全性的证明。

在扩充型哲学逻辑方面，学界最初主要集中在对狭义模态逻辑的把握与研究上，后来逐步把研究重点转移到认知逻辑研究上来，这不仅表现在致力于认知研究的学者的数量不断增加，也表现在研究成果的不断丰富。研究方向涉及认知逻辑的分类、信念修正、对动作的认知以及逻辑全能问题等等。

近些年，有学者将“阿姆斯特丹观点”——模态逻辑的新观点引入我国，扭转了以往认为模态逻辑只是“关于必然与可能的逻辑”的观点，使我们逐渐认识到，模态语言便成为研究关系结构的一种简单但富于表达力的语言，模态逻辑并非孤立的形式系统，为研究关系结构提供了一种内部的、局部的视角。基于新的技术工具，特别是“标准翻译”和“双仿”的使用，丰富了我们对模态逻辑理论的理解。另外导致了“扩充模态逻辑”的产生。因此，为逻辑学界提供了可供研究的更广阔的领域，同时也需要更多的学者关注并致力于研究它。这种新观点在国内仍然比较生疏，但是前景不容置疑。

认知逻辑一直是国内逻辑学界的一个研究热点，不仅表现在致力于这一研究的学者的数量不断增力口，也表现在研究成果的不断丰富上。1982年建立了在自然推理的谓词逻辑基础上的知道逻辑系统W,并给出它的语义解释JS，这是一种建基于可能世界理论上的语义学，并证明了w的可靠性。认知逻辑发展的一个方向是从单主体向多主体的认知逻辑过渡。20世纪90年代以来，多主体的认知逻辑取得了丰富的成果。有学者从语法角度构造了一种多主体的认知逻辑系统，据此讨论了少数服从多数的原则，给出该系统能推出的一系列重要定理及其与直觉主义逻辑的联系。为刻画规范命题所体现的主观认识和客观事实二重性，构造了所谓的二重逻辑演算系统，这个系统不同于一般的认知逻辑系统，具有描述“认定”、“相信”、“知道”等语词共性的模态算子B及其相应的一组公理，颇有新意。

有学者系统地探讨了理性的认知主体在自省能力、观察能力、记忆力、修正策略诸方面存在的多样性，说明如何在认知逻辑中表达主体的这种多样性，以建立能够表达主体的个体变化的动态认知逻辑。通过分析交流、学习的一些具体场景，进一步考察了不同类型主体的在交往中交流、获取信息的特点及其逻辑处理方法。这一工作突破了以往认知逻辑“理想主体”的预设，对于推动认知逻辑的深人研究有重要意义。学者指出，研究自省主体的信念变化，需要找到某类能够很好地表达自省主体的信念状态的合适理论，提出了一种尝试性方案。还有学者从主体认知世界的三分（信念世界、怀疑世界和无知世界）出发，引进怀疑算子，致力于创建一种新的怀疑逻辑系统。

我国的道义逻辑研究起步较晚，研究成果与国外的差距很大。国内学者的工作主要集中在介绍和初步研究阶段，在介绍道义逻辑发展的同时，都指出了道义悖论在道义逻辑研究中的重要作用，出版了几部专著。近年来，道义悖论逐渐受到越来越多的非经典逻辑学者的关注。有专著对道义逻辑的发展历程作了介绍，并指出道义悖论从不同侧面、不同程度上揭示了绝对道义命题逻辑存在的问题。基于弗协调模态逻辑的研究，建构了弗协调真值模态逻辑系统，由以容忍道义二难。

在时态逻辑方面的成果有：建立了极小的S,v-时态逻辑公理系统和其他一些非线性的S,v-时态逻辑公理系统，同时还证明了几个有关S，v-时态逻辑的不完全性定理；建立了极小的G,H-时态逻辑，取得了独创性更强的新成果，为深入研究时态算子G，H-奠定了扎实而稳固的基础；之后又有学者将上述成果从协调情形推广到弗协调情形，把极小系统L。和科斯塔的弗协调逻辑系统Cn(lmo)结合起来，建立了极小弗协调G,H-时态逻辑系统CnG，H(lmo);此外还建立了极小的U(直到），S(自从）时态逻辑公理系统和其他一些非线性的U，S时态逻辑公理系统，同时还证明了几个有关U，S时态逻辑的不完全性定理;建立了极小的G(将来某时之前总是），H(过去某时以来总是）时态逻辑,取得了独创性更强的新成果，为深人研究时态算子G,H奠定了扎实而稳固的基础。

在异常型哲学逻辑方面，弗协调逻辑的研究始于20世纪80年代，至2000年期间，除了发表相关文章外，弗协调逻辑只是作为相关书籍的一部分给予介绍和讨论。后来出版了弗协调逻辑的专著。与国际大趋势相一致，我国关于弗协调逻辑的研究处于上升趋势，已取得一系列成果，构建了弗协调的模态逻辑、时态逻辑和条件句逻辑的系统，开辟了弗协调逻辑研究的新方向。有学者在直觉主义命题逻辑的正部分的基础上仅加上排中律，从而给出了一个更弱的系统，同时给出了这一系统的克里普克语义解释，定义了框架有效的概念并证明了所给的逻辑系统相对于这种有效性既是可靠又是完全的。基于对“否定词”的不同理解，有学者尝试创建哲思逻辑系统。在哲思逻辑系统内，有同时遵守矛盾律和排中律的经典否定联结词，有遵守矛盾律而不遵守排中律的构造性否定联结词，有不遵守矛盾律而遵守排中律的弗协调否定联结词，还有既不遵守矛盾律又不遵守排中律的辩证否定联结词。

相干逻辑方面，为更自然地刻画日常推理而建立的相干衍推系统，长期以来，只有代数语义学的解释，这与当初建立该系统的目的不相适应。因此，有学者提出了一个推理模型试图解决此问题，还有人尝试构造一种具有更精细结构的谓词逻辑。

在条件句逻辑研究方面，主要成果有：建立了弱条件句逻辑系统W以及相应的自然推理系统NW,并论述了两者的等价性，还将NW扩充为其他一些条件句逻辑的自然推理系统；对巳有的条件句系统从恰当性角度作了考察，构造了一个较弱的条件句系统，这一系统排除了绝大多数逻辑家认为恰当的一些公理和规则，比较自然直观；区分了两类条件句系统：把条件句算子当作归纳推出子关系的系统和经典意义上的系统，通过扩张和限制邻域语义、关系语义和择类语义，使之能更好地理解这些语义之间的关系以及由它们所确定的系统之间的关系；为“有穷层积”逻辑、“优先”逻辑以及所谓的“半单调”逻辑等经典条件句逻辑证明了一些嵌入定理，证明所使用的技术工具是邻域语义学中的“部分框架”和“框架态射”。

有的学者在总结逻辑系统的各种语义学的一般特征的基础上，建立了适合绝大多数命题逻辑的邻域语义学，开辟了一个新的研究领域，将各种逻辑中许多类型的问题、结果和方法，在邻域语义学中作统一处理，得出更多的一般性结果。又将这些结果应用到具体逻辑系统（直觉主义逻辑、相干逻辑、模态谓词逻辑等）中，建立它们的框架和讨论它们的完全性问题等。

我国不少学者对逻辑哲学问题感兴趣，介绍和引进了许多国外研究成果。自20世纪80年代起，我国的逻辑哲学研究日益展开，出版了几部关于逻辑哲学的专著，发表了一大批关于逻辑的范围、逻辑真理、逻辑悖论、形式化方法、直觉主义的数学哲学和逻辑哲学、本质主义、意义理论、蕴涵理论等方面的论文。有的专著基于现代逻辑的一些最基本的概念和内容，反映了国外的新状况、新理论、新的热点问题；对与逻辑研究推理相关的问题提出了一系列解释，包括“逻辑哲学的定义问题”、“什么是逻辑”、“否定”、“蕴涵”、“悖论”等问题。有的专著探讨了逻辑哲学的十个问题，包括意义理论和逻辑类型，“是”的逻辑哲学分析，推理后承关系和蕴涵，形式化方法的哲学考察，模态的形而上学，逻辑真理的性质，逻辑悖论的反思，逻辑中的本体论承诺，归纳问题及其解决方案以及逻辑究竟是什么。

模态逻辑系统有不同的语义解释，比较成熟而普遍的解释是可能世界语义学。可能世界语义学为模态命题提供了一种语义解释。模态逻辑的语义解释依赖于可能世界域。由于模态词自身的特殊含义，因此与一阶逻辑有很大的区别，因而也产生了一些重大问题。比如等值替换原则的失效问题、抽象实体的存在性问题等等。有专著比较系统地讨论了模态逻辑中的哲学问题，如可能世界、从言模态和从物模态、名称和指示词、本质主义以及模态集合论等。

逻辑悖论研究的多层面意义与价值正在逐步呈现出来。20世纪80年代以来，悖论研究逐渐成为逻辑学界探讨的热点之一，相继出现了一大批论文和专著。有的专著以三类狭义逻辑悖论——集合论语形惊论、语义悖论和语用悖论的研究为中心，系统论述了各种解悖方案的历史发展，并运用作为语用学概念的“逻辑悖论”的独特界说以及RZH解悖标准，进行了全面、深人的比较研究，澄清了悖论研究的不同层面及其相互关联，探讨了其哲学方向和方法论方向的一系列重要问题。有学者发现了“所有非——Z类的类的悖论”，这一悖论具有很强的概括力，概括了沈有鼎的“所有有根类的类的悖论”、罗素悖论和科里悖论等。

“逻辑的社会文化功能”是近年来学者们关注的新领域，包括文化建设功能、社会实践功能和社会理论疑难的解题功能。逻辑学是兼具基础性、工具性与人文性的重要学科，在当代学科体系中有着举足轻重的地位，同时也具有多方面的社会文化功能。在一些学术会议的探讨中，许多学者就此方面的提出了看法，他们普遍认为，我国文化进程中由于逻辑传统的缺失而导致的诸多弊端在如今的社会发展各个层面均有明显体现。充分挖掘逻辑的社会文化功能，既关系到逻辑本身的生存和发展，从长远看有又关系到国家和民族的兴盛。

二、归纳逻辑

20世纪80年代之前，归纳逻辑的研究在我国几乎是空白。从1981年开始，情况有所变化，有的学者，探讨归纳推理的类型、正确进行归纳推理的条件问题，有的学者评介了国外归纳逻辑。在非演绎的回溯推理、穆勒五法的推广、现代科学技术中的新归纳方法、各种类型的类比等方面，都有不少学者在摸索探究。

1983年，北京市逻辑学会专门讨论了归纳问题，着重就归纳在逻辑中的地位、.归纳推理与归纳方法与认知过程的关系等问题展开了讨论。1984年，在大连召开了全国归纳与概率逻辑讨论会，主要研讨内容有：归纳推理分为从分子到类，从部分到整体，从对象到自身的三种类型；我国逻辑史研究中关于归纳问题的研究；国外归纳逻辑及其在我国的研究概况；卡尔纳普的归纳逻辑。80年代末，除了继续介绍国外归纳逻辑研究进展之外，还对归纳法的具体模式进行了考察。归纳与概率逻辑的研究在过去的基础上也有了进一步的提高。

80年代后期，出版了一批有关归纳逻辑的专著和论文。1988年至1989年间，归纳逻辑的研究有一个重要特点是在应用方面有所开拓。由于专家系统、知识工程与智能计算机研究的需要，经专家建议,在国家社会科学基金项目中建立了归纳逻辑与人工智能课题。90年代之后，又有一批较有分量的归纳逻辑学术论文陆续发表，出版了归纳逻辑与概率逻辑的两部专著，使我国归纳逻辑的研究无论从广度还是从深度上都大大地超过了以往的研究。2006年出版了归纳逻辑百年历程的专著，集中介绍了各种归纳逻辑理论对归纳推理的研究情况，同时考察了这些归纳逻辑理论对于归纳问题的解决方式。

科学理论的确证中，确实发现了一些感到困惑和疑难的问题，有的学者指出这是归纳悖论。国内对于归纳悖论的研究仍处于比较薄弱的阶段。有专著对三个归纳悖论分别给予了较详细的介绍和说明。之后国外归纳悖论的研究有较大发展，特别是古德曼悖论的研究比较发达，因此又出现了大量新的资料。总的说来，国内归纳悖论的研究还处于介绍阶段，并且主要是介绍亨佩尔悖论。对归纳悖论的元层次研究无论国内外基本还处于空白状态。对于归纳悖论的定义、分类、解悖标准、解悖的方法论研究等基本问题还未进人研究者的视阈，这大大地制约了归纳悖论研究的发展。有学者探讨了三个归纳悖论的来龙去脉和各自的比较有影响的解决方案，并对这些方案进行评论，尝试对归纳悖论提供一个统一的说明。但也有学者并不同意这种观点，认为这些问题并非逻辑悖论。

现代归纳逻辑从20世纪80年代初传人我国，我国学者在改进著名的归纳逻辑体系、归纳与人工智能结合、归纳逻辑哲学问题研究等方面有不少成果。

有学者对卡尔纳普的X系统进行修正，建立了一个0系统。这个系统保证在无穷个体域中，在无反例的情况下，全称假说可以得到非零的确证度。凯恩斯、卡尔纳普等人的概率逻辑系统是形式语义系统，没有相应的语法系统。我国学者建立了一个概率演算的语法系统I。系统I是模态逻辑系统K的一种推广，也是认知逻辑相应系统的一种概括，用带测度函数的可能世界语义学作为系统I的语义学，并且证明了系统I对概率演算的可靠性。有的逻辑学者指出科恩的归纳逻辑系统有两个缺点，一是在科恩的理论中相关变量只是一种直观理解的背景，没有用相关变量作为语义，二是科恩系统所讨论的句子只限于有相同相关变量、以相同次序检验的句子，这样无法对非实质相似的假说的归纳可靠性进行比较，为了克服这两个缺点，要建立一个归纳支持的逻辑系统VIL，用相关变量和检验给出严格的语义，并且着重讨论归纳支持的可比较关系。有的学者把变量的相关看做人的一种信念，吸收了人工智能中信念修改逻辑的思想，在条件句逻辑的框架上建立起归纳支持的系统。这个系统克服了科恩相关变量法严格排序的缺陷，实现了对假说归纳支持推理非单调性的形式刻画，并且克服了科恩否定原理的缺陷。有的学者证明科恩的基于非巴斯卡概率经验解释的归纳逻辑系统是不一致的，不恰当的，因而不能成立，进而构造了非帕斯卡概率的逻辑解释，提出了度量和计算不相信度的方法，及基于非帕斯卡概率逻辑解释的决策论，在相关变量法的基础上构造了假说似规律度的句法理论，考察了在知识不完全和实验结果不确定的条件下运用排除归纳法进行实验推理的特点，构造了假说归纳可靠度理论。有的学者建立了一个贝叶斯认证逻辑系统，用贝叶斯定理为工具重新考察了古典的假说演绎法，指出其确证形式和否证形式的不当之处，提出了贝叶斯假设一演绎认证推理的形式和贝叶斯假设一演泽否证推理的形式，这两种形式在这个系统中得到了辩护。

归纳逻辑的学者与计算机学者合作将科恩的相关变量法、伯克斯的归纳概率理论、凯恩斯的统计推理等进行改造，写成算法，在计算机上实现。这些工作大部分有。“归纳问题”，亦称休谟问题，是英国哲学家休谟在200多年前提出的。可以简要表述为：是否能从过去太阳从东方升起推出它以后也必然如此吗？是否能在理性上证明从有限事例归纳出全称判断是合理的吗？休谟由对因果观念的分析人手，从逻辑的角度对归纳推理的合理性提出了严重挑战。有学者提出了一种关于动态假设的贝叶斯主义的辩护以改进豪森和厄巴赫的辩护，还用贝叶斯认证逻辑理论对古德曼悖论、亨普尔悖论和凯伯格悖论一一给出了解决方案。也讨论和分析动态大弃赌定理与休谟问题之间的逻辑关系。有人认为休谟问题有两种表述形式，一种是关于归纳推理的，一种是关于因果关系的。在此基础上，再对因果关系进行语义分析，考察了几种因果性定义，并给出了新的定义。

三、应用逻辑与逻辑应用

20世纪90年代以来，我国逻辑学界出现了一股应用逻辑著作热，随之出现了对应用逻辑的本质和特征的探讨。进人新世纪，又有许多学者引人和评介了国外应用逻辑方面的前沿成果。

作为理论研究的应用逻辑，并非一般意义上的逻辑应用。对任何一个思维领域，我们都可以作逻辑的应用研究，但能否建构出相应的应用逻辑需要更多的努力和研究。逻辑应用在形式化程度上有着悬殊的差异。有学者指出，一般而言，只要是运用了逻辑原理的，都可以称视为逻辑应用，但只有将逻辑原理系统而非零散地应用于某一学科或领域，并且在应用中构建起逻辑系统，特别是形式系统或系统的应用方法论的才能称之为应用逻辑。如果从方法层面来看逻辑，那么，应用逻辑则处于方法论层面。有学者提出，应用逻辑应当是面向特定领域系统研究逻辑因素在该领域的作用机理，以及逻辑因素与非逻辑因素的相互作用机理，即关于该领域的逻辑应用方法论。

科学逻辑，可以看做应用逻辑的范例，即研究逻辑在科学发现、科学检验、科学发展过程中的作用机理以及逻辑和非逻辑因素的相互作用机理。科学逻辑是一种成熟的、可以作为典范的应用逻辑。我国的科学逻辑研究肇始于20世纪60年代，80年代初形成了系统的研究纲领，除了翻译了、发表了一些比较重要的译文，有不少学者给出了概述性的论文。把科学逻辑定位为“经验自然科学的逻辑方法论”，分为“发现的逻辑”、“检验的逻辑”和“发展的逻辑”三个基本方面，对演绎逻辑、归纳逻辑与辩证逻辑的基本理论与方法在科学研究中的作用机理展开了全面研讨。我国科学逻辑研究的突出特点，是在80年代全面启动之初就确立了在逻辑主义与历史主义之间维持必要的张力、探索其对立互补机理的研究纲领，并取得了一系列与国际学界发展趋势相合拍的重要成果，这在很大程度上得益于我们既立足于逻辑学的现展，又能掌握辩证思维方法论的基本理论。在世纪交替之际,我国科学逻辑研究又逐步完成了由经验自然科学方法论向经验社会科学乃至人文科学方法论的扩张，在科学主义与人文主义之间维持必要张力的精神继续新的探索，在应对后现代思潮的冲击方面发挥着独特的作用。

20世纪的60年代末70年代初，西方学界掀起了一场“非形式逻辑和批判思维运动”，90年代,这场“运动”影响到我国，近些年来愈加兴盛。

如何正确理解演绎逻辑与所谓非形式逻辑的关系也是讨论的热点问题。有学者认为，批判性思维与非形式逻辑密不可分，甚至可以交互使用。有学者通过分析批判性思维与形式逻辑、非形式逻辑的相互关联指出，批判性思维的逻辑既离不开非形式逻辑，也离不开形式逻辑，两者共同构成了批判性思维的逻辑基础。有学者明确指出，非形式逻辑是研究论证的科学，论证概念是包括非形式逻辑在内的论辩理论的核心。将论证理解为语义学概念还是语用学（辩证的）概念是非形式逻辑和经典逻辑的分水岭。

近年来，非形式逻辑学家和人工智能专家开展了颇有成效的合作。非形式逻辑的一些概念和方法渗透到人工智能特别是“人工智能和法律”的研究领域。一系列范畴和分析工具，如论证概念、论证形式、可废止论证、对话类型、相干性、对话中的承诺等，既从非形式逻辑领域传输到人工智能研究中，又在人工智能研究中得到深化。非形式逻辑启发了人工智能研究的新思路和新方向，而人工智能研究开发了非形式逻辑的巨大潜能。有学者提出了一个关于论证的新理论框架，由论证类型新理论、论证分析新理论、论证评价新理论构成。理性是人类交往追求的理想境界，批判性思维是人们通往理性的桥梁，论证则是实现批判性思维的重要途径。形式逻辑与非形式逻辑都需要研究论证，形式逻辑研究是基于语义或语形的研究，而非形式逻辑则是基于语用的研究。实际上非形式逻辑是语用逻辑的最新发展。

1979年成立逻辑与语言研究会以来，我国语言逻辑学者陆续发表了一些论文和专著。研究初期，话题主要集中在对语言逻辑的对象的探讨上。80年代后期有学者阐述了指号学与语言逻辑的关系，认为语言逻辑是自然语言的逻辑指号学。语言逻辑首先以语言中的自然语言为对象，但不排斥以人工语言为分析工具，其次，它研究语形、语义和语用，以此与经典逻辑相区别，此外必须以现代逻辑的成果为基础，绝不与现代逻辑相排斥。这些研究旨在把语言逻辑的对象与其他逻辑系统区别开来，虽然认识的观点、认识的程度均有不同，但是越来越多的逻辑学者意识到，不能把语言逻辑看做对自然语言的词义分析，也不能把语言逻辑看做用传统逻辑方法对自然语言的语法修辞作皮毛分析。语言逻辑的研究必须以现代逻辑的既有成果为基础。1994年，出版了关于“正确思维和有效交际的理论”的专著，这部专著把逻辑理解为正确思维和有效交际的理论，以现代逻辑、现代语言学和指号学为基础理论，重新体现了亚里士多德的逻辑构想，把逻辑、语法和修辞三者统一起来，形成了一个广义的逻辑理论；并明确指出，传统逻辑和数理逻辑只研究命题与命题之间的真假，而自然语言逻辑不仅要研究命题间的真假，还要研究各种包含了言语行为和命题的语句，如陈述句、命令句和疑问句等之间的真假关系。自然语言逻辑不是单纯研究自然语言，而且还要研究其中丰富的逻辑形式；一个重要的研究途径是根据语境，解决自然语言的多义性问题。在问句逻辑方面，有学者建立了关于“抑或问题”和“哪个（哪些个）问题”的形式系统，深化了对问题的逻辑探讨。

有学者构造了一个汉语部分语句系统，以包含广义量词与能够处理“合举意义”的内涵逻辑为工具，来解释该系统生成的汉语量化语句的种种语义特征，这在国内首开先河，标志着我国语言逻辑研究由一般性的原则讨论过渡到实质性具体操作，由单纯介绍西方有关成果发展到结合汉语实际来进行探讨。这一研究不同于国内以往描述型的语言逻辑研究方式，而代表了建立形式化系统的一种发展方向。

范畴类型逻辑把自然语言的毗连组合归结成运算和推演，而运算和推演所依赖的毗连组合则遵循“邻近原则”逐层逐级进行。话语表现理论（也译“语篇表示理论”，DRT)擅长刻画的自然语言语句中代词和名词的照应关系，在范畴类型逻辑那里很难通过邻近毗连组合的运算推演体现出来。近年来，Jager尝试增添范畴类型逻辑的推演工具去描述自然语言的照应关系。为恰当说明句子序列中的照应关系，有学者介绍了这一理论，并从局部角度对Jager方案做了一点增补。另外也有人介绍了处理自然语言语义的“分段式语篇表示理论”，即通常所说的SDRT，这一理论是在语篇表示理论的基础上产生的一种语义理论，核心思想是语篇可以根据语义关联分割成语段，语篇中存在着由语段和修辞关系形成的语篇结构；以语篇结构为中心，分段式语篇表示理论可以解释和处理自然语言中的多种难以解决的语义现象和问题，如代词指涉、动词短语省略、语篇融贯、预设、语词歧义、隐喻等。

有学者给出了语言逻辑系统GO-G4，目的是为了研究通过演绎方式获得概称句的推理，具体地说，通过对正常个体选择函数N进行细化研究，给出了概称句主项含义和谓项含义之间的一些关系或限制条件，由此得到通过演绎的概称句推理的不同语义模型（概称模型、主项单调模型、全含义模型、包含选择模型、半退化模型），同时给出与语义模型相应的逻辑系统GO-G4。其完全性也得到了证明。

在逻辑应用中，法律逻辑、经济逻辑、决策逻辑得到了相对集中的关注。我国对法律逻辑的研究起步于20世纪80年代，其研究重心是传统逻辑在法律中的应用问题。进人21世纪，随着研究的扩展和深人，我国法律研究步人实质法律推理或论证的研究阶段，而西方学者已经在密切关注法律论证与法律论辩的人工智能模型了。如今随着法律逻辑研究的非形式转向，学界开始从非形式逻辑或论证理论角度探讨法律逻辑的基本框架，并取得了一些进展。

四、辩证逻辑

1980年，第一届全国辩证逻辑讨论会召开，会上成立了辩证逻辑专业委员会。1981年出版了我国第一部辩证逻辑的专著。至今公开出版的各类辩证逻辑著作达50多部，论文逾百篇。在新的历史B寸期，辩证逻辑也出现了多角度、多层面的研究。由于研究方法不同，对辩证逻辑的一些基本问题产生了许多不同的观点，形成了三大不同的研究方向：范畴理论方向、科学方法论方向和形式化方向。

诸多学者对辩证逻辑的某些专题进行了研究，主要包括对辩证思维的特征、机制和一般模型的研究和论述，对科学思维的辩证模式的基本原理、功能及历史演变的论述，对辩证思维的基本原则及其与现代思维的关系的研究，对辩证矛盾、逻辑矛盾与悖论的关系的讨论，对非经典逻辑的辩证性质的探讨等等。有学者主张，鉴于我国具有丰厚的辩证思维传统，应当结合中国哲学史具体研究辩证逻辑并系统论述中国古代辩证逻辑的产生和发展。

作为一个特殊的逻辑哲学问题，“辩证逻辑与形式逻辑的关系问题”在现代逻辑与逻辑哲学研究长足发展的背景下得到了新的讨论，两者并非互斥而是互补的观点占据了主导地位。有学者明确指出，科学现代化的发展，需要重新建构理论思维，辩证理性与分析性理性在分析性之精确性前提下的科学统一是历史发展的必然。辩证逻辑或辩证思维方法论研究也是开掘逻辑的方法论价值的一个特殊维度。

时至今日，对于“辩证逻辑是否逻辑”仍存争论。有的逻辑学者不认同辩证逻辑是逻辑，有的则肯定辩证逻辑是逻辑。有的指出，以思维形式与内容的区分来看，逻辑学的产生建基在对思维形式与思维内容的严格区分之上。也有人认为，与演绎逻辑、归纳逻辑研究不同，辩证逻辑是以先验内容或者说纯内容为对象的理论，即思想的经验内容与形式之间的中介环节。因此，是否认可其在逻辑研究中的地位，要以如何认识其研究对象为依据。现代形式的辩证逻辑不应纠缠于“辩证逻辑是不是逻辑”之争，而应当研究辩证思维的实际作用机理。

对“辩证逻辑形式化”的探讨是新时期辩证逻辑研究的一个新特点。诸多学者进行了多次论争，主要形成两个方向:一是建构与经典逻辑相协调的扩充型辩证逻辑系统,一是建构基于辩证哲学背景的异常逻辑系统。一些学者把弗协调逻辑视为辩证逻辑形式化的一条重要途径，另一些学者否认这种认识。有些辩证逻辑学者认为目前辩证逻辑形式化的努力都存在很多问题,尚未形成成熟的研究方向。

五、中西逻辑思想史与因明

20世纪80年代后期，中国逻辑史研究课题被列为国家项目，得到政府资助和支持。1989年出版了五卷本的中国逻辑史资料选与五卷本的中国逻辑史专著，这是我国“六五”计划重点项目之一,对20世纪中国逻辑史研究做了全面系统的总结，比较全面地阐述了中国古代逻辑思想的发端和发展的历史，及西方逻辑传入中国以后的发展史，这在中国逻辑史的研究史上是空前的。80年代以来，中国逻辑史的对象有所纯化，基本上是挖掘、整理和阐述中国历史上有关传统逻辑的理论和学说；对秦以后逻辑思想的研究明显加强，否定了长达一千多年的所谓秦后名辩学“遂亡绝”的传统观点。之后，又有一批专著与教材争相付梓。

墨家逻辑的现代研究，对批判继承中国传统文化遗产，建立包容古今中外一切人类优秀成果的新文化，具有重要意义。20世纪70年代末至80年代初，修订出版了关于墨经的逻辑学的专著，该书从现代逻辑的视角，从深层次揭示了“故”、“理”、“类”的逻辑内涵，这不同于以往对《墨经》的研究，标志着中国《墨经》研究达到了新的高度。

20世纪90年代以来，围绕如何提高中国逻辑史研究水平的问题，开始出现不同意见。表现为许多研究者更为自觉地对以往的中国逻辑史研究，特别是对80年代的中国逻辑史研究进行反思。一方面，他们对80年代把中国古代名辩学等同于逻辑、以传统逻辑体系为范本去建构中国古代逻辑体系的观点和作法提出质疑，主张先弄清中国古代名辩学的真实面貌，再回过头来探讨名辩学中的逻辑问题，进而揭示名辩逻辑的特点以及中华民族在世界逻辑史上的贡献。相应的，出现了一批相关著作。另一方面，伴随国外一些新的思想成果，如符号学、自然语言逻辑、内涵逻辑等的传人，研究者们开阔了视野，从不同角度，用不同的方法去研究中国古代的逻辑思想，如对《周易》和侔式推理从现代逻辑的角度作了新的探讨，用逻辑推类的思想研究中国古代数学的发展。90年代以来，中国逻辑史研究开始走向深入。许多学者更多关注对中国古代固有的名辩学的研究，而不是一般意义上的中国古代逻辑或外来逻辑在中国的传播和发展。

90年代末开始，中国逻辑史研究的另一个热点是对中国近、现、当代的逻辑进行研究。对梁启超、胡适、金岳霖、冯友兰、沈有鼎、殷海光等人在逻辑学研究上的贡献，都有文章加以论述。

中国古代有没有逻辑学，是近百年激烈争论的一个问题。一种观点认为中国有逻辑，并致力于对中国逻辑学的探讨，另一种观点认为中国没有逻辑。更有人指出，中国有无逻辑的两种观点都是经过与西方逻辑的比较形成的。无论如何，中国逻辑史研究同样应该强调现代逻辑的观念，而这种逻辑观一定是建立在逻辑这门科学基础之上的。

我国的数理逻辑史研究工作始于20世纪80年代，首先有学者概述了数理逻辑的主要分支，包括逻辑演算、递归论、模型论、公理集合论和证明论初步建成的发展史，简明地勾画出数理逻辑理论、观念、方法发展的线索，对一些重要观念、理论等做了深人阐述和评论。80年代也有学者考察了现代模态逻辑自建立至20世纪60年代的历史，指出了模态逻辑在以往发展中呈现的几个发展方向，包括用公理方法或自然推理方法构造出若干新模态系统；为避免严格蕴涵悖论修改严格蕴涵而建立的新模态命题演算；建立模态谓词逻辑；关于模态语义学的研究，建立代数语义学、关系语义学；非标准模态逻辑的研究等。此外，出版了几部关于西方逻辑史的论著。90年代，出版了第一部全面系统论述数理逻辑发展的专著，对数理逻辑初创、奠基和发展的不同时期的逻辑思想及成就做了详细论述。2004年出版了关于世界三大逻辑思想史的专著，该书采用“以逻辑为主、逻辑与历史相统一”的论述方法，从世界三大逻辑学的历史发展中概括出各自的几个基本理论和基本概念，构成一个体系，然后按历史的发展来论述这些基本理论和基本概念的演进。这标志着我国关于中外逻辑思想史研究达到了新的水平，有多方面的重要意义和启发价值。

西方逻辑史研究不断在深度和广度上扩展，其深度表现为专题研究的开展，例如研究了亚里士多德的三段论、斯多阿的推理规则、多值逻辑的历史、专名理论、塔尔斯基的语义理论等。并在其中注重应用现代逻辑方法。广度表现在不仅研究西方逻辑史而且进行逻辑比较研究，不仅个人从事研究，而且建立学术联系，增进学术交流。西方逻辑史研究的一个重要方面是对其中重要人物逻辑思想的研究和评析。在这方面出版了多部著作和论文，包括对亚里士多德、弗雷格、哥德尔、莱布尼茨、蒯因、克里普克等逻辑学家逻辑思想的介绍和研究。

中国在因明发展史上具有重要地位。在我国保存着大量印度因明的珍贵典籍，闪烁着世界三大逻辑传统相互激荡的灿烂之光。这在世界文化史上是十分罕见的学术奇观。1981年第一部因明专著问世，1982年出版了一部全面反映我国因明研究成果的汇集，是建国后的第一部因明论文集。也是在1982年，逻辑学者指出，因明是世界优秀的文化遗产，也是中国的优秀文化遗产，因此，抢救和弘扬因明是汉藏各族学者的共同责任和光荣。

从因明的体系来说，印度因明先后传人中国内地和藏区，逐渐形成汉传因明和藏传因明，二者不应该割裂开，否则就不能成为一个完整的因明。最初学者们主要关注汉传因明，就《因明正理门论》、《因明人正理论》中的推理性质和逻辑进行研究。近年来对藏传因明以及汉藏因明比较研究发展很快，出版了几部专著。除了汉文文献，另有藏文专著出版。汉藏学者正携起手来，共同推动汉藏因明的学术交流，当前特别要挖掘藏传因明在哲学和逻辑学领域的理论价值，推动我国因明研究的发展，保持我国在国际因明研究领域的领先地位。

有关因明的研究近年来呈现上升趋势。2006年，中国逻辑学会下属因明专业委员会成立，并召开了多次关于因明的专题讨论会。

综上所述，在过去的30年中，随着国家的日益重视、国际交流的日益频繁，通过几代逻辑工作者的不懈努力，我国逻辑学研究取得了历史性进步，初步改变了与国际逻辑学发展前沿长期脱节的状况，初步实现了逻辑研究的现代化，与国际逻辑研究水平初步接轨。中国逻辑界已经拥有一批具有现代逻辑素养的逻辑学博士和硕士，有一批具有丰硕成果的中青年学术带头人和骨干，有一批出国深造留学归国的逻辑学者，有一批已经达到国际逻辑研究水平的成果，有一批能进行国际逻辑学术交流的学者。同样不可否认的是，我国逻辑学研究的整体水平仍然不高，在很多方面仍存在问题。例如，与国际逻辑学研究前沿相比，我们总体上仍处于学习跟进阶段。现代逻辑的基础地位是逻辑学界的共识，但在实际学习和研究中，对现代逻辑的掌握、应用以及深人探讨仍需进一步提高。

中国逻辑学会在新时期提出了“全面实现我国逻辑教学与研究的现代化，与国际逻辑教学与研究的水平全面接轨；实行‘理论研究与应用研究相结合’和4提高与普及相结合’；弘扬‘团结、民主、严谨、创新’的学风”的三条方针，目前中国逻辑学者正在遵循这三条方针，为振兴中国的逻辑事业努力奋斗。

推理的逻辑形式篇8

 

一、学习逻辑学的意义和作用

 

作为一门学科，逻辑学有广义与狭义两种理解。广义的逻辑学泛指研究思维形式、思维方法、思维规律的科学;狭义的逻辑学仅指形式逻辑，形式逻辑又可分为传统的形式逻辑和现代形式逻辑。

 

学习逻辑学可以帮助人们认识真理，人们的真理性认识归根结底是从社会实践中来的，正如“实践是检验真理的唯一标准”。认识真理有两条基本途径：

 

(1)从实践中获得感性认识并运用科学的思维方法对感性材料进行加工分析，实现感性认识向理性认识的飞跃，从而把握事物的本质和规律。要实现从感性认识向理性认识的本质转变，应当掌握丰富的、切合实际的感性材料，同时还要有分析这些材料的能力，即能够运用科学的逻辑思维方法，从感性材料中准确地提炼概念，作出判断，得到正确推理。

 

(2)根据已经被实践检验过的真理性认识，通过正确地推理，推出新的真理性认识。能否推出真实的结论，需要具备两个条件：①前提条件是真实的;②推理形式正确(即符合逻辑学的推理要求)。学习和掌握逻辑学中的概念、判断、推理，有助于人们在感性认识的基础上获得理性认识，也有助于人们根据已有的真理性认识推出新的真理性认识。

 

逻辑学的意义、作用和目的可概括为以下几点：

 

(1)通过学习逻辑，掌握逻辑学的专门技术和方法，应用这些技术和方法，可以帮助我们解决一些实际问题;

 

(2)通过学习逻辑，培养人们的逻辑思维意识，使这种逻辑思维意识成为我们知识结构中的重要组成部分，在我们的学习、工作和生活中起到潜移默化的作用;

 

(3)通过学习逻辑知识形成一种逻辑观念。

 

上述三者中，最为重要的是树立逻辑观念，任何形式的学习都是为了树立某种观念，具备相应的素质，从而为我们的工作和生活提供指导。若能达到这三个方面，说明逻辑学已经成为你素质的重要组成部分，成为你发现问题、处理问题、思考问题、分析问题的一种能力。大学教育除了培养学生的专业技能外，更为重要的是培养学生思考、分析、解决问题的能力，这也是国民素质强的一种表现。

 

二、逻辑学与素质教育

 

人的素质分为先天素质和后天素质，先天素质是人生来就有的素质，包括人的感觉器官、运动器官、神经系统、大脑的结构和机能等。先天素质是人们认识形成和发展的自然前提。后天素质是通过培养和锻炼而形成的素质，思想道德素质和科学文化素质就是后天素质。人的素质不仅表现在知识面非常广，更为重要的是对问题的处理能力及对问题的认识、思考、分析和判断等，用一个词来概括就是“能力”。因此，素质教育不仅仅是掌握几门知识、技术，更为深刻的是有没有处理问题的能力。因此，可以说逻辑学与素质教育应该是最为密切的。在实际生活中，最早培养逻辑思维能力的是语言，我们从学说话起就进行这种逻辑思维能力的培养。相对于数学，这种思维能力更为抽象，只是对于我们来说，日常应用，司空见惯而不讨论其本质。在实践中我们知道，数学学得好的，逻辑学也容易学得好，相反，则不容易。这是因为数学与逻辑学之间有联系，数学教学中，有一项教学任务就是训练学生的逻辑思维能力和抽象思维能力，正因如此，我们在逻辑学的教学中应按照不同的专业有不同的要求，使学生的素质得到均衡发展。

 

逻辑学与数学相比较，它更抽象，这点与大家的认识可能有误差，下面我们对比分析一下：(1)数学用数学语言(字母、符号等)表示，逻辑学用逻辑符号来表示，逻辑符号有具体含义，所以，逻辑学抽象的难度是既要理解符号的含义，理解符号之间的运算关系，还要理解运算规则所包含的意义。(2)日常生活中，我们使用的是文字符号，不是数学符号，因此，逻辑学与我们的日常生活联系更为紧密。所以，学生在进入大学后开始接触逻辑学就不感到陌生，基于这一点，我们的逻辑学是以语言为主、传统逻辑为主要内容的教学。

 

狭义的逻辑学分为传统的形式逻辑和现代形式逻辑。传统形式逻辑是现在高等专科学校逻辑学教学的主要内容，同时也是培养学生逻辑思维能力的基础学科的主要内容。随着科学技术的进一步发展，现代形式逻辑所具有的基础性、应用性和培养能力远远超过传统形式逻辑。现代逻辑是对传统逻辑的继承与发扬，现代逻辑不仅可以作为日常生活中的思维工具(具有传统逻辑的作用)，还可以解决传统逻辑所不能解决的问题。现代科学技术的发展和高等教育的发展，对人的思维能力的培养也提出了更高的水平，这已超出传统逻辑所能提供的要求。

 

因此，逻辑学与素质教育的关系不能停留在对传统形式逻辑的要求上，应当是两者共同发展的要求。现代形式逻辑的意义、性质和作用可以作为适应现代科学发展需要的素质要求，成为素质教育中的核心课程。这样才能更好地发挥逻辑学作为一门基础学科的意义和作用，体现逻辑学对素质培养的地位。

 

三、逻辑学与素质教育的展望

 

教育是民族振兴和社会进步的基石，十八大报告把教育放在改善民生和加强社会建设之前，全面提高全民受教育程度和创新人才培养水平，就能为基本实现教育现代化，进入人力资源强国行列作出贡献。建设创新型国家的战略任务，永远自立于世界先进民族之林的愿望，迫切要求我们加强素质教育，而逻辑思维能力的训练则构成素质教育的重要组成部分。逻辑学早已被联合国教科文组织列为基础学科之一，作为重要的基础学科，我们大家应高度重视逻辑思维能力训练，推动和加快素质教育的全面落实。