在结束本书时,我们愿意更密切地看一看这本小书自始至终贯串着的那个问题,即新认识的建构这个中心问题,并看看从发生学的观点能提供什么贡献。
A.回到本章第三节末尾的论述,我们注意到,如果说物理学是不完善的——这是明显的——那么,我们的宇宙本身也是不完善的,这是认识论者常常忽视的一个事实。有证据表明,宇宙在部分地衰亡下去——这是我们现在不感兴趣的——但在同等程度上当代的宇宙学似乎又显示出一个连续不断的创造过程。同样,如果我们考虑第四纪时期物种的进化,我们发现有一大群新的物种产生了出来,首先是某些灵长类变成了人;一系列前所未见的种继续出现,表现为无数动植物的种。从认识的观点看来,表现型方面具有头等重要性的新变化,能在相对易变的有机体和改变了的环境之间通过一些目前尚未能清楚理解的相互作用而几乎任意地制造出来。
谈到生物的演变,我们就要公正地反对在“创新”概念和“预成”概念之间进行成问题的二者必居其一的选择。因为去氧核糖核酸的可能组合是不计其数的,所以坚持把一切遗传变异都看成只不过是一种预先形成了的组合的现实化是容易的。按照多布然斯基的见解,这是一个颠扑不破的假设,但却是一个无用的假设。然而,我们还得分析“可能的东西”和“现实化”这些术语的意思是什么。而在这类问题上,什么是可能的东西,只能在反省过去时才能予以真正确定,也就是说,要在它已被现实化以后才能真正确定;而这个现实化又必然牵涉到一种同环境的偶然情况的必不可少的相互作用。例如,说一个新遗传型是预先形成的时候,实际上我们的意思只是说这个新遗传型同它所由产生的东西之间有一种确定的连续性:关于形成这个新遗传特性的那一套必要条件和充分条件并没有包含在这个概念里面。更不用说,一个新表现型的预先形成,也就是说,一个“反应常模”的改变,就是意味着新表现型同先前状态之间具有确定的连续性了,但也预先假定,表现型同环境之间具有一定数量的、尚不知其细节的相互作用。
只要这些创新是偶然出现的,就比我们曾假定其既是新的又是必然的那些认识性建构更容易被认定是一种创新。在认识领域内,人类活动的创造力,特别是与科学认识有密切关系的技术的创造力,引起了一个问题。既然这些技术似乎是创新之中最为明显的,每天都在改变着我们的环境:那么,它们的新又表现在哪些方面呢?它们又应当在什么意义上被认为是预先确定了的呢?人造卫星的头一次发射,无疑是一种最精心计划好的技术行动,同时又是以我们所已经具有的、与所要进行的试验密切有关的大量知识为依据的结果。所以我们可以认为,这种行动涉及到一种可以计算出来的组合,这种组合的所有元素都是已经给定了的。可是,构想出这个组合,把一系列相当数目的不同质的学科数据(从天文学的数据到燃料的性质)中的多方面的因素联系起来,这是一回事;而具有探索这种组合的念头则完全是另外一回事。构想出这个组合的概率甚至比生物学家布卢勒用联结转换的办法计算出来的关于形成一个眼睛的概率还要小——他的分析表明有一个其所经时间比地球年龄还要长的过程。很明显,将这样一种组合说成是预先确定了的是没有多大意义的。在谈到探索这种组合的念头的出现时,我们发现,虽然这种探索念头的出现,标志着一系列早先设计的终结,然而实现出来的组合则是产生于早先设计所未能包括的一些选择和协调的。因此,就下述意义来讲,这个组合是一个新的东西:因为它是一个或多个主体智力的产物,同时,它又向我们提供一些客体,这些客体我们在进行积极探索、并建立特定的相互联系之前是既不知道甚至也猜想不到的。
因此,是创新还是预先形成的问题,已经以一种显然是基本的形式在这个活动水平上出现了,这个水平还没有达到必然建构成的水平。如果每个新产物,只是因为从获得的结果看它是可能的,就把它看成是预先确定了的,那末问题就改变了:我们现在就必须试着去确定,相对于现实性及其经常变化而言,可能性是否因为全然是非时间性地给定了的因而在本性上就是稳定的呢,还是,因为可能性领域内的某些东西的现实化必然牵涉到为“新的”可能性开路,从而可能性本身也是可以变化的呢。所有创新都会为新的可能性——从生物的变化开始,直到人类活动和技术所特有的建构为止——开路,这对我们来说似乎是无可否认的。但是,这一点对于运演结构的先后相继出现也是正确的吗?因为每一运演结构一旦建立起来,看起来就似乎是必然的,并且是可以从前面的结构推导出来的。
B.我们已经看到,实物性动作是如何地成为认识发生过程中的出发点的,而认识的顶点则是同非时间性和可能性的王国联系在一起的。另一方面,我们已经证明,作为被引入逻辑数学构架之内的物理事实和被归因于客体的运演的结果,现实性是怎样被插在可能性与必然性之间,好像只有可能性的王国才能使时间上的转换成为可能似的。这个见解看来离开柏拉图主义只有一步之远,又确实被尤费特在《新物理学理论的结构》①一书中深信不疑地采用了。可是我们现在已经有了在布劳尔的严格意义上的建构主义,有了对形式化的极限的研究,以及在建构“形态主义”的过程中对超限性和极端自由性的新探索。这些都是如此之多的有意义的迹象,它表明事物在时间上的发生——这是我们的研究对象之一——跟那种非时间性的、但其有效性并不低的发生或相互依赖性之间,存在着一种可能的密切联系,而这种相互依赖性则似乎是由逻辑数学结构的发展所揭示出来的(在这方面,请参看《研究报告》第十五卷)。
①LaStructuredesnouyellesthéoriesphysiques.PressesUniversitairesdeFrance,1935.
这样,问题的提法就变成了下面这个样子:当数学家搞出一种发明,从而为一系列新的可能性开拓道路时,这是否只是一项主观的或历史-心理发生的事件,只有从连续多少世代的人类研究者经过长时间的工作的观点来看才是具有意义的呢,还是我们应当把这种发明看成是一个中间环节呢?这个环节把一个在确定水平上的可能性总体,跟一个在阶梯性体系上位置截然不同的、没有包含在早先各总体之中、因而就运演来说是一种新的可能性总体联结了起来。费弗尔曼和舒特的研究(继克利恩、阿克曼和韦穆斯对超限的东西作“建构性”的形式化的一些论文之后)为这个问题提供了解答,这个解答在超限数的领域内似乎是明确的。他们的研究工作是以对一个数“Kappa0”(K0)的定义为根据的,这个数为可论断性确定了一个极限。换句话说,直到K0之前而并不包括K0,我们可以使用一种“有效的”建构性原则,也就是说,使用一种组合系统,根据这个系统每一个建构都可以变成可决定的。但这种方法并不足以给K0下定义,而超出这个极限则更加是不适当的。另一方面,超出这个极限,则为我们可以称之为“相对的”循环性和可决定性的东西提供新的可能性。因此,假设有一个类S0,其中每一元素都是可决定的,此外又假定有一个不能决定的命题ND1,那末,在ND1可以借助于这系统之外的一些特殊假设而被认为是真的(或是假的)这个前提下,则集S0(=S0+ND1)由于参照ND1而成为“相对地可以决定的”了。再进一步,如果对S1又加上一个新的不能决定的命题ND2,那末在这命题能用同样地是外部的理由来证明其真实或虚假这个前提下,人们将得到“相对地可决定”的集S2(=S1+ND2);按照无限归纳法还可以一直类推下去。
因此,这些不同程度的可解答性,就跟一种按阶梯排列的结构相对应,这种结构引进越来越重要的、不能决定的问题。但是这种阶梯性体系并不形成一个完全是线性的级数,它不能由一个有效的公式或法则来表达:我们不得不退回到一系列(有关ND命题的)连续的发明上去,在那里每一个阶段都不能归结到先前的阶段,而且越下去就越是这样。这些结果具有两重好处。一方面,谈论预成论的概念变得难于站得住脚了,因为一旦超越了K0这个极限,我们就丢下了组合的领域;而关于新发现事先就包含在可能的组合系统之内这个古典的虽则是成问题的说法也就失去了它的价值。另一方面,从一个水平到下一个水平的每一个过渡都开拓了新的可能性,这使人们作出推断说,在数学中也同在其它领域中一样,可能性的王国不是一劳永逸地达到的,好象存在着一个可以供人阅览的达到可能性王国的程序表一样。事实上,这种“阅览”就已经牵涉到由连续现实化所致的建构;正如我们已经看到的,在“有效的”建构作用以后会出现至今尚不知道的其它的建构作用。
C.一般说来,我们可以说发生认识论所阐述的问题是:认知结构的发生是否仅仅表明了获得认识的全部先决条件,还是提供了认识的组成条件。换句话说:认识的发生是与一个阶梯性结构体系,甚至是一个天然的相互依赖性结构体系相对应的呢,还是认识的发生只是描述主体发现这些作为预先存在的实在的结构时所经历的时间过程呢?后一看法包含着这些结构是预先形成的这个见解:这些结构或者形成于物理实在的客体之中,或者先验地形成于主体自身之中,或者形成于在柏拉图意义上的可能性的理念世界之中。现在,发生心理学通过它对认识发生本身的分析,已试图证明这三种假设都是不适当的,并试图为广义的发生学建构是一种有效的组织性的建构这一见解提供一个例证。现在是看一看这些目的的提出究竟是否有充分根据的时候了。
(a)让我们从柏拉图的概念谈起。在那些认为数学实体永远不依赖其建构而存在的数学家方面,这一概念表示着某种粗鲁的常识。然而历史和心理发生二者似乎都证明:第一,这样一种永久存在(一种“存在物”,“本质”,等等)的假设,对逻辑数学的知识本身并没有增添任何东西,而且也绝对不会改变这种认识;第二,假定这些实体是存在的话,主体也并不具有任何能使他达到这些实体的特定认知程序;逻辑数学认识的唯一已知方法是那些存在于这种认识的建构过程之中的方法,因而是自足的方法。
让我们先考虑这两个论点中的第一个:在关于物理客体是存在的假设同关于数学实体是存在的假设之间,在作用上是有明显差异的。如果说通过探寻物理学中的恒常性而得出结论说在能观察到的东西背后存在着真实的物理客体,这就是大大地修正了对因果关系的解释;因为,如果科学家把自己局限在可观察到的东西的范围之内,那么,因果关系就失掉了它的意义,如果科学家相信客体的存在,那么,因果关系就变成一个不可避免的概念了。另一方面,假定四变数法在哈密尔顿建构它们之前就已经存在,也对这些四变数法的性质没有任何影响。无疑,布劳尔的认为排中律有局限性的建构主义,和毫无限制地使用着归谬推理的演绎性建构的古典数学之间是有相当大的差异的。但从我们的观点看来,这两者只不过是两种不同类型的建构,或运演的两种不同的用法,在它们之间有所偏袒是无助于我们解决柏拉图主义所提出的问题的,尽管布劳尔的操作主义包含着一种显然是反柏拉图主义的认识论。
我们只碰到过一个例子,其中在提到柏拉图主义时就牵涉到对知识的一个部门作技术性的修正,这就是尤费特的说法:一个数学实体并不是像彭加勒所主张的那样,由于它的无矛盾性而存在,而是因为它的存在(在柏拉图主义的意义上)才避免了矛盾的。但是,虽然这个说法也许对于探索柏拉图信念的具体应用是个重要贡献,但这个说法已被戈德尔定理完全驳倒了,因为对一个体系的无矛盾性的论证是以另一个“更强的”体系的建构为前提的,考虑这些体系在柏拉图主义的意义上的存在是完全不相干的。
关于我们在上面提到的第二个论点,我们想提一下罗素思想发展上的一个人所熟知的阶段。在他信仰柏拉图主义的阶段中,他主张,正如“知觉”给我们以物质客体的认识一样,一种他称之为“概念”的特殊才能使我们能接近独立存在于我们之外的永恒理念。但是在这种情况下,对于那些不幸比真实的理念更为频繁出现的虚假的理念怎么办呢?罗素回答道:“嗯,它们也同真实的理念一起存在,正如红玫瑰和白玫瑰一起存在一样。”我们可以反问:从什么特定的时期起人们能有把握地知道概念是属于真实理念和虚假理念的永恒王国的呢;在前逻辑数学运演水平上的“前概念”也是属于那个王国的吗?感知运动格局也是这样的吗?显然,罗素很快就放弃了他的批判的柏拉图主义不是没有充分理由的;这对于他的想把数学归结为逻辑的企图,除了混乱之外并没有增加任何东西。
至于柏拉图主义对结构在发生学上的建构或历史上的建构可能具有的任何意义,我们将沿着同样的路线进行辩论。很清楚,柏拉图的假设在下述意义上是批驳不倒的,即一个建构一旦实现了,那末仅仅因为这一点就总可以说它在可能性的王国内是已经永恒地预先确定了的;当然,可能性的王国是被看成为一个静止的和已完成的整体的。但是,由于这个建构是我们达到这样一个理念的宇宙的唯一途径,所以这种建构是自足的,无需把建构成的产物看成是实在的。
(b)无论把认识的结构看成是在物理客体之中预先形成的,还是看成在主体之内先验地存在的,其困难在于:我们这里有两个具有限制作用的项,①它们的特性随着我们对其是否可以得到的信念的不同而有变化:在前一种情况下,信念越强特性就越为丰富;在后一种情况下,信念越强则特性越为贫乏。
①指客体和主体。——译注
客体肯定是存在的,客体又具有结构,客体结构也是独立存在于我们之外的。但客体及其恒常性只是借助于运演结构才为我们所认识,人把这些运演结构应用到客体身上,并把运演结构作为使我们能达到客体的那种同化过程的构架。所以客体只是由不断的接近而被达到,也就是说,客体代表着一个其本身永远不会被达到的极限。另一方面,每个因果性解释也是以把我们的运演归因于客体作为前提的,从而又成为客体结构同我们的结构之间的同构性的证据。但是这就使得要不顾我们的结构而对这些客观结构的本性作任何估价变得困难得多,这些客观结构的独立本性反过来又变成一个虽则我们被迫而相信其存在但又永远达不到的极限毕竟不难看出,作为一条自然规律或作为理性思维的一个要求,为什么弗兰克无法在这两个因果概念之间作出抉择:这个析取在我们看来既是非排它性的,又是可归结为逻辑的合取的。
但是,如果客观的结构由此而牵涉到一个由主体所提供的演绎要素,那么,逻辑数学结构就不能看成是由客体的物理结构或因果结构派生出来的了:它们的接触点必须在有生命的机体本身的内部去找,如我们在本书第二章中所看到的那样。逻辑数学体系正是通过我们的行为在这个根源之内加工制成,其形式是一系列不断的反身抽象和一系列连续更新的自我调节的建构。
这种把预先确定性放在主体之内而不是放在客体之中的先验假设,也包含有一个极限,但意义相反。看来在发生学上清楚的是,主体所完成的一切建构都以先前已有的内部条件为前提,而在这方面康德是正确的。然而他的先验论的形式是过于包罗万象的了:例如,他相信欧几里得空间的普遍必然性,而非欧几里得几何学已把欧几里得几何学归结为一种特例了。这就指引彭加勒作出结论说,只有群结构是必然的,但是发生学的分析却证明群结构也是逐步地建构成的。还有不少更进一步的例子。因此,看来如果我们希望得到一个真正的先验理论,我们就必得逐渐缩减最初结构的“内涵”,直到作为先行的必然性而保留下来的东西被缩减成一个简单的功能作用为止。这些结构化就是从这种简单的功能作用开始的:这是就拉马克的功能创造器官这个意义上讲的——这个意义在表现型的水平上依然是符合事实的。那末很清楚,这个功能上的先验论决不是排斥而是支持新结构的连续建构的理论的。
D.因此,新结构——新结构的连续加工制成是在其发生过程和历史过程中被揭示出来的——既不是预先形成于可能性的理念王国之中,也不是预先形成于客体之中,又不是预先形成于主体之中。这似乎表明,新结构的历史-心理发生上的建构是真正组成性的,不能归结为一组初始条件的状态。然而,这样一种主张是不能只求助于本书第一、二两章所考察的事实来予以证实的。此外,还有一个有效性的问题,因为一个结构的新异之点不只是一个需要实际检验的问题,而且同样也是一个需要论证的问题。
我们的论证将不是一种形式的论证,虽然我们的论证也可以按照戈德尔的方式以及两三年前关于无限集的很多研究方法来予以形式化。我们的论证可以归结为少数几条简单的那怕是微不足道的意见,这些意见是在还原论太过分就非受到反对不可的时候提出来的。在一切认识领域中,都会周期性地出现这样的情况:所用的概念分为两个水平,其中一些比较复杂因而是居于“高级”的水平,于是就有一种想把高级水平还原为低级水平的趋势,或者是因为还原论趋势太过头而发生反动的相反趋势。例如在物理学领域中,很久以来都把力学现象看作是基础的现象,从而看作是唯一可以理解的东西,一切事物都应还原为这种东西:由此就出现了那些劳而无功的想用力学的语言来表达电磁学的企图。在生物学领域中,已出现过一些想把生命过程还原为已知的理化现象的企图,这些企图没有看到在一门经常不断地改变着的学科中发生变化的可能性;而其反作用则是一种反还原论的生机论,它的唯一的功绩完全是反面的,在于对这种不成熟的还原论所产生的错觉进行抨击。在心理学中已出现过把一切心理现象都“还原”为刺激反应格局,“还原”为联想等等的企图。
要是还原论的那些假设果真是有充分根据的话,那么,它们当然会使我们上述意义上的建构主义站不住脚,也会使把较低级的东西从属于较高级的东西的处理方法(生机论者,等等)站不住脚。从这两种观点看来,每个“新”结构都会是预先形成的:不是在最简单的要素中就是在复杂的要素中预先形成;其所以新就在于预先存在的关系成功地明白显示出来。反过来,对还原论的驳斥则为建构主义提供了一个根据。
在有可能解决这个问题的场合下,最终结果就是出现了与建构主义的假设令人惊奇地符合一致的情况:在不同水平的两个结构之间不能有单向的还原,而是有互反的同化,以致高级的东西可以借助于转换而从低级的东西中演化出来,同时高级的东西可通过整合低级的东西而使低级的东西更为丰富。这样,电磁学就丰富了古典力学,产生了一种新的力学;引力被还原为一种其曲率决定于质量的几何学。同样地,我们可以希望,生命过程还原为物理化学将会给后者增添新的更为丰富的特性。现在我们回到逻辑和数学领域里来,我们注意到,怀特海和罗素所梦想的把数学还原为逻辑已导致一种双重意义的同化,逻辑被整合到普通代数中,同时也促使代数或任何其它理论公理化——不用提存在于数和类结构之间的复杂关系了。进一步的例子是很多的。这就很清楚,这些互反同化是以反身抽象的方式进行的,这些反身抽象在保证两个呈阶梯状的不同水平之间过渡的同时,还通过这同一事实而产生出一些新的改组。总之,新结构的建构似乎表现了一种普遍过程的特性,这种过程在性质上是组成性的,不能还原为只是达到预定结局的一种方法。因此,出现了因果还原论在自然科学领域内的失效;出现了关于形式化的极限以及数学与逻辑间的关系的演绎还原论的失效:所有这些,都导致含有预成意思的彻底演绎的理想的失败,同时也给越来越得到证明的建构主义带来了成功。
按照它对认识的最初级阶段的分析,发生认识论已能证明,认识的原初形式与高级形式的差别比我们过去所认为的要大得多,因此,高级形式的建构不得不经过一段比人们所想像的更长得多、更困难、更不可预料的过程。因此,发生学方法就对建构主义的概念提供了支持;正是为了这个缘故,无论我们的结果是多么地不完全,尽管还有广大的领域尚待探索,我们对发生学方法的前途还是抱有信心的。