逻辑中的基本推理方式范文第1篇

关键词：法律推理　法律逻辑　法理学　非单调逻辑　非形式逻辑

英国逻辑学家Toulmin建议，既然在数学之外论证的有效性并不取决于其语义形式而是取决于它们辩护的争论过程，那么，那些想研究实践推理的逻辑学家们应当从数学那里离开，转而去研究法学[[1]]。Toulmin的建议无疑给法律逻辑学家们的工作以充分肯定，但同时也提出了较高的要求。

如何定义法律逻辑呢？这是一个比较复杂但又无法回避的。翻开国内的法律逻辑教科书，我们会发现：这些教科书基本上都是根据传统逻辑教科书的逻辑定义来定义法律逻辑的。可是，国内传统逻辑教科书中给逻辑的定义本身是值得商榷的，即传统逻辑教科书给出的逻辑定义本身只具有描述性，并没有反映出逻辑的本质所在，并未反映出逻辑学的动态。我们当然不采用这种逻辑定义作为我们研究的起点，至少需要根据国际主流逻辑的观点来定义法律逻辑。

根据主流逻辑的观点，如果把逻辑定义为“研究把好（或正确）推理与差（或不正确）推理相区别开来的”[[2]]，那么我们就可以把法律逻辑定义为“研究把好（或正确）法律推理与差（或不正确）法律推理相区别开来的科学”。根据这个定义，法律推理显然是法律逻辑的核心概念之一。必须意识到，这里所给出的法律逻辑的定义是基于主流逻辑（主要是指形式逻辑）观念的，因此，这个定义不是最优的。如果引入非形式逻辑或论辩理论，我们还可能需要进一步修改该定义。

一、概念问题：法律推理的两个层面

我们可以把法律推理区别为两个层面：第一个层面是作为法律逻辑研究对象的法律推理，即逻辑层面的法律推理；第二个层面是作为法理学的一个重要分支的法律推理，即法理层面的法律推理。学界通常所说的法律推理往往是指第二个层面。不少学者常常把两个层面的法律推理混淆起来使用。表明，第二个层面上的法律推理实际上包含了第一个层面上的法律推理。我们可以把前者叫做狭义的法律推理，后者叫做广义的法律推理。

不管是法理学家还是法律逻辑学家，通常都把法律推理分为两种类型，即形式推理（formal reasoning）和实质推理(material reasoning)，并认为前者只研究推理的形式，而后者则需要引入价值判断并考虑到推理的具体。这种观点几乎成了当今法理学界和法律逻辑学界的共识。毫无疑问，这里的“形式推理”就是指传统逻辑中所讲的演绎推理、归纳推理和类比推理[①]。在法理学家或法律逻辑学家看来，“实质推理”恰恰是法律逻辑或作为法理学分支的法律推理有别于传统逻辑中所讲的推理之处。我们认为，从法理学角度来讲，如果认为实质推理是把法理学中的法律推理与普通逻辑中所讲的推理相区别开来的重要标准，那么至少我们目前似乎找不到更合理的理由来反驳它。但在法律逻辑中也采用这种观点，这似乎有些超越了“逻辑”范围，即把法律逻辑看成法理学的一个分支学科了。这就大大限制了法律逻辑学家作为一个逻辑学家而发挥想象力的空间。

也许Edgar Bodenheimer对法律推理的分类值得我们重新审视。他把法律推理分为“analytical reasoning”与“dialectical reasoning”。邓正来在翻译Bodenheimer的《法理学：法律与法律》一书，分别把这两个概念译为“分析推理”和“辩证推理”[[3]]。这一译法代表了我国学界的一种普遍观点。然而，在Bodenheimer看来，前者意指解决法律问题时所运用的演绎推理、归纳推理和类比推理，而后者乃是要寻求“一种答案，以对在两种相互矛盾的陈述中应当如何接受何者的问题做出回答”。若把“dialectical reasoning”译为“辩证推理”，由于受黑格尔哲学和马克思主义哲学的，人们很容易把“辩证推理”与辩证逻辑中所讲的“辩证推理”等同起来。Bodenheimer显然不是在这个意义上使用“dialectical reasoning”的。他的这一概念实际上来源于Aristotle的《工具论》。Aristotle提出了“dialectical argument”概念。张家龙与洪汉鼎把它译为“论辩的论证”[[4]]。根据Aristotle的观点，论辩论证是“论辩术”(dialectics)的核心概念，它是指从大多数人或权威人士普遍接受的观点出发进而引出矛盾的论证。因此，我们建议把“dialectical reasoning”译为“论辩推理”。这将为逻辑学家研究法律逻辑留下足够的空间。当然，Bodenheimer并没有注意到非形式逻辑的发展，但他的“论辩推理”概念却与非形式逻辑殊途同归，因为根据斯坦福哲学百科全书中“非形式逻辑”词条，论辩术(dialectics)是非形式逻辑所依赖的三种方法之一[②]。

二、逻辑学家的困惑：法律逻辑何处去？

我国对法律逻辑的研究是上个世纪八十年代初开始起步的。由于的原因，早期对法律逻辑的研究主要体现在如何传统逻辑知识来解释司法实例问题上，实际上是停留在“传统逻辑在法律领域中的应用”这一层面上。这种研究方法谈不上任何创新，至多是一个“传统逻辑原理＋法律领域的具体例子”框架。基于这个原因，“法律逻辑”的研究对象、研究方法、现实意义一直是学界感到困惑而富有争议的问题，甚至有许多曾从事法律逻辑研究的专家学者因怀疑究竟有没有“法律逻辑”而不敢使用这一术语了。尽管如此，我们还是应该看到，这种研究方法对于我国法律逻辑研究的起步有着不可磨灭的贡献，大大推动了国内法律逻辑甚至法理学研究的发展。我们可以把这种研究法律推理的方法称为“传统逻辑方法”。

正当法律逻辑学们忙于用传统逻辑框架来构建法律逻辑学体系之时，形式逻辑学家们喊出“逻辑学要化”的口号。为了响应这一号召，少数法律逻辑学家开始大胆尝试和探索“法律逻辑现代化”之路，于是，涌现出一批研究基于von Wright的道义逻辑法律逻辑学家，他们试图建构基于现代逻辑的法律逻辑体系。遗憾的是，这种研究方法收效甚微，成果甚少，至多是丰富了哲学逻辑研究的内容，其实际意义几乎未得到学界尤其是法律逻辑界和法理界的认可。但我们应该看到，这种研究方法毕竟与逻辑学的发展“与时俱进”了，丰富了哲学逻辑的内容，因此，我们可以把这种研究方法称为“现代逻辑研究方法”。至此为止，我国法律逻辑研究实现了第一次转向——法律逻辑现代化转向。

传统逻辑以演绎逻辑或形式逻辑为主体的，现代逻辑实际上就是指现代形式逻辑，演绎逻辑研究的是从语义和语形的角度来研究推理形式问题。逻辑有强弱之分，演绎逻辑是最强的逻辑，它假定了一个所有有效推理的完备集。单调性是演绎逻辑的本质特征。所谓单调性是指：如果公式p是从一个前提集中推出的，那么它也能从前提集的每一个子集推出。通俗地说，任何演绎推理，一旦被判定为是有效的，不管有多少新信息加入到前提集之中，其结论仍然是有效的。即使加了一对矛盾的前提到前提集之中，其有效性也不会被干扰[[5]]。那些从事实践推理的逻辑学家们常常把演绎推理叫做“理论推理”（theoretical reasoning），以对应“实践推理”（practical reasoning）[[6]]。

可是，单调性与日常生活中的推理是相冲突的。正如可废止逻辑（Defeasible Logic）的提出者美国乔治亚大学人工智能研究中心Donald Nute教授所说，“人类推理不是且不应当是单调的”[[7]]。换句话说，在日常生活中，在一定时间内结论是可接受的，后来随着新信息的增加而变成不可接受的，这是很的事情。法律推理作为一种实践的人类推理，它显然不可能也不应当具有单调性，即：法律推理本身是非单调的。

法律推理的基本模式是法律三段论[③]。其前提由两个部分组成，即法律问题和事实问题。在法律推理中，刑事法律推理、民事法律推理、行政法律推理虽然在需要确证事实以及确证程度上有所不同，但都会遇到事实问题。随着举证事实数量的增加，推理的结论就可能被改写、被证伪或被废止。有时，即使事实已经很清楚，在使用法条时仍然会出现例外情况或无法得出推理结论的情况。在我国现行的法律审判制度中，“二审终审制”就是表明了法律推理具有可废止性特征。即便是终审后，仍然有申诉的权利，这又进一步说明了我国已从法律上规定了“法律推理结论的可废止性”。

基于传统逻辑观点的法律逻辑学家们困惑了，因为他们无法回答法学家尤其诉讼法学家提出的质问：“根据法律三段论所得出的结论竟然是不可靠的，那么，法律逻辑究竟有何用呢？”。

三、法理学家的无奈：实质法律推理的提出

有效性是演绎逻辑的核心概念，其基本思想是前提真而结论假是不可能的。这一思想是通过分离规则来实现的。分离规则的形式是p， pqÞq。如果推理是有效的，或者(1)p是真的或者（2）{p， pq }是假的。分离规则具有保真性，换句话说，只要前提为真，那么结论为假是不可能的。

法律推理是保真的吗？也就是说，在法律推理中我们总能从真的前提推出真的结论吗？在国内几乎所有普通逻辑或形式逻辑教科书都会这样写道“要保证一个推理的结论是真实可靠的，必须同时两个条件：一是前提真实，二是形式有效”。法律逻辑教科书也不例外。形式逻辑学家其实只管形式有效问题，研究推理的哲学基础是可能世界，即在假定前提为真情况下推出结论的真值。至于前提何以为真，他们不管。

但事实上，推理是有效的并不能保证其前提事实上是真的。说某个推理是有效的，即是说了关于这个推理一些积极的特征，并没有说明推理的其他性质，以及适用范围。它不一定在各方面都一样好。况且，并不是所有好的推理都是有效的，比如，归纳推理是好的，但它们不是有效的，它们不能保证结论的真实性，只能产生一种可能性。因此，在分析推理时，有效性并不是所要担心的唯一的东西。

至于前提是否真实，前提支持结论的程度的大小，那不是形式逻辑所要关心和研究的问题。这就又引出了两个问题：（1）形式有效的推理一定是好推理吗？（2）形式无效的推理一定是差推理吗？这两个问题的答案都是“不一定”。换句话说，形式有效的推理不一定是好推理，其结论也不一定是真实可靠的；形式无效的推理也不一定是差推理，其结论也不一定是不真实可靠的。这一点充分体现了法律推理的非单调性。

当法学家们质问“法律逻辑究竟有何用”时，法律逻辑学家们已很难给出一个令人满意的回答了。美国法理学家拉格斯大学教授L. Thorne McCarty提出，研究法律逻辑应当从法律开始，而不是从形式逻辑开始[[8]]。为了回应这些质疑，在采纳了“形式法律推理”这一概念基础上，法理学家提出了“实质法律推理”概念，试图解决法律逻辑学家的困惑。所谓实质法律推理，就是指在法律适用过程中，于某些特定的场合，根据对法律或案件事实本身实质内容的分析、评价，以一定的价值理由为依据而进行的适用法律的推理[[9]]。我国的法律逻辑学家们也把这一概念借到了法律逻辑领域，提出了“法律逻辑的法理化”问题。我们把这称之为我国法律逻辑研究的第二次转向——法律逻辑的法理学转向。

与第一次转向相比，这次转向是比较成功的。文献表明，基于法理层面的法律推理研究，成了当今法律逻辑研究的主流。从现象上看，法律推理似乎成了法理学的一个分支学科。法律推理的逻辑成分似乎已经成熟得没有再进一步研究的余地了。

四、法律推理的逻辑基础：非单调推理

在形式逻辑学家中，虽然“逻辑就是指形式逻辑”这一提法已得到了共识，但在其它领域并不没有得到普遍认同。特别是在律师、法官以及其它对法律有兴趣的人群之中，我们会经常听到“实质逻辑”（material logic）或“非形式逻辑”（nonformal logic/informal logic）这样的术语，而且对逻辑的这种描述被认为是非常适合所谓的“法律逻辑”[[10]]。

基于传统逻辑框架来研究法律推理显然会使法律逻辑学家感到困惑；基于现代逻辑来研究法律推理又把法律推理从实践推理抽象到了理论推理的高度，离法律推理的语境——法律生活越来越远；基于法理层面来研究法律推理似乎又不是法律逻辑学家的事情。因此，法律逻辑的研究必须寻找新的逻辑出路来研究法律推理。

如前所述，根据传统逻辑或普通逻辑的惯例，把法律推理分为演绎推理、归纳推理和类比推理，这似乎已经无可厚非。但就主流逻辑而言，这样的分类似乎有可商榷之处。主流逻辑实际只把推理分为演绎推理和归纳推理两种类型，并认为除了这两种类型之外没有第三种类型。在这里，类比推理只是当作归纳推理的一种特例来处理的。

以加拿大为中心的北美非形式逻辑(informal logic)的崛起对这种经典的论证划分法提出了严厉的挑战。在非形式逻辑学家看来，推理除了演绎推理和归纳推理以外，还存在第三种类型。这第三种类型是什么呢？Peirce把它叫做“溯因推理”或“回溯推理(abductive reasoning)[[11]]，Walton称为“假定推理”（presumptive reasoning）[[12]]， Rescher称为“似真推理”（plausible reasoning）[[13]]，等等。为了方便起见，我们采用Douglas N. Walton的观点，用“似真推理”特指第三种类型的推理。

在演绎有效的推理中，前提真结论假是不可能的；在归纳上强的推理中，前提真结论假在某种程度上来说也是不大可能的；而在似真推理中，前提真结论假则是可能的。我们可以把这三种类型的推理用公式表示如下：

演绎推理：对所有x而言，如果x是F，那么x是G；a是F；因此，a是G。

归纳推理：对大多数或特定比例的x而言，如果x是F，那么x是G；因此，a是G。

似真推理：一般情况下，如果x是F，那么x是G；a是F；因此，a是G。

从本质上讲，法律推理既不是演绎推理，也不是归纳推理，而正好是第三种类型推理――似真推理。似真推理的大前提是考虑到了例外情况。遗憾的是，主流逻辑学家们倾向于不把这第三种类型的推理当作逻辑的一部分，因为他们认为逻辑应当是研究精确性的科学，而似真推理是不精确的[④]。

人工智能的发展又使得主流逻辑学家们不得不接受这样一种推理——非单调推理。非单调推理是相对于单调推理（演绎推理）而言的，它显然既不同于演绎推理也同于归纳推理的一种另类推理。非单调推理是似真推理的一种形式。似真性是非单调性在现实生活中的一种表现形式。

基于这种思想，我们就很容易解释无罪推定的逻辑问题。国内有学者提出这样一种思想，无罪推定的逻辑基础是诉诸无知[[14]]。可是，传统逻辑学家和非形式逻辑学对诉诸无知的态度是不同的。在形传统逻辑学家把诉诸无知纯粹看成是错误的应当拒斥的东西，而非形式逻辑学家则认为有时候诉诸无知是一种很好的论证型式。无罪推定当然不可能纯粹错误的东西，它肯定有其逻辑合理性。但是，如果把非单调推理看成是无罪推理的逻辑基础，问题就迎刃而解了。非单调推理预设了“当我们不能证明p为真时，我们便假定它为假”这样的思想。这正是无罪推定的基本思想：当我们不能证明某人有罪时，我们便假定他无罪。换句话说，假定他无罪，并没等于说他无罪，一旦有新证据证明他有罪，法庭可以重新判决他有罪，这完全是合乎逻辑的。

五、结束语

非单调推理是人工智能逻辑的核心概念。人工智能逻辑在研究非单调推理时，毫无疑问要进行形式化处理，即必须设法把本来是似真的或非单调的推理通过某种方式转化为单调的，进而构造非单调形式系统。在法律推理中，我们当然不必这样去做。其解决途径就是引入非形式逻辑思想来解决法律推理的非单调性或似真性问题。这种研究方法，我们可以把它叫做法律逻辑的非形式转向。这样，一方面，法律推理作为一种实践推理，其逻辑基础得到了比较满意的回答，另一方面又解决了法律逻辑学家的困惑，回答了法学家们提出的质疑。 --------------------------------------------------------------------------------

[①] 严格意义说来，形式逻辑是指演绎逻辑，它是传统逻辑或普通逻辑的核心之一。在传统逻辑或普通逻辑中，除了传统演绎逻辑以外，还有归纳逻辑、简单的逻辑等内容，因此，我们必须把形式逻辑与传统逻辑、普通逻辑相区别开来。

[②] 根据《斯坦福百科全书》（2002年版）的“非形式逻辑”词条，谬误论、修辞学和论辩术是非形式逻辑的三大来源，参见plato.stanford.edu/entries/logic-informal/网站。

[③] 三段论究竟的逻辑基础是演绎逻辑中的直言三段论呢，还是假言三段论？这是一个值得探讨的。持前一种观点的学者把中项看成是对法律事实的描述，而持后一种观点的学者则认为小前提是对法律事实的描述。我们在此选择持后一种观点。

[④] 这种观点显然值得商榷，逻辑并不绝对是精确性的不允许犯错误的，例如：非单调逻辑明显就是允许犯错误的。

--------------------------------------------------------------------------------

[]

[1] Herry Prakken， From Logic to Dialectics in Legal Argument， In Proceedings of the Fifth International Conference on Articial Intelligence and Law， Washington DC， USA， 1995 ，pp. 165-174，.ACM Press; Stephen Toulmin， Uses of Argument， Cambridge University Press， 1958， pp.7-8.

[2] Irving M. Copi & Carl Cohen， Introduction to Logic， 9th eds.， Macmillan Publishing Company， 1968-1990， p. 2.

[3] [美]博登海默著邓正来译《法：法律哲学与法律方法》，政法大学出版社，1999年版，第490-502页

[4] [英]威廉涅尔和玛莎涅尔著张家龙译《逻辑学的》，商务印书馆，1985年版，第10页。

[5] Kenneth G. Freguson， Monotonicity in Practical Reasoning， Argumentation， Vol. 17， 2003， pp. 335-346.

[6] Douglas N. Walton， Practical Reasoning: Goal-Driven， Knowledge-Based， Action-Guiding Argumentation， Rowman & Littlefield Publisher， Inc.， 1990， pp.348.

[7]Donald Nute， Defeasible logic， O. Bartenstcin et al. (Eds.): INAP 2001 2543， pp. 151-169，2003. Springer-Verlag Heidelberg

[8] McCarty， L. T. (1997)， Some Argument about Legal Arguments. Proceedings of the Sixth International Conference on Artificial Intelligence and Law， ACM， New York， 1997， pp.215-224.

[9] 雍琦、金承光、姚荣茂合著《法律适用中的逻辑》，中国政法大学出版社，2002年版，第66页。

[10] Arend Soeteman， Logic in Law: Remarks on Logic and Rationality in Normative Reasoning， Especially in Law， Kluwer Academic Publishers， 1989， p. 10.

[11] Charles S. Peirce， Pragmatism and Pragmaticism， Vol. 5， ed. Charles Harshorne and Paul Weiss， Cambridge， Mass， Havard University Press，1965， pp.99.

[12] Douglas N. Walton， Argumentation Schemes for Presumptive Reasoning， Mahwah， N. J， Erlbaum，1996.

逻辑中的基本推理方式范文第2篇

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

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

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

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

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

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

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

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

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

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

关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。

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

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

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

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

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

逻辑中的基本推理方式范文第3篇

论文关键词：逻辑真理；真理符合论论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：A、B是逻辑真命题，那么A并且B、如果A那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。逻辑真理和事实真理的关系是：事物之间的关系显示一定的逻辑关系，也是逻辑真的基础。逻辑真理在某些方面与事实真理是一致的，但是在另一方面，逻辑真理又与事实真理不是一致的，逻辑真理和事实真理之间是一种交叉关系。逻辑真理既具有绝对性又具有相对性，有些逻辑关系是绝对的真，但是另一些逻辑真理是相对的真。逻辑真理之所以为逻辑真理，不是由于它们揭示了事物的本质事物或事物的普遍性，而只是涉及到逻辑自身，只根据逻辑自身而成立。逻辑真理的必然性需要在逻辑自身中去寻找，而不能在现实中寻找。综上所述可见，逻辑真理来源于经验，但又不同于事实真理。由于逻辑思维的作用，它越远离事实，其真理性越强；当它与具体事实相符合时，即成为事实真理的必要条件。当逻辑真理和事实真理一致时，逻辑思维就正确地反映了事物的规律，因此逻辑真理在认识中有着重要的作用。当我们认识世界时，会在原有的知识基础上作出许多推测和猜想，也会试图把这些思想与已经获得的关于被研究对象的材料联系起来。为了搞好各项工作，我们要正确的调整各种思想关系，从中抛弃不适当的思想，选取可以促进我们前进的思想，这就需要我们在思维过程中严格遵守逻辑规律和规则。只有认识逻辑真理才能更好地认识事实真理，随着人类的经验积累，逻辑真理和事实真理的交叉容量必然会不断增大，为了探求真理我们必须保证思维的逻辑性。

逻辑中的基本推理方式范文第4篇

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

【正文】

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

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

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

在西方，公元前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.

逻辑中的基本推理方式范文第5篇

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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