逻辑推理的概念范文

由于辩证逻辑学术界的不懈努力，近年我国的辩证逻辑研究取得了巨大的成就。但遗憾的是，迄今为止在我国尚无公认的辩证逻辑科学体系。所论文联盟以如此，原因有种种，其中一个重要原因就是在我国辩证逻辑学界存在着两个学派，一个是辩证逻辑的逻辑派，该派主张辩证逻辑应是逻辑而不是哲学，其对象是辩证思维形式而不是思维形式的辩证法，它是人们思维、认识的工具而不是认识论(笔者本人属于这一学派)。另一个则是辩证逻辑的哲学派，该派主张辩证逻辑是哲学而不是逻辑(或者说不是狭义的逻辑”)，其对象是思维形式的辩证法(或辩证法的认识论)而不是辩证思维形式。为了促进我国辩证逻辑科学的进一步发展，特别是促使我国公认的辩证逻辑科学体系早日形成，本文特对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)正是在这样的思想指导下，金著”竟然把本来是研究人类辩证思维的形式、规律和方法”的辩证逻辑科学，变成了辩证法(不是主要讲辩证概念、辩证判断而是主要讲概念的辩证法、判断的辩证法，不是主要讲辩证思维方法而是主要讲思维方法的辩证法)、认识论(不是主要讲辩证概念、辩证判断的认识作用，而是主要讲概念的形成、判断的形成)、逻辑史(不讲辩证判断的分类，而是讲亚里士多德、康德、黑格尔判断的转贴于论文联盟

逻辑推理的概念范文篇2

〔关键词〕哲学，信息，逻辑，工具

〔中图分类号〕B81-05〔文献标识码〕A〔文章编号〕1004-4175（2015）01-0050-04

〔收稿日期〕2014-11-16

〔作者简介〕刘鹏（1974-），男，山西洪洞人，山西大学哲学社会学学院博士生，主要研究方向为逻辑学和信息哲学。

信息世界的发现是人类发展到目前阶段最令人振奋和影响深入的事件，无论对于日常生活亦或是学术研究，信息已经作为一个主要的、基本的材料或因素在发挥着基础性的作用。与证明、真值、后承、算法等逻辑学传统研究对象比起来，逻辑把信息概念纳入视野作为研究对象还是新近的事情。本世纪初，大量技术和哲学的研究汇集形成了逻辑与信息哲学这个新兴的领域。随着信息世界的发现，哲学和逻辑的主题、研究内容和方向已经发生了信息转向，围绕信息展开学术研究激发和促进了思想的大发展和对世界的新理解。

一、信息为逻辑提供洞见和新的理解

信息哲学近来得到很大发展，其元概念是信息。信息哲学在探索交流是如何可能的问题时，发现了信息概念的哲学价值。有哲学家把交流比作打网球，信息就是交流的网球。我们发现，交流主体必然涉及不止一方，交流应该是至少两个以上主体间的交流，说明交流带有社会性;交流过程必然涉及不止一个单向的过程，交流应该是至少一个以上双向的对话过程，说明交流带有动态性;这种动态性必然涉及主体信息状态的不断更新过程或主体信念系统的修正过程，必然带有主体心理的因素参与其中，因此交流又应该具有心理性。我们可以说，信息哲学带给现代逻辑的洞见至少有主体间性的洞见、动态修正性的洞见、主体心理性的洞见和逻辑真理的洞见。

（一）主体间性的洞见。我们知道，信息世界发现后，交流成为哲学的基本问题。交流应该是至少两方的主体间的交流，信息在两个以上主体间流动，最终达到通过交流认识世界的目的。信息概念本质上涉及多个主体，生活世界中的信息是具有社会性的，信息成为逻辑的研究对象，必然为逻辑研究提供社会性洞见，从而为逻辑学发展开拓道路。一个很好的例子是现代认知科学，认知科学主要研究主体的认知机制与过程，认知科学有一个很重要的概念是主体间性，认知科学发展也是有其逻辑支撑的，其中一种是认知逻辑，认知逻辑在表达信息的抽象形式，刻画信息流的动态过程中，就把认知科学的主体间性很好地刻画出来了，从而极大促进了认知科学的认识和深化。信息的社会性洞见还为逻辑学的信息转向提供了具体的研究对象。我们认为，包括经典逻辑在内的传统逻辑处理的主要是单主体的逻辑，主要是刻画系统内的推理过程，比较多个主体的信息流动的处理，有很大局限性。多主体信息流的刻画成为逻辑学的挑战性课题，多主体逻辑同时对于人类理解信息世界，关照日常生活提供全新的理解。因此，刻画多主体逻辑的理论意义和实践意义都很重大。逻辑学在把握社会性的过程中必将得到极大的发展。

（二）动态修正性的洞见。信息为逻辑提供的第二个洞见是动态修正性的洞见，主要体现为将逻辑研究视野转变到对主体动态活动的关注上来。范本特姆把信息引入逻辑学，提出了新的逻辑学动态研究纲领：在逻辑学研究中引入主体活动这个范畴，把主体的活动作为同逻辑命题那样加以同等对待。〔1〕（P503-519）这样，逻辑学就呈现出由静态认知研究转向动态认知研究的新阶段。我们看到，逻辑开始转向对信息更新、交流和主体间互动等新内容的探索和研究。逻辑不再满足于以往的抽象推理有效性的研究，不再满足于那种逻辑形式的静态的演绎，不再满足于从真到真的完美过渡，而是关注于实际生活中的人或某个智能体等这样的主体实际是如何在动态的思维的，关注主体在有限信息环境中是如何根据信息流动来得到结论的整个行动过程的，关注于立足主体行为与主体意图、信念等的变化之间的动态关系，关注于主体的行为的认知基础和认知解释。比如当代动态认知逻辑研究人的会话过程的主要思路是结合具体情景分析信息如何生成、研究认知中的推理过程、分析信息的更新状态、分析人的信念的修正，在这个思路中，涉及大量语言学、认知科学和逻辑学知识，最终结果是建立会话过程的信息结构模型，理清信息流动轨迹。也就是说，逻辑学动态性的重要标志是把信息活动作为逻辑学研究的中心任务，逻辑的大量工作都集中在对主体诸如言语行为、交流、观察、学习和信念修正等动态机制的研究上。这样的研究既对语言结构分析意义重大，也对主体的动态化过程认识、计算机信息处理以及人工智能研究都具有重要的意义。

（三）主体心理性的洞见。信息为逻辑提供的第三个洞见是主体心理性的洞见。我们知道，逻辑学尤其是近代经典逻辑学是拒斥心理主义的。弗雷格曾经为了给数学找到坚实的逻辑基础断然声明：要把心理的东西与逻辑的东西分开。的确，分析哲学拒斥了心理主义后的逻辑一扫千年停滞的状态，得到了革命性发展，最终形成了数理逻辑宏伟大厦。然而，在宏伟中，数理逻辑走向了一种抽象的、符号的困境，远离生活世界，远离人，某种程度上成为少数专门家的技术展示。数理逻辑的另外一面是忽视了主体的能动性和信息的欠缺性，隐含着诸如将人类思维引入歧途等这样的隐患。范本特姆认为这是一种“系统禁锢”〔2〕（P225-288），由于远离人的生活实践，符号化抽象化的数理逻辑形式系统作为形式科学的固有的逻辑观念的狭隘性所导致的空洞性，这对于逻辑学发展和对于人的发展来说是无益的。然而怎样化解这种有用的空洞性呢？按照信息的洞见，逻辑应该重返生活世界，关照日常对话，关照日常交流。这里要首先考察信息更新的机制，信息哲学定义信息是主体的信息，信息在交流过程中是完成更新，新的信息状态构成主体的新的信念以达到交流的目的，而形成新信念的过程是主体结合原有信念与新信息进行综合处理的过程，即新信念=旧信念+新信息。从这个过程中，我们看到，逻辑在刻画和表达这样的信念更新过程中，是不能不考虑主体的心理因素的，所考察的这部分心理因素不同于弗雷格所拒斥的心理主义，而是合理的心理因素，通过引入对主体心理因素的合理考虑，逻辑就能够很完善地刻画人的信念修正过程了。这样，通过承认人这样的主体在实际上是如何推理的，并且引入认知心理学的东西使得逻辑得以很好刻画主体推理模型，就会使逻辑学研究别开生面。

（四）对逻辑真理的洞见。社会性洞见通过使逻辑改变单主体格局而转向多主体格局，为逻辑学拓展了研究领域。动态性洞见通过使逻辑改变静态的观点而转向动态的修正的观点，为逻辑学启发了研究视野。而心理性洞见通过使经典逻辑改变对心理主义的拒斥而转向接受合理的心理因素的介入，为逻辑学增加了新的研究方法与研究视角。信息的引入对于逻辑学发展的洞见还应该有很多，有待继续探讨研究。但是仅就这些洞见就已经足以引起逻辑学的信息转向了〔3〕（P117-122）。那么，这里还有一个根本性的问题，那就是怎么看待逻辑学的核心基础――逻辑真理。信息对于逻辑真理的影响又是什么呢？如果能够清晰地用信息的观点重新定义逻辑真理，那么信息对于逻辑的作用与影响将是革命性的，这应该是信息对于逻辑的最大的洞见。有逻辑学者对逻辑真理进行系统总结认为，经典逻辑中用到的逻辑真理类型有：前提（或命题）真、推理真、指派（赋值）真、形式真与系统真〔4〕（P230-241）。这些逻辑真理的类型分别从知识信念角度、从前提到结论的保真角度、从符号经济学角度、从形式公式抽象性和形式系统一致性角度系统总结了经典逻辑逻辑真理的本质。然而，经典逻辑真理概念基本特征是单主体性的、静态性的和抽象形式的，完全与其所服务的经典逻辑概念相一致。而信息视角下，也就是逻辑学开始面向社会性、动态性和心理性时，逻辑真理概念也将不容置疑地发生信息转向，社会性的、动态性的和心理性的因素应该得到深入思考和探究。逻辑真理必须认真面对日常生活，面对生活世界。在信息对于逻辑真理概念的洞见里，逻辑学要依据主体掌握的信息为根据来规定真，即新的逻辑信息真的逻辑真理观，应该得到高度关注。

二、逻辑为信息提供形式分析工具

在分析哲学家看来，日常语言是混乱的并且到处存在误用，哲学的任务归根到底就是清理语言的混乱与误用，清除一切形而上学，给科学奠定一个严谨稳固的基础。信息世界的逻辑就是要通过理解日常语言与生活世界进而把握世界。

（一）信息世界需要逻辑分析。传统哲学认为逻辑是对推理的系统研究，是通过阐明或“开启”隐含在给定前提中的信息得到新结论的一种方法。这意思就是说，比如一个典型命题推理“从A∨B，A得到B”的结论B道出了更多满足这两个前提的情况的信息。但生活世界的逻辑推理应该被看做是信息处理。按照这种理解，一些信息处理就是逻辑推理。逻辑是一种很好的形式化分析工具，第一逻辑可以很好地去表达信息处理的任务，去刻画信息处理的过程。而这些被表达的信息处理和过程在传统上是不被看做是逻辑研究的范围的。逻辑在这里的作用主要有两个，一个是对信息处理任务的描述和解释，另一个是为逻辑模型的输入输出装配提供适合的逻辑语言。

信息的逻辑研究揭示和探讨了信息概念的许多非常基础性的定性的方面，正在慢慢成为哲学反思社会的利器。有学者提出三种不同角度的信息的定义，〔5〕（P63-67）分别是基于范围的信息定义、基于联系的信息定义、基于编码的信息定义，分别从不同角度强调了信息的定性规定。逻辑在对信息的刻画和对信息处理的表达方面提供了彻底的形式化工具，促进了对信息和信息处理概念的把握和理解。

（二）逻辑分析成为把握信息世界的基本工具。基于范围――主体和信息更新的形式表征与处理。逻辑学对基于范围的信息定义的核心直觉理解是一个信息状态或许可以被某一时刻可接受信息相一致的主体状态的配置或状态概率的范围所定义。获取新的信息与缩小这个范围相一致，这样就减少了事态的实际配置的不确定性。在这种理解下，对于认知模态逻辑的可能世界语义学配置的证明足够支撑信息的各种不同语义的研究。基于范围的信息定义的逻辑的一个鲜明的例子就是信息更新，由于不同主体相互间的交流，信息在主体间的社会性配置不断地发生与更新，而这种信息更新与不同的认知行为相伴随行。

基于联系――情景语境和通道理论的形式分析。逻辑学对于基于联系的信息定义的核心直觉理解是针对与信息流的刻画，信息流概念与结构化系统相联系，结构化系统内部各部分有着系统性的联结，逻辑在这个基础背景中刻画信息流的逻辑状态改变。例如，树木年轮的数量能够告诉我们关于树木年龄的信息，并且树木年轮表述着树木经历的从过去走到现在的自然界事件如旱涝雨雪等是如何演进的信息。逻辑学对基于联系的信息的形式化刻画包括结构化信息环境下信息关于情景语境、通道理论等内容。

基于编码――相关逻辑线性逻辑的形式处理。逻辑学对于基于编码的信息定义的核心直觉是信息片段（信息的编码）或者信息计算与推理过程的语法性结构的形式化描述。对信息片段（信息的编码）或者信息计算与推理过程的形式化研究的一个重要的自然的逻辑装置就是证明理论。逻辑学家近来对一些子结构逻辑，尤其是相关逻辑和一些线性逻辑的研究，就是对基于编码信息概念的相关方面的逻辑形式分析。

（三）对信息概念的形式化处理。逻辑学对于基于范围、基于联系和基于编码这三种信息定义的形式化分析处理与概念理解并不是互不相容的，三种信息定义立场之间是可化约并且彼此之间是可以互相转化的。以多部分组成的结构化信息系统为例。首先，系统内各部分间的联系自然地允许基于联系的信息定义信息流的存在;第二，既然某部分接受的局部信息要一致于系统整体状态的某个概率范围，那么各部分自然存在范围上的逻辑分布概率;最后，系统各部分组合的、类语法的、证明理论的信息将会针对整个结构化系统而被以不同方式进行编码化表达。这样，基于联系的信息流就成为了一种组合系统。在这个系统中，适应特殊的相关逻辑的解释，局部信息状态以类语法的方式得以组合。逻辑学还能够清晰地给信息建模过程增加新的结构化编码，给结构化系统各部分或局部安置演绎计算，达到对信息定义三种立场形式化关系处理。

三、信息与逻辑的辩证统一

人类的生活方式、工作方式，甚至生产方式由于信息的介入正在或已经发生深刻变化，而对信息以及关于信息的逻辑的思想上或者哲学上的反思从上世纪40年代开始，也慢慢地在进行着。

（一）信息世界是哲学反思的基础。从现象层面观察，现在的世界与传统的世界是大大的不同了。以计算机器及理论发展和以计算机科学与技术为代表的现代科技的繁荣，尤其是通信和网络技术的应用不断深化，其结果是根本性地改变了人类生活方式、生存方式，直至人类的思考方式，在这样的革命式的变化中，信息作为其中基本的对象和因素，其作用力和影响力被迅速地凸显，成为人类世界经常的基本的话题。信息是一切的根据。因此，许多哲学家、逻辑学家纷纷在他们的文章中向大众启示新的关于信息的哲学。我们面临的世界已经发生了根本性的变化，我们的世界已经变成了一个新的世界――信息世界。

（二）信息转向化解逻辑发展的危机。从哲学上看，信息世界的世界观变化是带有根本性，这种根本性的变化使逻辑学面临了或面临着一种转向――信息转向。现代逻辑的信息转向，即逻辑研究焦点逐步转向对于信息流与人际交流的研究，这远远超出了逻辑学的传统论域：推理与意义。这使得逻辑成为了多学科学术舞台的中心活跃者，并在实践中产生新的影响，而对逻辑与信息哲学关系的认识是这种影响的一个重要方面。从信息或信息哲学的角度重新理解逻辑的概念，类似维特根斯坦的《逻辑哲学论》，是否有基于信息本体论世界观的新的《逻辑哲学论》呢？在没有形成理论之前，这只是一种直觉上的理解和推测，然而不是没有价值。面对信息世界，逻辑发展到现代逻辑纯粹的数学推理、符号化和抽象系统的方式遇到了极大的危机，像亚里士多德经典逻辑那样统一的逻辑没有了，人们看到的是不同逻辑预设下的哲学逻辑和形式系统。尽管在应用上，不同的逻辑和系统给人们带来了利益，但是逻辑所呈现出多元化、碎片式状态不能不说是一种逻辑的危机。如何克服种种危机呢？有没有一个统一的核心概念完成逻辑的统一呢？值得注意的是，近年的国外文献中也出现了一些可贵的证据和痕迹，那就是逻辑学正在与信息发生着越来越多的碰撞，逻辑学论文中，信息这个词汇的出现率正在逐步提高。信息的概念作为逻辑学大家庭中的新的一员，正在与逻辑发生密集碰撞，而在这个过程中，逻辑发现了“新大陆”，而信息得到“新澄清”。逻辑与信息在哲学上发生着关系性的概念革命。这种概念关系视角必然引发如下问题：信息能给逻辑带来什么？逻辑能把握信息的概念吗？信息怎样改造逻辑？信息能给逻辑以真和意义吗？有基于新逻辑的统一的信息哲学理论吗？

（三）逻辑变革促进信息哲学的形成。逻辑是认识世界的最为精确和基本的工具。离开逻辑，我们对于世界的把握就是失据的。逻辑对于那种理解和认识的目标是局部修正就可以了，还是说需要大大改变和发展滞后的状况，以一种新的理论形态来解析世界呢？我们有很多的问题。但是我想，逻辑自身是无法回答这些问题的。我们的方向应该是在哲学的高度重新审视逻辑，就像维特根斯坦那样，为世界发现新的逻辑学。从上面对于信息与逻辑两方面在概念上的互动，使得我们可以以新的角度重新认识信息与逻辑，这要从两方面来讲。一方面，从逻辑学自身发展面临危机的角度来讲，经典数理逻辑那种静态的、单调的、抽象的方式已经不能很好解释和解决生活世界的问题，逻辑学发展变革在谋求新的契机。另一方面，从信息作为新的思维方式角度来讲，信息概念纷繁复杂，可以讲是使用最为频繁、作用最为重要却在概念上理论上研究最少的事物，信息的基本性使得哲学家甚至将其视为继存在、知识、意义等哲学基本概念之后的又一个本体性的概念，以信息概念为核心，形成了信息哲学，而关于信息哲学的讨论和研究则无论从国内还是国外都方兴未艾。这些讨论和研究的目标都指向为人类再次建立新的统一的“第一哲学”。目前看来，虽然这样的目标宏大而遥远，但人们朝此目标努力迈进的步伐早已开始。信息哲学的研究极大开拓了人类思想新境界，从信息新视角重新认识逻辑，为逻辑学最终克服逻辑危机，完成逻辑变革提供了一个可以选择的路径。同时，新的信息逻辑也为信息哲学克服诸多阻碍成为第一哲学提供了一个足以依靠的基本方法与工具。

参考文献：

〔1〕VanBenthem.LogicandtheDynamicsofInformation〔C〕.

MindsandMachines，2003.

〔2〕VanBenthem，MaricarmenMartinez.TheStoriesofLogicandInformation〔C〕.HandbookonthePhilosophyofInformation，2007.

〔3〕VanBenthem.Whereislogicgoing，andshouldit？〔C〕.Topoi，2006.

逻辑推理的概念范文

关键词:哲学逻辑;逻辑哲学;词义;辨析

从20世纪50年代开始，哲学逻辑和逻辑哲学的研究在国际哲学界、逻辑学界蓬勃兴起，国内逻辑学界也于上世纪80年代开始，介绍、引进国外哲学逻辑和逻辑哲学的研究成果，目前对哲学逻辑与逻辑哲学的研究，从总体上讲，国内仍处于消化、吸收并尝试进行创造性研究阶段。哲学逻辑和逻辑哲学这是两门密切相关的学科，二者都是现代哲学与现代逻辑相互渗透的产物，但它们是两门不同的学科，有着不同的研究对象与范围。然而，由于“哲学逻辑”至今是一个充满歧义的词，不同的学者对它有不同的理解，并在很不相同的意义上使用它，冠以“哲学逻辑”之名的书籍五花八门，因而，和逻辑哲学在词义上发生了混乱。为了进一步推动哲学逻辑与逻辑哲学的研究，促进这两门新兴学科的确立与完善，因此，有必要对哲学逻辑的精确涵义及与逻辑哲学的关系作一番梳理与辨析。

一哲学逻辑词义的历史演变

最早[hi138\Com]明确使用“哲学逻辑”一词的是英国著名数学家、哲学家、逻辑学家罗素。他在《我们关于外在世界的知识》一书(1929)中，指出:“数理逻辑，除了它的初创形式之外，就连最现代的形式也不直接具有哲学上的重要意义。在初创以后，它就属于数学而不属于哲学了。我将要扼要论述的，是数理逻辑的初创形式，只有这个部分才真正称得上哲学逻辑。往后的发展，尽管没有直接的哲学意义，但是对哲学研究有很大的间接用处。”①他还认为，哲学逻辑的真正对象乃是为各种命题和推理所共有的逻辑形式，哲学逻辑乃是对逻辑形式的研究。以往的哲学由于被语言表面的语法形式所蒙骗，未能认清其隐藏着的真正的逻辑形式，而犯了许多重大的哲学错误。

可见，罗素对“哲学逻辑”一词的词义只给予了初步界定，而未加阐释。后来的英国著名学者斯特劳森赋予了“哲学逻辑”以明确的含义。1967年，斯特劳森编辑出版了一本题为《哲学逻辑》的文集，该文集收入了弗雷格、格拉斯等学者的相关论文，他为此书撰写了一长篇序言，在序言中，斯特劳森阐述了他对哲学逻辑的观点。他把整个逻辑领域区分为两部分:“逻辑是关于命题的一般理论。它有形式的部分和哲学的部分。”分别叫形式逻辑和哲学逻辑。在他看来，形式逻辑研究命题之间的可演绎关系或蕴涵关系，它要以系统的方式排列有关这种蕴涵关系的各种规律;而哲学逻辑则要研究形式逻辑产生的哲学背景和哲学预设，以及由此引出的一系列哲学问题，例如:究竟什么是命题?说一个命题为真是什么意思?命题联结词的准确性质，特别是出现在条件命题中的蕴涵的准确性质是什么?意义概念应当怎样加以分析?真理概念和分析性概念应当怎样加以分析?指称和述谓((Predica2tion)的区别与联系是什么?哲学逻辑学家要回答这些问题，就必须回答有关语言和各种语言表达式的性质与功能等问题。因此，需要进一步研究这样一些问题:实际的言语活动模式;意义理论;语言交际的特性与条件，等等。②

很明显，在斯特劳森那里，“哲学逻辑”其实质不是逻辑，而是某种形式的哲学，是对与逻辑有关的哲学概念和哲学问题的仔细探究，它的成果和方法有直接或，间接的哲学意义。在斯特劳森观点的影响下，英国哲学家大都在哲学意义上使用了“哲学逻辑”一词。例如，格雷林在《哲学逻辑引论》一书中指出:“哲学逻辑是哲学，尽管它是提供逻辑学知识，对逻辑问题很敏感的哲学，但它是哲学。”他甚至认为，在“哲学逻辑”这一名词中，“逻辑”这一字眼的作用会引人误解，因为，哲学逻辑并不是关于逻辑的，也不是逻辑学。正是基于这些看法，格雷林的《哲学逻辑引论》所研究的主要是:命题;必然性、分析性与先验性、存在、预设与摹状词、实在论与反实在论，③等等。与格雷林同为英国牛津大学讲师的沃尔夫拉姆在1989年出版的《哲学逻辑导论》一书中，沃尔夫拉姆也阐述了他对哲学逻辑的看法。在他看来，哲学逻辑是关于论证、意义与真理的研究，它的主题与形式逻辑相关，但其研究对象不同，它不像形式逻辑那样处理有效论证，它只检验已经建构好的逻辑系统中的基本概念。根据这种观点，沃尔夫拉姆在书中主要研究了指称与真值、必然真、分析与综合、存在与同一、意义问题，等等。④在由联合国教科文组织筹划，法国哲学家保罗·利科主编的《哲学主要趋向》(1979)一书中，所沿用的都是这种意义上的哲学逻辑概念。

然而，数理逻辑诞生以来，数理逻辑成果被广泛运用，大批应用逻辑分支如同雨后春笋般地涌现出来，很多哲学家与逻辑学家关注了这一情况，赋予了哲学逻辑以逻辑的含义。众所周知，在逻辑发展史上，莱布尼茨最早提出了创立数理逻辑的理想，他为此付出了艰苦的努力，却未能获得成功。

1930年哥德尔证明了谓词演算的完全性，数理逻辑才算真正创立。但是，有一部分逻辑学家不满意已有的数理逻辑系统，认为它们存在严重的“缺陷”和“不足”，于是着手“修改”或“扩充”已有的一阶逻辑。他们或者创立了一些修正以至替代它们的新逻辑分支，例如直觉主义逻辑，相干和衍推的逻辑，多值逻辑，自由逻辑等等，或者应用已有的一阶逻辑工具于哲学、语言学等专门领域，创立了带有浓厚应用色彩的多种逻辑分支，例如，模态逻辑、时态逻辑、道义逻辑、认知逻辑等等。

这些新的逻辑系统或分支在20世纪20—30年代开始出现，在50—70年代繁荣兴旺起来，以至最后形成了一个新兴的逻辑学科群体。⑤因此，相当的学者越来越倾向于用“哲学逻辑”一词专指这个新兴的学科群体。例如，美国逻辑学家莱斯彻在1968年出版的《哲学逻辑论集》中阐述了他对哲学逻辑的看法。他指出，现代逻辑的发展有两个方向:一是数学方向，即数理逻辑，它是现代逻辑发展的主流;另一个方向则是哲学逻辑，它是对一些相关的哲学领域，比如本体论、认识论领域、伦理道德与规范概念等的逻辑研究，这些研究的共同特点是它们与数学并无直接联系，而往往具有较为明显的哲学背景与哲学意义，故称为哲学逻辑。⑥在他看来，模态逻辑、时态逻辑、道义逻辑、认知逻辑等等，就是哲学逻辑研究的主要内容。他所构造的哲学逻辑就是由这些研究内容所组成的学科群体。

关于哲学逻辑的词义，也有许多学者是在哲学与逻辑的双重意义上来使用。例如，柯比和古尔德合编的《当代哲学逻辑》以及冯.赖特的论文集《哲学逻辑》都属于这一类型。在他们看来，哲学逻辑既指对逻辑所产生或引起的哲学概念和问题的哲学研究，也指这种研究所建立起来的新的逻辑。前者是非形式的，后者则是用形式化方法构造的形式系统。恩格尔则把前者叫做“非形式的哲学逻辑”，后者叫做“形式的哲学逻辑”。

二哲学逻辑对象的界定

根据上述对哲学逻辑词义的历史考察，关于哲学逻辑的词义，国外学者是在三种不同的意义上使用的:一是哲学逻辑是哲学，是一门与逻辑有关的哲学学科，它研究由逻辑所引起或，提出的哲学问题;一是哲学逻辑是逻辑，它是与哲学有关的逻辑学科，研究具有较为明显的哲学背景与哲学意义的概念的逻辑问题;一是哲学逻辑既是哲学，又是逻辑。

仔细考究这些关于哲学逻辑词义的不同看法，可知其原因是未能把哲学逻辑与逻辑哲学这两个不同的概念区分开来所致。我们知道，20世纪现代逻辑与现代哲学发展的一个重要特征是两者的相互渗透，由此出现了“哲学的逻辑化”与“逻辑的哲学化”两大趋势，并进而形成了“哲学逻辑”与“逻辑哲学”等新兴的交叉学科。⑦哲学的逻辑化趋势主要表现在现代西方分析哲学和语言哲学的兴起，芬兰最著名的哲学家、逻辑学家冯·赖特在其名著《20世纪的逻辑和哲学》中指出:“20世纪哲学最突出的特征是逻辑的复兴，它是哲学发展的发酵剂。这一复兴是从本世纪开始的。最初以剑桥和维也纳为中心，后来扩大到整个分析哲学运动，这一复兴与之交汇，这是逻辑学登上哲学舞台的标志。”20世纪以来，哲学的主要问题和研究对象既不是本体论，也不是认识论，而是语言问题，哲学研究的一般方法就是语言分析，而语言分析的基本工具就是现代逻辑，因此，在国际哲学界形成了哲学的逻辑化趋势，在这种趋势下，对一些哲学概念进行精细的逻辑分析成为一些学者关注的热点，哲学逻辑也就应运而生。逻辑的哲学化趋势是在现代逻辑的基础上，在对逻辑的哲学反思中形成的，主要表现为对逻辑本身的整体性的哲学思考或研究以及对逻辑特别是现代逻辑发展中的一些具体问题的哲学分析。由于现代逻辑本身是一个不断发展的学科群体，也由于现代逻辑发展中的哲学问题并不是一成不变的，还由于不同的研究者可以有不同的研究视野，因此，逻辑的哲学化趋势是多元的。当哲学逻辑与逻辑哲学刚登上学术舞台的时候，我国年轻学者陈波就密切关注其研究动态，在国内介绍并引进国外学者在哲学逻辑与逻辑哲学研究上的成果，并在一系列相关论著中，明确主张严格区分哲学逻辑和逻辑哲学。

在我看来，哲学逻辑是逻辑，是20世纪20-30年代开始兴起，50～70年代蓬勃发展的一个新兴逻辑学科群体，它们以数理逻辑(主要指一阶逻辑)为直接基础，以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象，构造出各种具有直接哲学意义的逻辑系统。逻辑哲学则是哲学，它在逻辑和哲学中都具有自己的起源，因而包括两部分内容:首先，逻辑哲学要研究逻辑学本身所提出的一系列哲学问题，例如逻辑究竟是什么，蕴涵与推理有效性的关系，逻辑真理和逻辑悖论等等;其次，逻辑哲学还要研究如何在哲学研究中引入现代逻辑的工具，利用它去解决传统的哲学争论和哲学难题，例如意义问题、真理问题、存在问题等等。

三哲学逻辑的研究范围

辨析哲学逻辑与逻辑哲学的词义，可知两者有着不同的研究对象，这种不同的研究对象，决定它们有着不同的研究范围。以数理逻辑为直接基础，以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象的哲学逻辑，其研究范围包括两大子群，一是异常逻辑(deviantlogic)，形式上表现为经典逻辑的择代系统(alternativesystems);一是应用逻辑(appliedlogic)，形式上表现为经典逻辑的扩充系统(extendedsystems)。

异常逻辑亦称非经典逻辑(non-classiclogics)，它们是相对于经典逻辑而言的。经典逻辑包括命题演算、谓词演算和关系演算，是建立在下述基本原则或假定之上的:(1)外延原则，即它在处理语词、语句时，只考虑它们的外延，并认为语词的外延是它所指称的对象，语句的外延是它所具有的真值;如果在一复合语句中，用具有同样指称的但有不同涵义的语词或语句去替换另一语句或子语句时，该复合语句的真值保持不变。这就是著名的“外延论题”⑧。与此相联系，一阶逻辑是建立在实质蕴涵之上的真值函项的逻辑。(2)二值原则，即在一阶逻辑中，任一命题或真或假，非真即假，没有任何命题不具有真假值。(3)个体域非空，即量词毫无例外地具有存在涵义，并且单称词项总是指称个体域中的某个个体，不允许出现不指称任何实存个体的空词项。4.采用实无穷抽象法，因而在其中可以研究本质上是非构造的对象。凡是因否弃其中某一个原则或假定而建立起来的逻辑理论，都属于异常逻辑。具体来说，这包括多值逻辑、相干和衍推的逻辑、直觉主义逻辑、偏逻辑、自由逻辑、量子逻辑等等。

多值逻辑就是由否弃真假二值原则而建立的逻辑理论，它可以形式定义如下:一个系统是n值的，仅当n是系统的特征模型值的最小数，当然这里的n必定大于2。随着n取大于2的不同值，多值逻辑就有不同的形态。例如，当n=3时，就得到最简单的多值逻辑:三值逻辑。在卢卡西维茨所构造的三值逻辑中，被经典逻辑奉为金科玉律的不矛盾律和排中律不再是普遍有效的规律。三值逻辑还可扩展成有穷多值甚至无穷多值逻辑。将多值逻辑应用于物理学领域，导致了量子逻辑的创立，后者被用来刻画微观粒子的波粒二象性和测不准特性。⑨

相干[Www.]和衍推的逻辑、直觉主义逻辑都是由否弃实质蕴涵而建立的逻辑理论。在相干逻辑中，用相干蕴涵代替实质蕴涵。A相干蕴涵B，即是说，A与B之间有某种共同的意义内容，使得由A逻辑地推出B，并且这种推出与A，B的真值毫无关系。A与B之间内容上的相干还有其形式表现，即A和B至少有一个共同的命题变元，这就是著名的相干原理。A衍推出B，既要求A与B相干，又要求A与B有逻辑的必然联系，所以衍推逻辑是相干逻辑，又是模态逻辑。在直觉主义蕴涵中，则用直觉蕴涵代替实质蕴涵，A直觉蕴涵B，是指存在某些构造(例如P)，把它与A相连接之后能产生B。这就是说，“如果A则B”要求A与B有一定的关系，亦即要求有一个过程，当把这个过程与证明A的过程配合起来之后，可以证明B真。在相干逻辑和直觉主义逻辑中，许多经典逻辑的定理不再成立。

应用逻辑则是利用经典逻辑的工具，去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑分支。所以冯·赖特说:“哲学逻辑有时定义为运用逻辑分析传统上哲学家所关心的概念的结构。”“我把哲学逻辑描述为构造形式系统以精确阐释我们在某些话语领域内的概念直觉。我认为，本世纪20多年来的发展表明:构造此类系统实际上可以在哲学家传统上感兴趣的任何领域内进行。这些系统可以称为相关领域内的‘逻辑’，例如，时间的逻辑，因果的逻辑，行动的逻辑，规范的逻辑，或者偏好(优先)的逻辑。”

应用逻辑又可以分为三组:本体论的逻辑，认识论的逻辑和伦理规范的逻辑。

本体论的逻辑是以传统哲学本体论的概念、范畴以及相关问题为研究对象的逻辑理论。具体来说，它包括模态逻辑、时态逻辑、存在逻辑、部分和整体的逻辑、莱斯涅夫斯基的本体论、构造主义的逻辑、唯名论唯实论意义上的本体论等等。模态逻辑是关于必然性和可能性的逻辑，或者说，是研究含有“必然性”、“可能性”的命题的逻辑特性及其推理关系的逻辑分支。它分为正规的和非正规的两种类型。一个正规模态命题逻辑系统是经典命题逻辑的重言式集的一个扩集，扩集满足两个条件:

(1)口(pq)(口p口q)在S中有效;

(2)在S中，从有效公式出发，经使用分离规则，代入规则，必然化规则，所得到的仍为有效公式。这里提到的必然化规则是:

若┝a，则┝口a。时态命题是研究时态命题的逻辑特性及其推理关系的逻辑分支，它试图把涉及时间因素的命题之间的推理关系系统化，为涉及时间因素的精确讨论和严格推理提供工具。从形式上看，时态命题逻辑系统T是不同于正规模态命题逻辑的，是经典命题逻辑重言式集的另一种扩集，它满足下述两个条件:

(1)G(pq)(GpGq)和PGPp在T中有效;

(2)在T中，从有效公式出发，经使用分离规则，代入规则和时间性概括规则，所得到的仍为有效公式。

存在逻辑是关于存在及其同类概念的逻辑理论，它研究这些概念的性质，探讨诸如“存在是不是谓词”等问题，这种逻辑归根结底不仅依赖于纯逻辑的思考，而且依赖于本体论的思考。

认识论的逻辑是以传统认识论所研究的概念、范畴为对象的逻辑理论，它们与知识的获得、接受、传递以及对于某一知识的态度例如怀疑、断定、相信等等有关。具体来说，它包括问题逻辑、知道逻辑、相信逻辑、条件句逻辑、内涵逻辑、归纳逻辑(证据、确证、接受的逻辑)等。⑩

伦理规范逻辑:伦理学属于广义哲学的一部分，传统哲学特别是伦理学要研究诸如权力和义务、应该、允许、禁止、需要和要求、决定和选择、动机、效果与行动等概念和范畴。伦理规范的逻辑就是与这一类哲学概念和范畴相关的逻辑理论。

具体来说，它包括道义逻辑、命令句逻辑、行动逻辑、优先逻辑等等。

注:

①罗素:《我们关于外在世界的知识》，东方出版社1992年版，第36页。

②P.F.Strawson:PhilosophicalLogic，OxfordUniversityPress，1967年版，第1页。

③格雷林:《哲学逻辑引论》，中国社会科学出版社1990年版，第17页。

④S，Wolfram:PhilosophicalLogic:AnIntroduction，RoutledgeLondonandNewYork，1989年版，第8页。

⑤陈波:《逻辑哲学》，北京大学出版社2005年版，第10页。

⑥N.Rescher:TopicsinPhilosophicalLogic，D.ReidelPublishingCompany，1981年版，第21页。

⑦胡泽洪:《逻辑的哲学反思》，中央编译出版社2004年版，第34页。

⑧王路:《逻辑与哲学》，人民出版社2007年版，第46页。