逻辑学的问题与未来

《逻辑学的问题与未来》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、逻辑学的问题与未来根据苏格拉底解释词义和澄清概念的方法，我们应该以充要条件表达的定义来回答诸如“逻辑是什么”这样的问题。以下将要表明：对于逻辑学概念的成员而言，不存在共有的特性使得上述定义成为可能;相反，它们之间只具有部分重迭与交错的相似性;简言之，逻辑学概念是一个家族类似。根据肖尔兹®的看法：逻辑学是一个多义词，它表现为存在多种逻辑类型;为此他区分了六种逻辑类型：第一种是起源于亚里士多德的形式逻辑的古典类型。第二种是所谓扩展的形式逻辑它是在亚里士多德形式逻辑系统中加入方法论，语义学和认识论的原则而构成的。第三种是肖

2、尔兹所称的非形式逻辑。在此逻辑学实际上被界定为：最广义的获得科学认识的工具的理论，它的主要代表人物是穆勒。第四种类型可称为归纳概率逻辑现在它己包括了统计推理和决策逻辑等成熟的理论，并在向非经典方向发展。第五种可称之为思辨逻辑其代表是黑格尔和康德;在前者看来，逻辑是关于自在自为的理念的科学®;后者的逻辑主要包括知性与理性的法则。第六种就是起源于弗雷格和罗素的形式逻辑的现代类型;包括经典数理逻辑及其扩展，以及非经典逻辑系统。最后，存在多种逻辑的观点也得到了当今逻辑史家的支持。现将不同类型逻辑学的主要内容分别概括如下：关于

3、概念、判断和推理的理论;某些方法论和语义学原则;某些认识论理论和本体论理论;归纳方法和归纳概率理论;以及当今所谓经典和非经典逻辑。现假定在这些不同的逻辑类型之间存在共有的特征，并以此为充要条件给出逻辑学的定义;那么，分别以上述内容为特征的各种不同的逻辑类型必定满足定义。由于定义的一般性，任何满足上述假想定义的理论必属于逻辑学;反之亦然。不过，从假想定义出发可推出它本身的不恰当性。事实上，黑格尔的辩证逻辑和康德的先验逻辑应该满足这样的定义。但是，它们习惯上被认为既属于逻辑学又属于哲学。故而假想定义过于宽泛或含混。更重要

4、的是：根据对数学概念的分析，没有理由拒绝出现超越定义的新逻辑类型的可能性。故而假想定义过窄。因此，在上述逻辑类型的基础上对逻辑学下本质主义定义是不可能的。不过，这些逻辑类型并非绝然不同，它们之间存在某些相似之处;例如，它们似乎都与规则和程式有关。然而，游戏甚至宗教仪式都具有这样的性质。因此，逻辑学是一个家族类似概念。目前最为流行的两个逻辑学定义即使在较窄的范围内也是不恰当的。定义逻辑学是(有效)论证的理论。严格地说：尽管第一种和第六种逻辑类型包含一个关于有效论证的理论，但它们均不满足定义1。因为，第一种类型中有关于概

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

6、弱点是：由于无法明确地将逻辑学与心理学，尤其是高级认知心理学相区分而过于宽泛。同时，第四种和第六种逻辑类型中除去描述命题态度的形式特征的逻辑系统外，像时态逻辑和量子逻辑这类具有本体论直观背景的逻辑系统，以及基于概率客观主义解释的统计推理理论，它们都讨论客体的性质，无论如何不满足定义2;因此，它过于狭窄，至多描述了某一种逻辑的特点。根据逻辑学的家族类似性，我们可引申出如下结论：由于在己有逻辑类型的基础上无法给出一个相应相称的逻辑学定义，使得“逻辑学”一词指且仅指这些逻辑类型。而通常流行的所谓逻辑学定义，只是给出了某个逻

7、辑类型的典型特征，或描述了某部分学者认同的看法。因此，己有的逻辑类型，甚至主流逻辑类型都无法借助定义或本身的特点否认其它逻辑类型的合法性，即总是可能出现不能归入己知逻辑类型的新逻辑类型。而利用家族类似性引入的新逻辑类型将扩充逻辑学家族的成员和改变“逻辑学”一词的内涵。一个可用本质主义或分析方式定义的概念其外延可以是开放的，但其内涵是固定的不可改变的。因此，这类概念仅具有平凡的未来。二、逻辑学的认知转向在逻辑学的内涵与外延具有开放性的条件下，我们可界定所谓的逻辑学转向：假定存在一个逻辑类型，它或者是新的或己知的。如果它

8、取代另一逻辑类型而成为被关注的主流，则称这一历史事件为逻辑学转向。逻辑学史上第一个主流逻辑类型是亚里士多德的逻辑。Kant®认为：由于亚里士多德己经穷竭了逻辑学的要点，逻辑学既不需要变化，也不需要新的发现②。但不到一百年弗雷格就引发了一场逻辑学的转向。弗雷格认为，清晰地描述数学的表达和推理方式并为数学奠定基础是逻辑学发展的基本目标。作为追求上述