逻辑学是一门工具性学科,也是支撑人类思维大厦的基础性学科。1974年,联合国教科文组织将逻辑学与数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学并列为七大基础学科。在其公布的“科学技术领域的国际标准命名法建议”中,更将逻辑学列于众学科之首。而且,按照它对学科的分类,逻辑学是列在“知识总论”下的一级学科。美、英、德、日等国家的学科划分也都遵照了这一标准,比如《大英百科全书》就将逻辑学列于众学科之首。
可以说,逻辑学是一门古老而又年轻的学科。说它古老,是因为在公元前5世纪前后,古代中国(名实之辩)、古印度(因明学)和古希腊(逻辑学)就产生了各具特色的逻辑学说,至今已有两千多年的历史;说它年轻,随着现代科学和人类实践的发展,逻辑学仍然活力四射,在自然科学技术、人文社会科学和思维科学发展的进程中日益显示出重要的理论意义和应用价值,而且还在不断地革新发展中。
传统逻辑学是由亚里士多德建立,经过历代哲学家和逻辑学家发展的逻辑学。现代逻辑学是相对于传统逻辑而言的,它广泛采用数学方法,研究的广度和深度都大大超过了传统逻辑学。尼古拉斯·雷歇尔把现代逻辑学分为五类学科群体:
(1)基础逻辑:由传统逻辑、正规的现代逻辑、非正规的现代逻辑三个学科门类构成;
(2)元逻辑:由逻辑语形学、逻辑语义学、逻辑语用学、逻辑语言学四个学科门类构成;
(3)数理逻辑:由算术理论、代数理论、函数论、证明论、概率逻辑、集合论、数学基础等七个学科门类构成;
(4)科学逻辑:由物理学的应用、生物学的应用、社会科学的应用三个学科门类构成;
(5)哲学逻辑:由伦理学、形而上学、认识论方面的应用和归纳逻辑四个学科门类构成。从雷歇尔对现代逻辑的分类,可以看出逻辑学若干新的进展。可以说,现代逻辑学的产生和发展标志着逻辑学进入了新的发展阶段。
从上述逻辑学的学科分类和发展可以看出逻辑学在各学科尤其是在当代社会中占据着重要位置。而且随着它的发展,它对现代科学发展的促进作用也越来越突出。下面,我们从逻辑学对哲学、数学的发展及现代科技进步的巨大影响来说明逻辑学的地位之重要。
关于哲学与逻辑学的关系之争古已有之,事实上,逻辑学最初产生时是被划归为哲学的,它和文法、修辞一同被称为“古典三学科”。不过,从19世纪中叶起,形式逻辑(也被称为符号逻辑)已开始作为数学基础而被研究。到20世纪初,逻辑学的研究开始严重数学化,逻辑学也开始逐渐与数学结合成为一种新的发展形式,即数理逻辑。此后,逻辑学才最终脱离哲学,成为一门独立的学科。西方的许多学者一般都是一身兼逻辑学家和哲学家两职,比如康德、黑格尔、罗素等,这既有利于他们从哲学的角度研究逻辑学,也有利于他们从逻辑学角度推动哲学的发展。
罗素认为数理逻辑“给哲学带来的进步,正像伽利略给物理学带来的进步一样”。因此,他和维特根斯坦以数理逻辑为工具创立了分析哲学。在他看来,在分析哲学的发展中,“新逻辑提供了一种方法”。他甚至认为“逻辑是哲学的本质”。1910年,罗素与怀特海发表了三大卷的《数理原理》,发展了关系逻辑和摹状词理论,提出了解决悖论的类型论,从而使数理逻辑发展和成熟起来。哲学理论的判定标准决定于逻辑标准,论证是否具有强有力的逻辑力量是判定哲学理论是否有说服力的唯一标准。因为只有强有力的逻辑论证力量才能震撼并启迪人的思想或心灵。也就是说,逻辑学使得哲学更加严格、精确,它不断地推动着哲学向着更加严密、精深的方向发展。
简单地说,一切在现代产生并发展起来的逻辑都可以叫现代逻辑。不过,从其内容角度讲,现代逻辑则主要指数理逻辑以及在数理逻辑基础上发展起来的逻辑。现代逻辑发展的动力主要有两个:一是来源于数学中的公理化运动。这是指20世纪初的数学家们通过对日常思维的命题形式和推理规则进行精确化、严格化的研究,并尝试根据明确的演绎规则推导出其他数学定理,以从根本上证明数学体系的可靠性而进行的研究活动。二是来源于对数学基础与逻辑悖论的研究。从推动现代逻辑发展的两大动力上可以看出,逻辑学与数学之间的关系是何等密切。可以说,数理逻辑的创立,基本上奠定了现代逻辑学的基础,同时也为逻辑学的其他分支学科的研究、产生、发展奠定了理论基础。
人们通常把现代逻辑等同于数理逻辑,这在某种程度上也说明了逻辑学与数学的密不可分。其实,数理逻辑是研究数学推理的逻辑,属于数学基础的范畴。不过,“用数学方法研究逻辑问题,或者用逻辑方法研究数学问题”的研究方法已经极大地促进了现代逻辑学的发展。正是数理逻辑的发展,使亚里士多德创立的逻辑学达到了第三个发展高峰。比如20世纪就曾形成了逻辑主义、形式主义和直觉主义这三大数学基础研究的派别。因此,20世纪也被认为是逻辑学发展的黄金时代。不但如此,也有逻辑学家预测,在21世纪逻辑学的发展中,逻辑学的数学化仍将是现代逻辑学发展的主要方向之一。
计算机科学的发展及其带来的现代文明也离不开现代逻辑的发展,因为正是现代逻辑应用到计算机科学和人工智能上才产生了人工智能逻辑。20世纪中期,数理逻辑学家冯·诺依曼和图灵造出了第一台程序内存的计算机。其中,冯·诺依曼运用的逻辑基础就是经典的二值逻辑。事实上,计算机软件、硬件技术所凭借的表意符号的性质及其解释都是基于符号逻辑的,而关于表意符号的二值运算又是基于经典二值逻辑(或数理逻辑)的。因此,可以说,符号语言和数理逻辑直接导致了计算机的诞生并极大地推动了计算机的发展。
此外,逻辑学还对包括语言学、物理学等在内的自然科学、工程技术、人文社会科学等领域有着不容忽视的影响。同时,逻辑的应用研究还延伸到其他学科领域,出现了价值逻辑、量子逻辑、概率逻辑、法律逻辑、控制论逻辑、科学逻辑等。逻辑学发展到现在,已经走出了哲学研究的范畴,而且也不仅仅局限于数学领域,它已经开始广泛应用于许多学科的领域之中,在促进其他学科发展的同时也实现了自身的发展。相信,在未来的世界,作为一门基础性和工具性学科,逻辑学会发挥越来越重要的作用。