手机版
您的当前位置: 钻爱网 > 书信 > 感谢信 > [逻辑学的问题与未来] 逻辑学的八个问题

[逻辑学的问题与未来] 逻辑学的八个问题

来源:感谢信 时间:2019-11-22 07:59:35 点击:

逻辑学的问题与未来

逻辑学的问题与未来 根据苏格拉底解释词义和澄清概念的方法,我们应该以充要条件表达 的定义来回答诸如“逻辑是什么”这样的问题。以下将要表明:对于逻辑学概念的 成员而言,不存在共有的特性使得上述定义成为可能;相反,它们之间只具有部 分重迭与交错的相似性;简言之,逻辑学概念是一个家族类似。

根据肖尔兹®的看法:逻辑学是一个多义词,它表现为存在多种逻辑 类型;为此他区分了六种逻辑类型:第一种是起源于亚里士多德的形式逻辑的古 典类型。第二种是所谓扩展的形式逻辑它是在亚里士多德形式逻辑系统中加入方 法论,语义学和认识论的原则而构成的。第三种是肖尔兹所称的非形式逻辑。在 此逻辑学实际上被界定为:最广义的获得科学认识的工具的理论,它的主要代表 人物是穆勒。第四种类型可称为归纳概率逻辑现在它己包括了统计推理和决策逻 辑等成熟的理论,并在向非经典方向发展。第五种可称之为思辨逻辑其代表是黑 格尔和康德;在前者看来,逻辑是关于自在自为的理念的科学®;后者的逻辑主要 包括知性与理性的法则。第六种就是起源于弗雷格和罗素的形式逻辑的现代类 型;包括经典数理逻辑及其扩展,以及非经典逻辑系统。最后,存在多种逻辑的 观点也得到了当今逻辑史家的支持。

现将不同类型逻辑学的主要内容分别概括如下:关于概念、判断和推 理的理论;某些方法论和语义学原则;某些认识论理论和本体论理论;归纳方法和 归纳概率理论;以及当今所谓经典和非经典逻辑。现假定在这些不同的逻辑类型 之间存在共有的特征,并以此为充要条件给出逻辑学的定义;那么,分别以上述 内容为特征的各种不同的逻辑类型必定满足定义。由于定义的一般性,任何满足 上述假想定义的理论必属于逻辑学;反之亦然。不过,从假想定义出发可推出它 本身的不恰当性。事实上,黑格尔的辩证逻辑和康德的先验逻辑应该满足这样的 定义。但是,它们习惯上被认为既属于逻辑学又属于哲学。故而假想定义过于宽 泛或含混。更重要的是:根据对数学概念的分析,没有理由拒绝出现超越定义的 新逻辑类型的可能性。故而假想定义过窄。因此,在上述逻辑类型的基础上对逻 辑学下本质主义定义是不可能的。不过,这些逻辑类型并非绝然不同,它们之间 存在某些相似之处;例如,它们似乎都与规则和程式有关。然而,游戏甚至宗教 仪式都具有这样的性质。因此,逻辑学是一个家族类似概念。

目前最为流行的两个逻辑学定义即使在较窄的范围内也是不恰当的。

定义逻辑学是(有效)论证的理论。严格地说:尽管第一种和第六种逻辑类型包含一个关于有效论证的理论,但它们均不满足定义1。因为,第一种类型中有关于 概念和判断理论和第六种类型中有关于形式语言的理论,它们本身不是论证的理 论,尽管它们对于阐述论证的性质和原理必不可少。所以,定义1对于描述己知 逻辑类型而言过于狭窄。或许我们可以通过在定义1中添加一些对论证的理论而 言“必不可少”的东西来修改和挽救它。但是如何划定“必不可少”的范围或许可根 据直观选定某些必不可少的东西,但是由于没有一个明确的标准,无法在冲突的 直觉之间作选择。因此,如何划定“必不可少”依然是一个问题。尽管如此,定义 1给出了历史上主流逻辑类型的一个典型性特征。

定义2逻辑学是关于思维形式及其规律的科学。

它的明显的弱点是:由于无法明确地将逻辑学与心理学,尤其是高级 认知心理学相区分而过于宽泛。同时,第四种和第六种逻辑类型中除去描述命题 态度的形式特征的逻辑系统外,像时态逻辑和量子逻辑这类具有本体论直观背景 的逻辑系统,以及基于概率客观主义解释的统计推理理论,它们都讨论客体的性 质,无论如何不满足定义2;因此,它过于狭窄,至多描述了某一种逻辑的特点。

根据逻辑学的家族类似性,我们可引申出如下结论:由于在己有逻辑 类型的基础上无法给出一个相应相称的逻辑学定义,使得“逻辑学”一词指且仅指 这些逻辑类型。而通常流行的所谓逻辑学定义,只是给出了某个逻辑类型的典型 特征,或描述了某部分学者认同的看法。因此,己有的逻辑类型,甚至主流逻辑 类型都无法借助定义或本身的特点否认其它逻辑类型的合法性,即总是可能出现 不能归入己知逻辑类型的新逻辑类型。而利用家族类似性引入的新逻辑类型将扩 充逻辑学家族的成员和改变“逻辑学”一词的内涵。一个可用本质主义或分析方式 定义的概念其外延可以是开放的,但其内涵是固定的不可改变的。因此,这类概 念仅具有平凡的未来。

二、逻辑学的认知转向 在逻辑学的内涵与外延具有开放性的条件下,我们可界定所谓的逻辑 学转向:假定存在一个逻辑类型,它或者是新的或己知的。如果它取代另一逻辑 类型而成为被关注的主流,则称这一历史事件为逻辑学转向。

逻辑学史上第一个主流逻辑类型是亚里士多德的逻辑。Kant®认为:
由于亚里士多德己经穷竭了逻辑学的要点,逻辑学既不需要变化,也不需要新的 发现②。但不到一百年弗雷格就引发了一场逻辑学的转向。弗雷格认为,清晰地描述数学的表达和推理方式并为数学奠定基础是逻辑学发展的基本目标。作为追 求上述目标的结果,人们给出了一系列以“数理逻辑”一词标记的逻辑系统及其元 理论。在上世纪初,它取代亚里士多德逻辑成为逻辑学研究的主流。这是逻辑学 在历史上发生过的第一次重大的转向,即逻辑学的数学转向。但是,数学只是人 类知识的一部分,数学的表达方式只是人类所拥有的许多表达方式中的一种。正 如当今非经典逻辑所表明的那样,采用经典逻辑对其它领域的知识进行表达和推 理时常是不恰当的。因此,逻辑学本身要求它继续寻找新的发展方向。令人惊奇 的是:从一开始,这种新方向的萌芽就隐藏在经典逻辑代表人物的著作中。

首先,认为,“逻辑学”一词在根本的意义上是指思维规律的科学,思 维的形式规律与代数相同。因此,在Boole看来逻辑学研究如何用数学的符号化 语言描述思维规律。其次,当弗雷格的反心理主义和罗素的逻辑原子主义使逻辑 与心理学分离,转而分别与形而上学和数学相结合时,Hilbert®在数学基础研究 中提出了思维的符号加工理论的初步设想。这给形式主义一个完全不同的发展方 向:思维逻辑的研究。再次,图林机理论表明⑤一个机械地可操作的符号系统可 以完成智能行为,从而使人们有理由认为心灵是某种具有符号加工能力的信息处 理器。最后,Fodor®将图林机与推理模型结合,提出形式符号加工隐喻来解释 人类认知行为。从此,逻辑学开始促进认知科学的产生与发展。

在信息时代上述理论方向又被注入新的活力。20世纪中后期计算机科 学进入了知识处理和智能模拟阶段。构造逻辑系统描述(高级)认知过程;进行知识 表达与处理;和研制新型软件;这己成为逻辑学研究的主流方向。另一方面,数理 逻辑尤其是图林机理论的发展,启发人们用计算机隐喻来理解人类的信息加工过 程。这一切使得人类终于有可能运用心理学实验技术研究思维(高级认知过程)的 形式与规律。

相应于上述两个方面,对高级认知过程逻辑结构的研究主要在两个方 向上进行。(1)认识逻辑:它是指在对认识论概念分析和对认识过程直观理解基 础上构造逻辑系统;例如:信念修正逻辑®,非单调逻辑®和动态逻辑@等。它们 的直观基础来源于对认知过程的内省和哲学思考。(2)心理逻辑:它主要指在对 人类高级思维的心理学研究基础上建立起来的逻辑系统。当前它主要涉及两个领 域:推理领域决策领域®。我们统称这两类逻辑为认知逻辑。它的研究目标是:
给出知识获取,知识表达以及知识的推理,扩展和修正的方法和模型。相对于经 典逻辑,这种基于认知的逻辑具有如下方法论特点:
1它试图在逻辑学研究的各个层面抛弃逻辑全知者假定,将知识相对于世界的不完全性视为知识的重要特征,关注研究知识的不确定性和知识的变化 方式。

2它不但不信奉弗雷格的反心理主义,而是从布尔、图林和希尔伯特 的立场继续向前,与认知心理学家结成同盟,在实验基础上研究人类思维的形式 与规律,心理学家终点就是我们逻辑学家的起点。

3它并不认为形式公理系统理所当然是描述认知过程的合适工具,反 之全力探讨这样一个问题:逻辑学的认知转向是否如同数学转向一样最终导致新 的逻辑类型。

目前居国际领导地位的逻辑学家及其合作者正有意识地运用哲学,认 知心理学和相关学科对人类知识性质的研究结果,建立新的逻辑系统。人们在上 述方向上己取得的成果和未解决的问题己是逻辑学家所关注的热点。面对这一强 有力的发展趋势,国际逻辑学界正在逐步调整研究重点和发展方向。例如:在2005 年StudiaLogica杂志修改了它的编辑方针并指出:在过去的几十年里一幅新的逻 辑图景己经出现,其中逻辑规律被当作理想认知主体的高层描述。因此,未来它 的稿件将不仅覆盖纯逻辑,而且也将覆盖形式方法在哲学和认知科学上的应用。

这一切暗示着逻辑学正在经历它诞生以来的又一次重要的变化:从起源于弗雷格 的以数学基础研究为背景的逻辑学,转向构造认知过程的规范性或描述性模型的 逻辑学。这就是所谓逻辑学的认知转向④。

三、逻辑与跨文明说理 从逻辑学诞生以来,作为人类文明的重要组成部分,它不仅是数学和 经验科学研究的工具,也是人类交往的手段。以下,我们将探讨文明的演化与逻 辑的未来。广义地说,人类文明就是人类创造的一切,它由物质产品和精神产品 组成。后者主要包括:语言,价值(含合理性信念),规则,体制,科学,艺术和 思维(含推理)方式等。类似地可定义某一特定的文明:特定地区的人类所创造的 一切。根据亨廷顿的看法©,经过分化和融合的过程,当今世界主要由西方文明, 中华文明,印度文明,日本文明,伊斯兰文明,东正教文明,拉美文明和非洲文 明组成。最后,在某一文明内部,由不同的人群所创造的不同或具有显著差异的 物质和精神产品构成不同的文化。

就本文的主题而言,我们的问题是:不同的文明之间是否存在不同的 逻辑。Wittgenstein后期著作⑥表明:可能存在与我们不相容的语言游戏或生活形式,它使用的逻辑规则和推理程序与我们所认可的有实质的区别®。这一结论蕴 涵着正面解决上述问题的可能性。其次,人类学家®对边远地区居民思维习惯的 研究揭示:我们所接受的逻辑规律只具有局部而非普遍的权威。某些边远地区居 民具有与我们不同的逻辑。再次,对中国(古代)逻辑学的研究得到如下结论:相对 于西方传统,中华文明背景下的逻辑具有不同的目标,主导推理类型和推理成分 的分析,例如墨家逻辑®。绝非巧合地,人们也发现起源于印度文明的佛教逻辑 与隶属于西方文明的逻辑具有实质的区别®。进一步,海德格尔⑤断言:亚里士 多德传统的逻辑“仅仅是对思维本质的一种展示,这种展示基于从希腊思想中所 获得的一种存在之经验。而中国学者张东荪®®甚至指出:亚里士多德名学乃是 根据西方言语系统的构造而出来,……逻辑是由文化的需要而逼迫出来的。因此, 逻辑是文化依赖的。最后,或许隶属于不同文明的逻辑有若干形式上相同游戏规 则;但是,根据学界广泛一致的看法®:文明具有整体性。因此,如果不涉及全面 的文明,它们的任何构成单位都不能被充分理解。显然,这些规则在不同的文明 中应该具有并不完全相同的性质与功能。根据以上所述,不同的文明可以具有不 同的逻辑。

进一步的问题是:这些依赖于不同文明的逻辑具有合理性吗在回答问 题之前我们必须确定解题方法。本文将使用由亚里士多德、阿基米得、培根、笛 卡尔、弗雷格和罗素创立的经典研究方法,它由以下环节组成:概念分析,事实 收集,建立假设,逻辑推理,等等;以及相应的合理性观念。因此,我们实际上 是站在西方文明的基础上来评判各种文明及其要素。以下,我们将要用这种方法 证明文明平等原则:西方文明及其附属于它的逻辑与其它文明及其对应的逻辑一 样,它们都没有绝对的超越的合理性。

为了方便起见,我们称上述方法和观念所属文明为“本文明”。在本文 明所假定的方法论体系中只存在两类论证方法:归纳论证与演绎论证。但是,在 理想条件下归纳论证的结论只是断定某一命题为真的可能性程度,而不能确定这 一命题的真假®。而我们所需要的是明确的结论。因此,所剩的唯一可用的方法 是演绎论证。演绎论证有两种情况:()单纯从公理出发的论证,(2)从公理和附加 前提出发的论证。在情况()中得到的结论是包括重言式在内的逻辑有效的命题, 由于这样的命题在任何情况下都是真的,故而没有内容。但是,命题“某文明及 其逻辑是合理性/不合理性”是有内容的。所以,它不可能作为情况()的结论。另 一方面,如果在情况(2)中上述命题得到证明,那么除非这些附加前提是真实的 或合理的,否则证明的结果无法接受。这就要求我们采用某种方法去证明这些附 加前提。由此引起不断要求证明附加前提的无穷倒退。由于上述讨论没有规定所涉及文明的任何特性,故而有一般性结论:我们无法证明任何文明(包括本文明) 及其逻辑的合理性或不合理性。

或许本文明中的逻辑学家乐意采用一种更为直接的方法来解决隶属 于其它文明的逻辑的合理性问题。标准的操作程序如下:先将所发现的其它文明 的逻辑规则用本文明的逻辑语言表达;我们所认可的有实质的区别®。这一结论蕴 涵着正面解决上述问题的可能性。其次,人类学家®对边远地区居民思维习惯的 研究揭示:我们所接受的逻辑规律只具有局部而非普遍的权威。某些边远地区居 民具有与我们不同的逻辑。再次,对中国(古代)逻辑学的研究得到如下结论:相对 于西方传统,中华文明背景下的逻辑具有不同的目标,主导推理类型和推理成分 的分析,例如墨家逻辑®。绝非巧合地,人们也发现起源于印度文明的佛教逻辑 与隶属于西方文明的逻辑具有实质的区别®。进一步,海德格尔⑤断言:亚里士 多德传统的逻辑“仅仅是对思维本质的一种展示,这种展示基于从希腊思想中所 获得的一种存在之经验。而中国学者张东荪®®甚至指出:亚里士多德名学乃是 根据西方言语系统的构造而出来,……逻辑是由文化的需要而逼迫出来的。因此, 逻辑是文化依赖的。最后,或许隶属于不同文明的逻辑有若干形式上相同游戏规 则;但是,根据学界广泛一致的看法®:文明具有整体性。因此,如果不涉及全面 的文明,它们的任何构成单位都不能被充分理解。显然,这些规则在不同的文明 中应该具有并不完全相同的性质与功能。根据以上所述,不同的文明可以具有不 同的逻辑。

进一步的问题是:这些依赖于不同文明的逻辑具有合理性吗在回答问 题之前我们必须确定解题方法。本文将使用由亚里士多德、阿基米得、培根、笛 卡尔、弗雷格和罗素创立的经典研究方法,它由以下环节组成:概念分析,事实 收集,建立假设,逻辑推理,等等;以及相应的合理性观念。因此,我们实际上 是站在西方文明的基础上来评判各种文明及其要素。以下,我们将要用这种方法 证明文明平等原则:西方文明及其附属于它的逻辑与其它文明及其对应的逻辑一 样,它们都没有绝对的超越的合理性。

推荐内容

钻爱网 www.zuanai.cn

Copyright © 2002-2018 . 钻爱网 版权所有 湘ICP备12008529号-1

Top