关键词:哲学逻辑;逻辑哲学;词义;辨析
从20世纪50年代开始,哲学逻辑和逻辑哲学的研究在国际哲学界、逻辑学界蓬勃兴起,国内逻辑学界也于上世纪80年代开始,介绍、引进国外哲学逻辑和逻辑哲学的研究成果,目前对哲学逻辑与逻辑哲学的研究,从总体上讲,国内仍处于消化、吸收并尝试进行创造性研究阶段。哲学逻辑和逻辑哲学这是两门密切相关的学科,二者都是现代哲学与现代逻辑相互渗透的产物,但它们是两门不同的学科,有着不同的研究对象与范围。然而,由于“哲学逻辑”至今是一个充满歧义的词,不同的学者对它有不同的理解,并在很不相同的意义上使用它,冠以“哲学逻辑”之名的书籍五花八门,因而,和逻辑哲学在词义上发生了混乱。为了进一步推动哲学逻辑与逻辑哲学的研究,促进这两门新兴学科的确立与完善,因此,有必要对哲学逻辑的精确涵义及与逻辑哲学的关系作一番梳理与辨析。
一哲学逻辑词义的历史演变
最早[论\文\网LunWenNet\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时,就得到最简单的多值逻辑:三值逻辑。在卢卡西维茨所构造的三值逻辑中,被经典逻辑奉为金科玉律的不矛盾律和排中律不再是普遍有效的规律。三值逻辑还可扩展成有穷多值甚至无穷多值逻辑。将多值逻辑应用于物理学领域,导致了量子逻辑的创立,后者被用来刻画微观粒子的波粒二象性和测不准特性。⑨
相干[]和衍推的逻辑、直觉主义逻辑都是由否弃实质蕴涵而建立的逻辑理论。在相干逻辑中,用相干蕴涵代替实质蕴涵。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页。
关键词：逻辑学；计算机科学；谓词逻辑；人工智能
中图分类号：B812
随着社会的不断进步，计算机科学也在不断发展和完善。而在计算机科学不断取得进步的背后，逻辑学则是促使计算机科学不断前进的关键因素。逻辑学是人类认识和改造世界的有效武器，用于对形成的学说进行推理和判断。目前，逻辑学已被应用于社会科学和自然科学等学科中，而对于逻辑学的研究则是学术界的热门研究对象，它是人类永恒的主题。对于一些比较复杂的内容就要用更复杂的推理方法进行逻辑推理。逻辑学目前的学生分支有以下几个：传统逻辑；经典逻辑；扩展的逻辑；变异的逻辑以及归纳逻辑等等。
随着计算机技术的不断发展，逻辑学与其关系也更加紧密，在实际运用过程中，通过将人类的推理简单化，使得计算机技术能够代替人的推理成为可能，而目前，一些可能已经实现。数学逻辑在计算机方面的应用，尤其是硬件设计方面的应用使得逻辑学成为计算机科学的一个关键的理论，而且与命题与谓词演算关系密切。在计算机方面，对程序进行设计时，要将所有的推理和计算过程都编入程序里，计算机进行运行。如果程序出现一点点问题，都会对结果产生很大的影响。因此，对于逻辑学在计算机方面的研究就变得非常重要，逻辑学中的一些逻辑问题以及各种逻辑之间的联系对于逻辑学在计算机科学的研究来说，也显得至关重要。本文主要通过命题逻辑、谓词逻辑以及人工智能为例来说明逻辑学在计算机科学中的应用。
1命题逻辑和谓词逻辑在关系数据库中的应用
首先介绍一下数据库，数据库是计算机数据处理的核心部分，同时也是当代计算机技术的重要组成部分。而数据库管理系统是关系数据库中用于向用户提供使用数据库的语言，也被成为数据子语言。谓词逻辑也是一种语言研究，它是计算机中的数学基础，而对于数据子语言的改进和优化也成为谓词逻辑的化简问题。
命题逻辑是逻辑系统中最基本的一种逻辑，它可以将命题逻辑的推理归纳成简单的代数演算-命题演算，而命题演算又是命题逻辑能够在电路设计等得到应用的重要原因，命题演算由于推理局限和表达问题不能很好的应用于知识表示和知识推理。命题演算里的原子命题，顾名思义，它是不能再被分解的，可用于研究命题间的关系，但其应用又是很不充分的。
符号逻辑系统中比较关键的是一阶谓词逻辑。由于一阶谓词逻辑的研究比较完善和成熟，同时可以用来表示种类众多的语句，还可以用旧知识直接求得新知识，因此，符号逻辑系统中的一阶谓词逻辑是一种很有效的推理方法。一阶谓词逻辑既能对众多非古典逻辑奠定基础，又能找出新语句的导出来源。一阶谓词逻辑可以为“归结反演原理”提供求解方法。因此，谓词逻辑在逻辑程序设计和人工智能系统中得到很好的推广和应用。
2逻辑学在人工智能中的应用
人工智能作为计算机科学的一个重要分支，是解决计算机如何能表现出人类智能的问题。而人工智能的知识表示方法、归纳推理方法等对于计算机如何表现出人工智能来说至关重要。在对人工智能进行研究的同时，要重视知识表示、知识推理和知识运用等基本问题。谓词逻辑语言的演绎过程的形式化能帮助研究者更好的理解人工智能知识表示及推理中的某些子命题。其中，逻辑学中的经典逻辑在人工智能研究知识表示、知识推理，应用逻辑规则等方面也起到关键的作用，能为数学语句准确定义，经典逻辑是人工智能研究领域的数学基础。PROLOG，是基于逻辑的程序设计语言，同时也是建立在逻辑学的理论基础之上的，PROLOG是逻辑学家开发的一种描述式语言。PROLOG语言以谓词逻辑为其表现形式，以消解原理为其实现基础。
3逻辑学在计算机科学中的作用及意义
对着科学技术的不断发展，计算机科学的发展也在不断进步和完善。计算机科学之所以能有这么快的发展和提升，逻辑学是主要原因，逻辑学是推动计算机科学前进的主要动力，对于计算机科学来说，逻辑学从硬件设计和软件处理两方面都起到很大作用。同时，逻辑学对于计算机的产生和发展也起到很大的促进作用。首先，从硬件设计来讲，命题逻辑和逻辑代数主要应用在计算机的电路设计中，同时在命题逻辑的基础上又发展了组合逻辑和时序逻辑等新的逻辑学。其次，从软件如理来讲，逻辑学对于计算机语言和程序的应用和发展又有很大的贡献。二值逻辑为现代计算机的发展奠定了理论基础，逻辑学在计算机的整个发展过程中都要用到，也就是说，计算机科学的发展离不开逻辑学，反过来，计算机科学和数字技术的不断发展，对逻辑学提出更大挑战，同时推动逻辑学的不断发展。由于起初的计算机只是对数字进行计算，之后，随着计算机科学的不断发展，计算机对文字进行处理，现在多媒体也在不断发展中，而计算机的这些发展，都是以逻辑学的应用为前提的，因此，计算机科学在智能化革命中瓶颈问题的解决和突破都依赖于逻辑学的不断完善和突破，学者对于逻辑学的研究在计算机科学中的应用有重要的意义，理应受到关注和重视。
4结语
对于数学逻辑来说，其最大优势就是将复杂的人类推理化解成简单而又原始的机械操作，正是因为有了逻辑学，人类才能制造出机器和计算机这些高科技来替代人的推理，而到目前为止，一些设想也已成为现实。在计算机中，要先设定程序，之后才能进行推理等过程，机器才能运算和操作。随着社会的不断进步，人们对于时间的把握，要求快速、正确的编写出程序，且要将程序的错误降到最低，这对于逻辑学也是一个重大挑战，因此，逻辑学在计算机科学中的地位日益重要。而对于科学技术来说，它要求人类有对科学技术的认识和实践过程，而对于科学技术来说，在科技上的每次理论或实践上的突破，同时也都是科学方法和方法论上的一种创新。作为计算机科学的研究者和使用者，人类应该充分重视和应用科学技术方法，用科学的方法去探索逻辑学在计算机科学中的应用。不仅要重视科学方法的理论和应用，更要将两者有效结合，让逻辑学在计算机科学中发挥最大效用，反过来，也能利用计算机科学丰富科学方法论。
参考文献：
[1]王岚，乐毓俊.计算机智能推理与智能教学[M].北京：北京邮电大学出版社，2005.
[2]布勒斯.可计算性与数理逻辑[M].北京：电子工业出版社，2005.
[3]王国俊.数理逻辑引论与归结原理[M].北京：科学出版社，2006.
[4]胡思.面向计算机科学的数理逻辑系统建模与推理[J].机械工业出版社，2005.
[2]在2006年10月，第二届两岸逻辑教学学术会议于南京大学举行，由南京大学哲学系、中国逻辑学会、江苏省逻辑学会主办，南京大学现代逻辑与逻辑应用研究所承办，由南京大学张建军教授负责，参与学者百数十余人，规模盛大。会后并将论文与大陆顶尖至学术刊物《哲学研究》专刊发表，是非常成功的一次会议。2006年10月28-30日,“第二届两岸逻辑教学学术会议”在南京大学隆重举行。本次会议由南京大学哲学系与中国逻辑学会及江苏省逻辑学会联合主办、南京大学现代逻辑与逻辑应用研究所承办、浙江大学语言与认知研究中心与西南大学逻辑与智能研究中心协办。这是继2002年6月在台湾大学召开“首届两岸逻辑教学学术会议”后第二次逻辑学盛会,来自大陆、台湾和香港60余所高等院校和科研单位的130余位老中青逻辑学者出席会议。在大会开幕式上,南京大学副校长张异宾、中国逻辑学会会长张家龙、江苏省逻辑学会会长张桂岳、台湾哲学会创会会长林正弘、南京大学逻辑所所长张建军先后发表讲话,充分肯定了逻辑学者开展学术交流的重要意义和本次会议的历史地位。与会学者围绕如下主题展开了热烈、融洽而富有成效的讨论。
第三届两岸逻辑教学与研究学术会议述要
2006年10月在南京大学召开“第二届两岸逻辑教学学术会议”后第三次逻辑学盛会，来自祖国大陆、台湾地区和香港28所高等院校和科研单位的60余位老中青逻辑学者出席了会议。台湾哲学会创会会长林正弘教授、阳明大学心智哲学研究所所长洪裕宏教授、中国逻辑学会会长张家龙教授、南开大学崔清田教授分别在开幕式上发表了热情洋溢的讲话，希望两岸逻辑学者进一步加强交流与合作，共同振兴中华逻辑事业。中国逻辑思想史的考察和研究在我国学界具有特殊的意义。在本次会议上，中国逻辑思想史研究的元理论与方法论问题得到了特别的关注。南开大学崔清田教授在题为“关于张东荪的‘逻辑与文化’”的主题演讲中，揭示了张东荪“逻辑与文化”思想的核心：“把逻辑当作文化的产物，用文化来解释逻辑”，探讨了张东荪围绕这一核心思想所阐发的四个问题：研究和说明包括中国逻辑思想在内的中国思想特性的方法、制约逻辑发展的基本要素、逻辑的唯一性和特殊性以及中西逻辑的差异。
第四届两岸逻辑教学与研究学术会议述要
2009年7月30日，“第四届两岸逻辑教学与研究学术会议”在香港浸会大学和香港科技大学举行。本次会议由香港浸会大学宗教及哲学系通识科及伦理学文学硕士课程和香港科技大学人文社会科学学院联合承办、中国社会科学院哲学研究所逻辑室和中国逻辑学会协办。来自中国大陆、台湾和香港30余所高等院校和科研单位的60余位老中青逻辑学者出席了会议。
第五届两岸逻辑教学与研究学术会议述要
