第 2 页(1 / 4)

加入书签 本章报错

科学发现的逻辑强烈推荐:

人们可能想到เ:这个ฐ观点导致无穷的后退,因此它是站不住脚的。在第1้节里,当我批判归纳时,我提出了反对意见:归纳会导致无穷的后退;现在读者也许会认为ฦ,可以提出同样的反对意见,反对我自己้提倡的演绎检验程度。然而,这并非如此。检验的演绎法不能ม确立或证明受检验的陈述;也没有打算要它这样做,因此并不存在无穷后退的危险。但是,必须承认:我引起注意的境况——无限的可检验性和没有无需检验的最终陈述——的确产生了一个ฐ问题。因为,显然事实上检验不能无຀限地进行,迟早我们必须停止。我在这里不详细讨论这个ฐ问题,只想指出:检验不能永远进行下去这个事实和我对每个科学陈述必须是可检验的要求并不矛盾。因为ฦ我并不要求每一个ฐ科学陈述,在被接受以前必须在事实上已被检验。我只要求每一个这样的陈述必须ี可能被检验;或者换句话说,我拒绝接受这样的观点:在科学中ณ存在着我们必须顺ิ从地当作真的陈述来接受的陈述,只是因为由于逻辑上的理由似乎不可能ม检验它们。

第二章论科学方แ法理论问题

根据我在上面提出的建议,认识论或科学现的逻辑,应该就是科学方法的理论。方法的理论,就其出对科学陈述之间关系的纯逻辑分析之ใ外而言,与方法的选择有关——与关于处理科学陈述的方式的决定有关。而这些决定当然又将根据我们从许多可能的目的中选择那个目的而定。这里建议的决定是为了规定我称作“经验方法”的适当的规则,这种决定是和我的划界标准密切联系的。我建议采取这些规则,它们可以保证科学陈述的可检验性,也๣就是可证伪性。

9.为什么方แ法论决定是不可缺少的

什么是科学方法的规则ท?为ฦ什么我们需要它们?可能存在这些规则的理论--方法论吗?

人们回答这些问题的方式,主ว要依赖于他们对科学的态度。像实证主义แ者那样的人,他们把经验科学看作满足诸如有意义性或可证实性等一定逻辑标准的陈述系统,会做出一种回答。有些人包括我在内,看到เ经验陈述易于修正的突出的特性——人们可以批判ศ它们,也可以用更好的陈述来代替它们;这些人认为它们的工ื作就是去分析科学取得进展的能力,以及在决定性的场合,在互相矛盾的理论系统之间作出选择的独特方法。这些人对上述问题๤就会做出很不同的回答。

我很愿意承认有必要对理论进行纯逻辑的分析,这种分析不考虑理论的变化和展。不过,这种分析并没有阐明经验科学的那些我所高度评价的方แ面。一个ฐ系统,例如经典力学,也๣许是非常“科学的”;但是教条主义地坚持它的那些人——也许他们相信,他们的任务就是在它没有被最终否证以前,保卫这样一个ฐ取得成功的系统免遭批判ศ——他们就是采用一种和批判态度相反的态度,而我认为这种批判ศ态度是科学家应该采取的。事实上,不可能产生对理论的最终否证;因为人们总是可能说:实验结果是不可靠的,或者说,人们断言在实验结果和理论之ใ间存在的不一致仅仅是外观的,它们将随着我们的理解的深入而消失在反对einstein理论的斗争中ณ,这两种论证都曾被用来支持ne9๗ton力学,在社ุ会科学领ๆ域里,类似的论证很多。如果你在经验科学领ๆ域里坚持严格的证实或者严格的否证”,你就决不会从经验中得到益处,决不会从经验中知道你是怎么错的。

所以,假如我们仅仅以科学陈述的形式的或逻辑的结构作为经验科学的特征的话,我们就将不能从经验科学中排除那种流行的形而上学,这种形而上学是把一个ฐ过时的科学理论格高为不可辩驳的真理的结果。

这些就是我所以建议必须以经验科学的方法作为它的特征的理由。这里说的方แ法就是:我们处理科学理论的方式;我们用它做些什么,我们对它做些什么。因此,我将设法建立一些规则ท,或者可以说规范,来指导科学家去进行研究,或者说,在这里所理解的意义下的科学现。

10่.对方法论的自然主义แ观点

我在前一节里谈到的关于我的看法和实证主义者的看法之ใ间的深刻区别ี,需要加以展开论述。

实证主ว义者不喜欢这样的观念:在“实证的”经验科学的领域以外,还应存在着有意义的问题๤——真正的哲学理论所处理的问题。他们不喜欢这样的观念:应该有真正的知识理论,认识论或方แ法论。他们期望在所谓哲学问题中ณ只看到เ“假问题”或“疑难”。他们的这种期望——顺ิ便说一说,他们并不称之为ฦ期望或建议,而是称之为事实的陈述——总是可以被满足的。因为ฦ很容易揭示一个ฐ问题为“无意义的”或“假的”。你所要做的只是给“意义”这个词一个ฐ合适的狭窄含意就行,因此你就很快不得不说你在任何不合适的问题๤中,不能ม现任何意义。而且,只要你认为ฦ除了自然科学的问题๤以外,就没有有意义的问题,任何关于“意义”概念的争论也就成为没有意义的了,关于“意义”的教条一旦ຆ建立起来,就被抬高成为永远不可争论的东西。它再也๣不受攻击。用9๗ittgen-stein的话来说,它已变成“不能ม攻击的和确切无疑ທ的”了。

关于哲学是否存在或者有无权利存在这一易引起争论的问题๤,几乎和哲学本身一样古老。一种完全崭新的哲学运动一再兴起,它们自以为已把古老的哲学问题最终地揭露为ฦ假问题๤,把哲学的邪ิ恶的无意义和有意义的、实证的、经验的科学的良见卓识加以对照。而“传统哲学”的受鄙视的捍卫者,则一再试图对最近进行实证主义攻击的领导人解释:哲学的主要问题๤是对诉诸“经验”权威แ进行批判分析——正是这个“经验”,每一个实证主义แ的最新现者和过去一样,自然而然地认为它是理所当然的。然而,对待这样一些反对意见,实证主义แ者只是耸耸肩,回答说:这些反对意见对他们来说没有意义,因为ฦ它们不属于经验科学,而只有经验科学才是有意义的。“经验”对他们来说,是一个ฐ纲领ๆ,而不是一个问题๤除非它为ฦ经验心理学所研究。

我想实证主义者大概ฐ不会有任何其他不同的反应,来对待我自己分析“经验”的尝试,我把经验解释为经验科学的方法。因为他们认为只存在两种陈述:逻辑的重言式和经验的陈述。因此,假如方法论不是逻辑,他们就会得出结论,它就必定是某种经验科学的分支——正在工ื作的科学家的行为ฦ的科学。

这种观点可以称之为“自然主义แ的”。按照这种观点,方法论本身也是一种经验科学,它研究科学家的实际行为,或“科学”的实际程序。毫无疑问,自然主义的方แ法论有时称作“科学的归纳理论”有它的价值。一个学习科学逻辑的学生,会对它生兴趣并从中ณ学习๤到东西。但是我称作“方แ法论”的东西不应被当作一种经验科学。我相信,不可能ม用经验科学的方法来判ศ定如科学是否真正运用归纳原理这样的有争议的问题。当我想到,什么东西应被称为“科学”,什么人应被称为ฦ“科学家”这种问题๤总是一种约定或决定的事情时,我这种怀疑ທ就增加了。

我想这样一类问题๤应该用不同的方式来对待。例如,我们可以考虑和比较两种不同的方法论规则的系统;一种运用归纳原理,一种不运用。然后,我们可以考察,这样一种原理一旦被引进了,是否能应用而不产生矛盾,是否对我们有帮助;我们是否真正需要它。就是这种探究使我舍弃了归纳原理,不是因为这样一种原理事实上在科学中ณ从不被使用,而是因为我认为ฦ,它不是必需的;它对我们并没有帮助;甚至会产生矛盾。

因此,我摈弃自然主义观点。它是非批判性的。它的赞成者没有注意到เ:凡是他们认为自己已๐经现一个事实的时候,他们只不过提出了一种约定。因此这种约定易于变成一种教条。对自然主义观点的这个批判,不仅适用于它的意义แ标准,而且也适用于它的科学观念并且因而适用于它的经验方แ法观念。

1้1้.作为ฦ约定的方แ法论规则

在这里,方法论规则被当作约定。它们被描述为经验科学的游戏规则ท。它们不同于纯逻辑的规则ท,与奕棋规则ท相当相象,很少人会把奕棋规则当作纯逻辑的一部分;因为ฦ纯逻辑的规则支配着语言学公式的变形。对奕棋规则的研究结果也许可以称作“奕棋的逻辑”,不过不是纯而简单的“逻辑”。同样,对科学游戏——即科学现——的规则的研究结果,可以称作“科学现的逻辑”。

可以举两ä个简单的方แ法论规则ท为例。它们足以表明,把方แ法的研究和纯逻辑研究放在同一层次上是不适当的。

1科学的游戏原则ท上是没有终点的。有一天有人决定,科学陈述不再要求任何进一步的检验,可以认为这些陈述得到最终证实,他就退出这个ฐ游戏。

2๐一旦ຆ一个假说被提出、被检验、被证明它的品质,没有“正当理由”就不允许它退出。“正当理由”可以是,比如:这一假说为另一个ฐ更可检验性的假说所代替;或者对这一假说的某个推断的证伪“更可检验的”这一概念以后要作更充分的分析。

这两个例子表明方แ法论规则ท是什么样子的。很清楚,它们和通常称作“逻辑的”规则ท是很不同的。虽然逻辑也许可以建立判定一个陈述是否可检验的标准,但是它肯定不涉及是否有人尽力去检验这一陈述这个问题。

在第6节里,我曾试图用可证伪性的标准来定义经验科学,但是由á于我不得不承认某些反对意见的正当性,我曾允诺对我的定义作一方法论的补充。正如可以用适合于奕棋的规则来对它下定义แ一样,也可以用经验科学的方法论规则来对它下定义。建立这些规则ท时,我们可以系统地进行。先要规定一个ฐ最高规则ท,作为ฦ判ศ定其他规则的一种规范,因而它是一种更高类型的规则ท。这一规则ท就是:科学程序的其他规则ท必须这样来设计,它们并不保护科学中的任何陈述不被证伪。

因此,方แ法论规则既与其他的方法论规则ท密切联系,又与我们的划界ศ标准密切联系。但是,这种联系不是一种严å格的演绎的或逻辑的联系。更确切地说,这是由于构建这些规则的目的是,在于保证我们的划ฐ界ศ标准的可应用性;因此,它们的形成和为人们接受都是根据一个更高类型的实用规则来进行的。关于这点的一个例子已经在前๩面说到参看规则1้。我们决定不提交任何进一步的检验的理论就不再是可证伪的了。正是在规则之间的这种系统的联系,才使得我们谈论方法的理论是恰当的。大家承认,这种理论的宣布,就如我们举ะ的例子所表明的那ว样,绝大部分是一种相当明显的约定。方法论并不是什么深奥的真理。不过,方法论在许多情况下,可以帮助我们弄清逻辑境况,甚至解决某些迄今已证明不好对付的广泛的问题。比如,其中之一就是判ศ定概率陈述何时应该接受或者拒斥ม的问题参看第68๖节。

人们经常怀疑ທ,知识理论的各种问题相互之间是否有系统的关系,以及它们能否得到เ系统的处理。我在本书里希望表明这些怀疑ທ是不合理的,这一点是相当重要的。我所以提出我的划界ศ标准的惟一理由是,它是很有成效的,它可以帮助我们弄清和解释很多问题๤。menger说:“定义แ是教条,只有认定义แ引出的结论才能给我们某些新า的洞察力”这肯定也๣适用于“科学”概念的定义。正是从我的经验科学的定义的推断和根据这个定义得出的方แ法论决定,科学家才能看出我的定义แ和他对他的努力的目标的直觉观念是如何的一致。

哲学家也๣只有他们能ม接受从我的定义แ引出的推断时,才会接受我的定义。我们必须ี使哲学家感到满意:这些推断使得我们能ม够现在过去知识理论中ณ存在的矛盾和不恰当之处,以及追溯到เ这些矛盾和不恰当从之而来的基本假定和约定。我们也๣要使他们感到满意:我们的建议并不受到同类困难的威แ胁。这个现和解决矛盾的方法也适用于科学本身,但是它在知识理论里有其特殊的重要性。正是依靠这种方แ法假如依靠的话,方法论约定才可得到เ证明,并可证明它们的价值。

我担心,哲学家是否会把这些方法论的研究看作属于哲学,这是十分可疑ທ的,但是实际上这并没有多大关系。不过在这方面值得提及的是,不少形而上学的因而肯定是哲学的学说可以被解释为ฦ方法论规则ท的典型的实体化。其中一个例子,即所谓“因果性原理”将在下一节讨论。另一个我们已๐经遇到的例子是客观性问题。因为科学客观性的要求也๣可以解释成一条方แ法论规则ท:只有那ว些可以主体间相互检验的陈述才可被引进科学中ณ参看第8๖、20、27节和其他地方。的确可以这样说:理论哲学的大部分问题๤,而且是最有趣的问题,都能ม用这种方式被重新解释成为ฦ方法的问题。

第二部分经验理论的若干结构要素า

第三章理论

经验科学是理论的系统。所以,科学认识的逻辑可说是理论的理论。

科学理论是全称陈述。像所有的语言表示的一样,科学理论是记号或符号的系统。因此,我认为用下列的说法来表示全称理论和单称陈述之间的区别是毫无裨่益的:单称陈述是“具体的”,而理论则ท仅是符号公式或符号图式。因为,甚至对最“具体的”陈述也可以完全同样地说是符号公式或符号图式。

理论是我们撤出去抓住“世界”的网;使得世界合理化,说明它,并且支配它。我们尽力使得这个网的网眼越来越小。

12.因果性、解释和预ไ见的演绎

给予某一事件以因果解释就是演绎出一个ฐ描述这一事件的陈述,运用一条或更多条的普遍性定律以及某些单称陈述即初始条件,作为演绎的前提。例如,我们可以说已๐经给一根线的折断ษ作了因果解释,如果我们现这根线的抗张强度是1้磅,而我们放了2๐磅的重物在它上面。假如我们分析这个因果解释,我们就现有几个组成部ຖ分。一方แ面,有一个假说:“凡是一根线上面放一重量过这根线的抗张强度,这根线就要断ษ”,这个陈述有着普遍性自然规律的性质,另一方面,我们有单称陈述在这个ฐ例子里有两个ฐ,它只应用于这里说的特殊事件:“这根线的抗张强度是1้磅”和“放在这根线上的重物重2磅”。

因此,我们有两个不同种类的陈述,它们都是一个ฐ完全的因果解释的必要成分。它们是:1้全称陈述,就是带有自然定律性质假说:2单称陈述,它应用于所讨论的特殊事件上,我称之为ฦ“初ม始条件”。我们正是从和初ม始条件合取的全称陈述中,演绎出这个单称陈述:“这根线要断ษ”。我们称这个陈述为一个ฐ特殊的或个ฐ别的预ไ见。

初始条件描述该事件的通常被称作“原因”的东西2磅重物放在只有1磅抗张强度的线上是这根线断的“原因”。预见描述通常被称作“结果”的东西。我将避免使用这两ä个术语。在物理学里,“因果解释”这个ฐ表达方แ式的应用通常只限于一种特殊情况,在这种情况下,普遍定律具有“接触作用”定律的形式,或者更确切地说,用微分方程表示ิ的无穷地接近零的距离的作用。我在这里不假定这种限制ๆ。而且,我并不想对这个ฐ理论解释的演绎方法的普适性作出一般的断言。因此我并不断言任何“因果性原理”或者“普遍因果性原理”。

“因果性原理”主张:对任何事件都能ม作出因果解释——能用演绎对它作出预ไ见。按照人们对这个论断里的“能ม”这个词的不同解释,这个论断或者是重言的分析的或者是关于实在的论断ษ综合的。因为,如果“能ม”的意义แ是:作出因果解释在逻辑上总是可能ม的,那么เ这个论断ษ就是重言的,因为ฦ对任何预见我们总能ม找到可以由之演绎出这个预见的全称陈述和初始条件。这些全称陈述是否在其他场合已被检验和验证,当然是一个不同的问题๤。然而,如果“能ม”的意义是表示,世界ศ为严å格的定律所支配,世界是这样构成的:每一个ฐ特殊事件都是普遍规律性或定律的一个ฐ实例,那么这个ฐ断ษ言显然是综合的。但是在这种情况下,这个断言是不可证伪的。这一点将在下面第7๕8节中ณ讨论。所以,我既ຂ不采纳也不拒绝“因果性原理”;我满足于简单地把它当作“形而上学的”原理从科学领ๆ域里排除出去。

然而,我要提出一条方法论规则来,它和“因果性原理”是如此一致以至后者可以被当作它的形而上学翻版。正是这条简单的规则,我们不放弃对普遍性定律和自治的理论系统的追求,也๣不放弃对任何种类我们能ม加以描述的事件作出因果解释的尝试。这条规则指导着科学研究者的工作。这里我不赞成这样的观点:物理学的最近展要求放弃这条规则,或者说,现在物理学已确证,至少在一个领ๆ域里继续寻找定律再也๣没有意义了。这一点将在第78节里讨论。

13.严å格的和数的全称性

我们可区别ี两种全称综合陈述:“严格的全称”和“数的全称”。到เ此为止,当我讲到全称陈述理论或自然律时,我指的是严格的全称陈述。另一种,数的全称陈述实际上等于某些单称陈述,或者说,一些单称陈述的合取。在这里,它们被归入单称陈述一类。

例如,比较下列两个ฐ陈述:a谐波振荡器的能量决不会降到一定数量之下即hv/2,适用于所有的谐波振荡器;b人的身高不过一定数量比如8英尺适用于所有生活在地球上的人。只涉及演绎理论的形式逻辑包括符号逻辑将这种陈述同样地当作全称陈述“形式的”或“一般的”蕴涵຅。然而,我认为必须ี强调它们之间的区别ี。陈述a要求在任何地方任何时间都是真的。陈述b只涉及在有限的个ฐ别的或特殊的时空区域内特殊元素的有限类。后一种陈述原则ท上可以为单称陈述的合取所代替;因为ฦ只要有足够的时间,人们可以列数有关的有限类的所有元素。这就是为ฦ什么我们在这种情况下称之ใ为“数的全称”。与之相对照,对于振荡器的陈述a,就不能为ฦ在一定的时空区域内有限数量的单称陈述的合取所代替;或者更确切地说,它只能根据下列ต假定被代替:世界ศ在时间上是有限的,在此时间内只存在有限数量的振荡器。但是我们并不作任何这种假定;特别是,在对物理学的概念下定义时,我们不作任何这种假定。我们宁可把如a类型的陈述当作全陈述aທll-statement,即关于无限个体数的全称断言。这就清楚地解释了它不能ม为有限数量的单称陈述的合取所代替。

我使用严å格全称陈述或“全称述”这一概ฐ念是和下列观点相对立的:原则上每个综合的全称陈述必定可被翻译成有限数量的单称陈述的合取。主ว张这种看法的人或者援引他们的要求可证实性的意义标准,或者某种类似的考虑,坚持认为我称作“严å格全称陈述”的陈述决不可能ม得到เ证实,所以他们拒绝这些陈述。

很清楚,根据这种抹煞ย单称陈述和全称陈述之ใ间的区别的自然律观点,归纳问题๤就似乎ๆ被解决了;因为,显然,以单称陈述推论到数的全称陈述是完全可接受的。但是同样清楚的是,这个ฐ解决办法并不影响归纳的方แ法论问题。因为,要证实一个ฐ自然定律只能用经验来肯定这定律可以应用到เ的每一个个别事件,并现每一个这样的事件都真正地与这定律相符合,很清楚,这是一项ำ不可能完成的工作。

在任何情况下,科学定律是严å格的全称还是数的全称的问题不能用论证来解决。这是只能用协议或约定来解决的那ว些问题๤之ใ一。鉴于上述的方法论境况,我认为ฦ把自然律看作综合的和严格的全称陈述“全陈述”即有用又有成效。这就是把它们当作不能ม证实的陈述,我们可以用下列ต形式来表示它:“……适用于在时空中的所有点或者在时空的所有区域”。与此相对照,仅仅涉แ及一定的有限时空区域的陈述,我称之为“特称的”或“单称的”陈述。

严格的全称陈述和只是数的全称陈述实际上是一种单称陈述之间的区别ี只应用于综合陈述。不过,我可以提到把这种区别也๣应用到分析陈述的可能ม性比如,某种数学陈述。

1้4๒.普遍概念和个ฐ别概ฐ念

在全称陈述和单称陈述之ใ间的区别ี与在普遍概念或名称和个别ี概ฐ念或名称之ใ间的区别是密切联系的。

通常用下列ต这种例子来说明这种区别:“独裁者”、“行星”、“h2o”是普遍概ฐ念或普遍名称;“naທpoleon”、“地球”、“大西洋”是单一的或个ฐ别的概ฐ念。在这些例子里,个别ี概念或名称的特征是专有名词或者必须用专有名词来定义แ,而普遍概念或名称能够不用专有名词来定义。

我认为在普遍概念或名称和个别ี概念或名称之间的区别ี,具有基本的重要性。科学的一切应用的基础就是从科学假说它们是普遍的推知个ฐ别ี情况,就是演绎出个别预ไ见。但是,在每一个ฐ单称陈述里,个ฐ别概念或名称一定会出现。

在科学的单称陈述里出现的个别名称,常常出现在时空坐标形式中。这是容易理解的,只要我们考虑到时空坐标系的应用总是关联到เ个别ี名称。因为我们必须固定它的原点,而我们只有采用专有名词或者与之等价的东西才能ม做到这一点。“格林威治”和“耶稣诞生之年’这些名称的采用说明了我的意思。用这种方แ法可以把有着任意大的数量的个ฐ别名称还原为很少的一些个别名称。

有时这种模糊的一般用语如,“这里的这个东西”,那ว里的那ว个ฐ东西”等等,可以用作个别ี名称,也๣许还和某种直接表示ิ的手势联系在一起,简言之,我们可以使用一些记号,它们虽然不是专有名词,但是在某种程度上和专有名词或个别ี坐标是可以互换的。但是,普遍概念也๣可以用直接表示ิ的手势表示出来,但只是模糊地表示ิ。我们可以指着某些个别事物或事件,然后用短语“以及其他类似的事物”或者“等等”来表示我们想把这些个ฐ体看作只是某一个类的代表,我们应该给这个类一个ฐ适当的普遍名称。毫无疑问,我们正是从直接表示的手势以及类似的手段中学习๤普遍词的运用,也即它们之应用于个体。这样一种应用的逻辑基础是,个别ี概念不仅可以是类的元素的概念,而且可以是类的概念,因而它们和普遍概ฐ念的关系不仅可以是元素า和类的关系,而且也๣可以是子类和类的关系。例如,我的狗路克斯lux不仅是个ฐ别概念维也纳狗这一类的元素า,而且也是普遍概念哺乳຃动物这一普遍类的元素。而维也纳狗不仅是奥地利狗这一个别类的一个子类,而且也๣是哺乳动物这一普遍类的一个子类。

用“哺乳动物”这一个词作为ฦ普遍名称的例子可能引起误解。因为ฦ像“哺乳动物”、“狗”等等这些词在通常的用法中是模棱两可的。这些词被认为ฦ是个别类名称还是作为普遍类名称,取决于我们的意图,即取决于我们想说的是生活在地球上的动物的一个种个ฐ别概念呢,还是想说的是具有某些特性的一种自然物体,这些特性能用普遍术语来描述。同样的模棱两ä可也๣出现在使用“pasteurized”“消เ毒的”、linneansys-tem”“林奈系统”和“latinism”“拉丁语惯用法”这样一些概ฐ念的使用中,因为有可能去除它们所涉及的专有名词或者用这些专有名词来定义它们。

上面说的这些例子和解释应使大家明了“普遍概念”和“个别概念”在这里是什么เ意思。假如要我下定义,我就不得不如上面那ว样说:“个别概ฐ念是这样一种概念,对它下定义时,专有名词或等价的记号是必不可少的。假如能完全不提及任何专有名词,那么这个概念就是一个普遍概念。”不过任何这样的定义只有很小的价值,因为它所做的一切只是把个ฐ别概念或名称的观念还原为专有名词的观念在一个个ฐ别的自然物的名称的意义上。

我相信我的用法与“普遍的”、“个别的”等词的习惯用法相当接近。但是不管这是否是这样,我当然认为这里的区别是必不可少的,如果我们不想去模糊在全称陈述和单称陈述之ใ间的相应区别ี的话在普遍概念和归纳问题๤之间存在着完全类似的关系。鉴别一个个ฐ别事物,只根据它的普遍的性质和关系,这种性质和关系似乎ๆ是专属于它而不属于任何其他事物。这种试图是预先注定要失败的。这样的程序不是去描述一个ฐ个别事物,而是描述一些性质和关系所属的所有个ฐ体的普遍类。即使用一个ฐ普遍的时空坐标系也不能改变这一点。因为是否存在任何与用普遍名称描述相符的个别事物,假如存在,又有多少,必须ี始终是一个ฐ待解决的问题。

同样地,任何用个ฐ别ี名称对普遍名称下定义แ的试图也是注定要失败的。这个ฐ事实经常为ฦ人们忽视。人们广泛地相信有可能ม用所谓“抽象”的方法从个ฐ别概念上升到เ普遍概ฐ念。这个观点和归纳逻辑有着密切的关系,归纳逻辑是从单称陈述过渡到เ全称陈述。从逻辑上说,这些程序是同样不可行的。不错,人们用这种办法能ม够得到个体类,但是这些类仍然是个别ี概ฐ念——用专有名词来定义แ的概念这样的个ฐ别ี的类概念的例子有:“napoleon的将军们”,“巴黎的居民们”。因此,我们看到เ,我所说的在普遍名称或概念和个别ี名称或概念之ใ间的区别与在类与元素า之ใ间的区别无关。普遍名称和个别名称两者都可以作为ฦ某些类的名称出现,也可以作为某些类的元素า的名称出现。

因此,9aທp用下面的论据来除去个别概念和普遍概念的区别是不可能的。他说“……这个区别是不能ม证明的,”因为ฦ“……按照所采取的观点,每一个概ฐ念都能被看作个别ี概念或者普遍概念。”9ap想以下列论断来支持这个ฐ看法:“……正如普遍概念那样,几乎ๆ所有的所谓个别ี概念都是类的名称”。正如我已经表明的,这个ฐ论断是很正确的,但是和这里所讨论的区别ี不相干。

↑返回顶部↑

书页/目录

科学发现的逻辑