译者前言


　　《结构主义》这本书，是根据 1979 年第七版（第十一万七千本系列）译 出的。原著没有前言或序文，也没有声明该书从 1968 年初版之后有任何修 改。通常一本严肃的学术著作在法语世界里能出版二三千册就是畅销的书 了；而象《结构主义》这样一本比较难懂的书竟再版七版，可见这本书的影 响之大。
　　但是，结构主义这一流派和本书作者对于我国读者来说还是比较生疏 的。所以译者想在此作一些介绍。
　　皮亚杰是著名的儿童心理学家，但他远不止是一个心理学家，他还是一 位兼通数学、逻辑、物理学、生物学、心理学、社会学、科学史和哲学的大 学问家。他在 1918 年（当时他 22 岁）研究软体动物得自然科学博士之后， 转而研究心理学成为大家，1949 年又革新逻辑学，1950 年发表《发生科学认 识论导论》三卷。1968 年发表本书——《结构主义》，这是他的“发生认识 论”的一个组成部分。
　　皮亚杰特别着重于智慧心理学的研究。1929—1939 年他任日内瓦大学的 科学思想史副教授，早从三十年代起就把最先进的科学认识看作是生物界从 动物到人的适应演化的结果，继承了日内瓦学派由克拉帕莱德开创的功能主 义方面。他在研究儿童心理学中关于各种概念（时空、运动、因果关系、数 量、言语、逻辑思维??等）的发展时，心里就随时都照顾到了与最新的科 学概念（如爱因斯但的相对论）之间的关系，于是到五十年代就初步建立起 了他的“发生科学认识论”我们以后就简称“发生认识论”：因为发生认识 论中所说的认识论，只能是科学认识论而不是哲学认识论，它是哲学认识论 的前奏，但还不是通常所说的（哲学）认识论]。在发生认识论中，其最高阶 段，就是现代最先进的科学认识（并为未来更先进的科学认识敞开着大门）。 目前最先进的科学认识，其概念、方法、原理、假设等，从具体方面来 看是千差万别的，新学科还如雨后春笋任产生。但是，从心理学或认知发展 的历史看，它们是否有一些共同点呢？这种直到现在为止的最高级认识，到 了什么程度呢？这些是皮亚杰必然要涉及到的问题。在此之前还没有人作过 一个全面的综合研究来回答这些问题，他自己就来回答了。我们所译的这本
《结构主义》，就是这样一种努力的产物。
　　皮亚杰在《结构主义》一书里的工作，是要检验现在各个研究领域里出 现的主要的一些结构主义，找出结构主义的一般特点。从这一些出发，再涉 及到有关结构研究的其他方面。
　　所谓结构主义，可以上溯到本世纪初在语言学中由索绪尔提出的关于语 言的共时性的有机系统的概念和心理学中由完形学派开始的感知场概念。此 后在社会学、数学、经济学、生物学、物理、逻辑??等各学科领域中，都 在谈结构主义。但是，结构主义的共同特点是什么？这却是个等待回答的问 题。
　　皮亚杰综合研究之后，指出结构主义的共同特点有二：第一是认为一个 研究领域里要找出能够不向外面寻求解释说明的规律，能够建立起自己说明 自己的结构来；第二是实际找出来的结构要能够形式化，作为公式而作演绎 法的应用。于是他指出结构有三个要素：整体性、具有转换规律或法则、自 身调整性；所以结构就是由具有整体性的若干转换规律组成的一个有自身调
　　
整性质的图式体系。这样一个概念很抽象；结构存在的模式要在各个研究领 域里才能精确说明。所谓结构，也叫做一个整体、一个系统、一个集 合。一 个结构的界限，要由组成这个结构的那些转换规律来确定。而所谓转换，在 有的学科中译为变换，就是表示变化的规律，通常用一个以上的数理逻辑公 式来表示。公式在具体生活中的应用就是具体运算。而这种公式原来就是从 具体运算中抽象出来的。所以运算是形成结构的基础。在各种科学认识里， 运算的第一性是结构主义的关键。
　　皮亚杰于是依据结构的上述三种共同要素去检验不同领域里现存的种种 结构主义。最后在结论里得出一般结构主义的共同性质。
　　现代科学经过近二百年的发展，经过各种实验、归纳、统计、分析等等， 到二十世纪初年虽然得到极大成果，但是也遇到了各种一时不能解决的矛 盾。许多学科都得出结论：过去把研究对象分析为许多组成成分的办法行不 通，整体并不是各成分的简单总和，它比成分的总和还要多一些，即整体还 有整体作为整体自己的性质。从整体出发来认识部分，实践证明是有成果的。 甚至有些研究对象，只能一开始就从整体来研究才有可能。于是许多学科都 产生了革命——结构主义的革命，要求打破“原子论式的”研究，进行整体 的研究。这种就整体、系统、全部集合来从事的研究，都称为结构主义的研
究。
　　最古老最典型的结构是数群。一个数群（简称“群”）如正负整数群， 是一个诸成分（这里是正负整数）的集合或整体。在这个整体里，成分由组 织规律联结起来（这里是加法），这就是这个结构里的转换规律。用这个转 换规律加在任何成分上，得到的总是正负整数。这样一个正向运算，可以用 一个和它对等的反向运算来还原（即减法），回到出发点。有一个中性成分
（在这里是 0），任何成分和它结合起来所得的仍旧是那个成分。而且在这
个结构或群里的几个成分组合起来，还服从加法交换律，表明可以经由不同 途径达到同一目的或结果。于是用数理逻辑形式可以这样表示出来：n 十 0=0
＋n＝n；+n—n＝一 n 十 n＝0；（n 十 m）十 1 一 n 十（m＋1）。这样的三个
转换规律，就表明了一个正负整数群的全部结构。而且这个结构具有“完善 的”自己预先改正错误的性质，因为可以用互反性来自己检验，＋n—n＝0； 决不能产生＋n—n≠0 的情况，因为否则就 n≠n 而违犯了矛盾律了。所以， 这样一个群结构是具备有转换规律的、能够自己调整的整体，它的内部的成 分的来源都可以用这个结构自己的那些规律清楚地加以说明，而不必另向外 界去找说明的理由。
　　现在的科学，就都要求按照这样一个模型来作说明，表示为类似的形式 化或其近似形式即控制论的模式。这是一般结构主义的理想。因为这样一个 群结构，体现了理性主义的三个基本原则：不矛盾律，同一律，和目的不因 通过的手段而改变。
　　皮亚杰在解释说明了群的性质之后，从数学史上介绍了克莱因和布尔巴 基学派的成就，说明由于结构主义的研究，数学成了一个以群结构推广而得 的结构的系统，这个系统可归结为三类“母结构”。他认为这三类结构在人 类幼年已经在与客体世界接触而得的动作的普遍协调里有其萌芽了。所以， 不言而喻，人类的认识，比如各种先进科学，何以能用从数学运算中抽象得 来的数理逻辑系统的公式做说明，那是有其共同的来源的缘故。
皮亚杰进而考察逻辑。他说明逻辑是纯形式的研究，逻辑也是具备三种

性质的结构。但逻辑体系不是一个封闭的整体，因为它的出发点是未经说明 的（不下定义和不加以论证的）命题。同时它又受形式化的限制而有不能证 明的定理。研究表明，逻辑不是象已往认为的是全部数学的来源，而是一种 布尔代数学。而且从自然思想的发展中可以追溯其心理上的起源。逻辑运算 也一样受到形式与内容是相对的这个事实的制约。
　　接着检验物理学方面的结构。皮亚杰指出，从经典物理学到现代物理学 里的测量理论，都有结构存在。它们是不以人的意志为转移的，但却与人的 运算结构相符合。物理因果关系与运算结构的紧密联系，在前者部分地依靠 人为建立起来的模型时或与实验人的活动不能分开时，这是好理解的。但物 理结构有客观性（与人无关）的时候，为什么也与运算结构相符呢？皮亚杰 的回答是：人是在与这些现象发生关系的动作里发现因果关系的；并且在动 作的普遍协调里发现一定量的原始结构，使反映抽象有了出发点。等到产生 了用数理逻辑的形式化表达出来之后，转换规律就从有时间性的现象中脱离 出来而成为没有时间性的了。
　　关于主体与客体的转换结构相符的问题，皮亚杰说，如果人能精确地了 解自身的结构的恬，那末因为人既是物理化学组成的复杂客体，又是主体活 动的源泉，所以是会确切地解决的。但是过去的还原论式的机械论和唯生论 都不能解决问题。只有从“生物体内平衡”概念产生之后，人们才看到机体 由整体和分化了的器官来保证机体的调整。这种平衡作用，是由机体发展各 阶段的结构来保证的：从胚胎最初的基因团起，就通过对外来环境的刺激起 同化作用而演化。这种理解，为发生心理学的结构主义提供了必要的基础。 皮亚杰在心理学中回溯了以感知场为基础的。“格式塔”派结构主义， 指出场假设里引进的平衡和最少动作的物理效应的重要性和它的主要缺点。 首先，从知觉领域起，主体就已经参预了结构的构造和调整作用；在动作和 智慧的层次上更表明是有个构造过程的。皮亚杰总结他的长期观察研究，说 明人类的结构从开始的萌芽到最后逻辑结构 INRC 四元群的形成，通过若干阶 段，要十多年时间才构造成功。结构不是天赋的，也不是从外在世界直接接 受得来的；而是通过反映抽象和一项在自身调整意义上的平衡作用这双重作 用而构成：反映抽象提供逐步需要的资料；平衡作用提供结构内部的可逆性
组织，从而建立起最终的必然性和具备可逆性的不受时间性限制的程式。
　　建立认识结构，是个永恒的构造过程，不能脱离主体的活动。从个别主 体的结构达到“认识论上的主体”的水平，要经过不断的“除中心作用”， 以求达到能建立起“人工智能”的模式。主体是结构之间建立联系的起功能 作用的中心。由于不存在“所有结构的结构”，即形式化有限制，在形式化 逐步进行的过程中就可以建立起结构的系谱学来；同时，各种结构在一步一 步具体形成时的平衡作用，就形成了发展心理学上的具体演变关系。
　　导致形成结构的主要功能，是“同化作用”，这种作用使有机体在适应 环境时使客体在机体和能量两方面与有机体自身同化，并在整合客体于自己 时产生新的图式；在新的概念性表象的层次上形成新的普遍图式，即结构。 关于传输交流和进行思维的言语表达，皮亚杰指出，他与逻辑实证主义 者把逻辑和数学看作是一种普通句法学和普通语义学不同，而是把逻辑和数 学看作是以动作的普遍协调为出发点的构造过程和反映抽象的产物。这种普
遍协调可以应用到任何东西上去，也适用于语言结构。 皮亚杰指出，索绪尔的语言学结构主义，从一般结构主义的观点看，重

要的有三点：一是他把语言结构与发展规律对立起来看；二是他坚持了语言 结构的自主性；三是他提出了语言符号的权宜性问题。但是总的来说，他和 以后的一些学者所主张的还是描述性质的、静止的结构主义。
　　但是从哈里斯到乔姆斯基的语言学，对句法结构学却采取了发生学关系 的研究，提出了转换规律；着重言语的创造性，把生成语法法典看成是同化 在主体思维里的东西。乔姆斯基还认为生成法典的根源是理性，是要由遗传 性来解释的。在方法论上，他与在他之前的人用归纳法积累事实不同，而是 从语言心理学、普通语言学和数理逻辑形式化三者的混合体出发形成他的语 言学结构的概念，建立起一个真正的结构主义的程序。这个程序可以说明个 人的能力，又可以说明语言是一种制度，减轻了语言与说话之间的对立，把 个体发生论与种系发生论的关系处理得符合皮亚杰的发生认识论。
　　不过乔姆斯基把语言能力诉之干天赋性质和遗传的意见是有困难的。皮 亚杰指出，语言结构必须用构造论来说明；言语的获得，要有预先形成的感 知运动性智慧为基础，而我们可以事实上看到这种智慧如何一步步地从同化 图式的逐步协调中得来。
　　语言结构与逻辑结构的关系问题，也就是言语与思想的关系问题，至今 还是一个不能说是已经完全解决了的问题。皮亚杰认为思想不能归约为“第 二信号系统”，更不是只有言语才能表达思想。智慧的发生，先于言语。但 是，言语固然从部分地有结构的智慧中产生，言语也会倒转来构成智慧。所 以，今后应进行更多的研究。
皮亚杰同意许多人的意见一切社会的研究都必然要导向结构主义。因为
社会只能作为整体来研究；整体是能动的，是转换的中枢；还有各种常模或 规范，是自身调整的方向或结果：此三者，合于结构的三要素。但是，如果 只有这三者，只是整体性的静止的研究，还不是真正的方法论的结构主义。 这要进一步寻求组成结构的那些转换规律之间的相互作用，而且这样的一个 自身满足的系统，要从下层结构里找出演绎性的解释，重建起数理逻辑模型 来。
莱温的社会心理学提供了典型的例子。他介绍进了向量，用群论为工具
描写整体，得出了网结构。他的学派进行了许多研究，以实验为基础而用建 立结构模型来作因果关系的解释，已取得很大的成功。
帕森斯把结构看作不受外界影响的一个社会体系的诸成分的稳定布局，
从而说明平衡理论。这个体系能用调节作用保持自己的守恒，这是由于它有 使结构适应于外在环境的功能。关于个人能整合共同价值的问题，他提出了 “社会作用”的理论。结构迟早要表现为强制个人接受的规范或规则，结构 与功能所以有必然的联系。
　　在经济结构里也有功能的作用，在平衡和周期的动力学分析里都可以看 到。但经济结构的性质，不仅由于功能起作用，而且有一个或然率的方面， 是受到经济主体的感情和认识的调整作用的反馈作用影响的。
　　在有严格运算性质的社会结构如法律结构里，这种内在的规范性质是由 法律主体的认识所赋与的。
　　为了说明社会结构不能不讲功能作用，它是有发生和历史的构造过程 的，皮亚杰不能不面对列维－斯特劳斯的社会文化人类学研究；后者的社会 心理学与语言结构、经济结构以及法律结构是不可分的，但他所主张的是一 种建立在人性永久论基础上的、否定功能作用、不讲发生历史的结构主义，
　　
但有最令人注意的演绎性质。 皮亚杰指出，列维－斯特劳斯否定历史和发生过程，是由于对 信仰和习
俗的起源无知，把历时性中得出的结构误认为是共时性的缘故。至于他离开 联想主义而以运算体系为基础，迟早要把社会学结构主义或人类学结构主义 同生物学结构主义和心理学结构主义互相协调起来，那就不能没有功能方 面。
　　列维-斯特劳斯关于结构的性质，认为是精神的无意识活动在内容上加上 了形式所产生的，它是插在基础和上层建筑之间的一个图式系统。在“实践 活动刀（praxis）和实践（praiiques） 之间，总有一个中介，就是概念图 式；由于概念图式的运算，物质和形式各自剥掉了自己的独立存在方面而组 成结构，成为既具经验性又有可理解性的存在。这种结构，不是可以观察的 相互作用。它的来源是总是自身同一的人的精神。因而它先于社会、先于心 理活动、先于有机体。而这种精神或理智的存在方式是什么呢？问题没有答 案。
　　皮亚杰指出，所以出现困难，是由于不了解形式与内容的相对性。只有 具备加在转换作用上的成系统的、能保证自主性的自身调整的那些“形式的 形式”，才是结构。这种结构是怎样来的呢？在逻辑和数学中，是通过“反 映抽象”而来的。在现实里，从形式到结构，有一个普遍的形成过程，即平 衡作用的过程：在物理领域内把一个体系定位在潜在可能的功的整体里（本 书第 9 节），在有机体领域中平衡作用保证各种水平的体内平衡（本书第 10 节），在心理学领域中平衡作用说明智力的发展情况（本书第 12 和第 13 节）， 它也在社会的领域中会起到类似的作用。任何平衡状态，都包含一个构成 “群”的潜在转换体系。平衡作用既说明了表明阶段的调整作用，也说明最 终形式有运算可逆性；从而解释了从有时间性的形成作用到非时间性的相互 联系的过渡。从这样的观点看来，集体的智慧就是在全部协同运算中的运算 活动得到平衡了的社会性，智慧是一切认知功能的平衡形式。这样，不必去 追究人的精神是什么，就可以看到结构是一种仍然开放的连续不断的构造过 程的结果。从演化过程看，“野蛮人的思维”在文明人之中也永远存在，只 是构成科学思维的低一级水平，象是在运算意义上的“群集”。人类学上的 “互渗”观念，是在前运算水平或具体运算开始的水平意义上的前逻辑，有 些象在儿童身上看到的一种关系。理性从动物或人类婴儿到更高水平，是演 进而来的，有其功能作用与历史。
结构主义的研究要涉及到哲学问题。皮亚杰提出两个问题来概括。第一，
为主张结构有萌芽、有历史、有功能，因而主张结构主义在科学领域中与具 有辩证性质的构造论有紧密的联系。他以列维-斯特劳斯在辩证理性与科学思 维的问题上同萨特的构造论的争论为例，说明在结构的领域中，构造过程在 同种种肯定结合起来时产生了否定，接着又找出它们之间的协调一致而产生 共同的“矛盾解决”办法；这个模式相当于一个历史程序，这个程序不断重 复。
　　在数学中，在逻辑领域，在物理科学和生物学的范围内，都依这个不是 循环形的“螺线形”圈进行。
　　第二，对于结构主义关于历史问题的看法，皮亚杰同意阿尔都塞和以后 的戈德利埃对马克思的著作进行结构主义分析的方式。
阿尔都塞认为思维就是“生产”，它多半是有社会因素和历史因素从中

起作用而产生的一个结果而较少地是个别主体的产物；“具体的整体性”实 际上就是这样一种思维和构思的产物。阿尔都塞指出马克思学说的辩证矛盾 是一种“超决定作用”的产物，它在社会的层次上相当于物理学中的因果关 系的某些形式；他据此把生产关系内部的矛盾，生产关系和生产力之间的矛 盾，以及马克思主义`经济学的整个机器，都安插在一个转换结构的系统里， 他并努力地为这个转换结构系统提供关节部分和形式化原理。
　　1 戈德利埃指出结构与历史性的转换之间的关系还需要进一步说明。如 果把社会结构比作范畴，人们就能确定哪些是与结构相符合或不相符合的功 能。但要知道在形成一个系统的全部结构里，诸结构之间的结合模式怎样在 所结合的那些结构的一个里面引起占统治地位的功能，现在的结构分析还要 完善，要同历史性的发生学转换作用紧密联系起来。从这种观点出发，结构 的研究要优先于对结构起源（萌芽）和结构演化的研究。结论是，人的“科 学”的可能性，要建立在发现社会结构的功能起作用的规律、演变的规律和 内部对应关系规律的可能性上面，就是要建立在推广结构分析方法，使能解 释结构及其功能如何变化与如何演变的条件上面。这样，在进行结构主义分 析时，结构和功能、起源（萌芽）和历史、个别主体和社会，就都是不可分 离的了。
最后，皮亚杰以批判富科在《词与物》一书中反映出来的怀疑论和消极
论点作结，从反面来阐明不可能把结构主义与构造论分开。 末尾皮亚杰扼要地作出本书的结论，指出：结构主义是方法论。它没有
排他性；它倾向于把一切科学研究整合进来，在互反性和相互作用的方式上
作研究。 结构的研究，并不是不要人和主体活动。所谓主体是指认识论上的主体，
即人类的共同认识核心，也即认识的机制。在把主体的“我”和“生活体验”
分开之后，剩下的就是主体的运算，这是从主体的动作的普遍协调里经过反 映抽象得来的。这些运算就是主体用以造成结构的成分。要有继续不断的除 中心作用，把主体从自发的自我中心现象中解放出来，以得到协调，建立起 有互反性的构造、再构造的历程中产生的结构。
不存在没有构造过程的结构。抽象的结构体系是与永远不会完结而受到
形式化限制的整个构造过程互相关联的。 结构主义与功能主义不可分。有认识的主体（他的结构与萌芽分不开），
就有功能概念的价值。结构只能成为体系才有生命。没有“一切结构的结构”。
主体是功能起作用的中心。 结构主义必须保持它的开放性。它的危险是到结构的实在论中去找出
路。结构是运算的组成规律或平衡形式。所以关键是运算的第一性。 皮亚杰在这本小书里的叙述，毋宁说已经够抽象、概括和相当难懂了。
我们在上面作的简单说明，很可能是有错误或没有抓住重心的转述。所以读 者必须以原文为准。由于译者的水平有限，译文可能有许多错误，那读者只 有参看原文了。
　　皮亚杰在本书中阐述的结构主义，称为方法论结构主义、普遍结构主义、 真正的结构主义。因为他的科学认识论，是以认识论的主体（即一般意义上 的不是特殊个别的人）为出发点的，把认识的基点放在主体在与客体接触中 由动作产生的运算上，运算由动作内化而成，所以这个科学认识论是以心理 学特别是发生心理学为基础的。他的结构主义，与他的发生认识论是紧密联
　　
系的。
　　皮亚杰所用的一套术语，常是自己创造的，或者在运用旧有名词时先阐 明意义而重新定义。但在这本小书里，并不再加以定义了。为了更确切明白 他的意义，多读一点他的其他专著是必要的。如关于反映抽象、平衡作用、 认识的结构、功能等等，都分别有专书论述。读者可以进一步加以研究。
　　皮亚杰的科学认识论，与他的发展心理学研究是有联系而又有区别的。 心理学研究属于经验科学的范围，直接从观察到的事实和关系中得出结论。 对于从心理学研究所得出的概念、原理、方法、假设、结论，加以批判研究， 确定它们的逻辑来源、价值、客观性质，才是科学认识论的范围。
　　他认为科学思维或智慧来源于运算，运算是动作内化为表象的结果。这 样，他就排除了理性的先验论，也批判了经验主义和逻辑实证主义，而接近 于辩证唯物主义。但是，他以动作为出发点，并不就明白宣布客观世界的物 质第一性以及现实世界是取得经验的源泉。他的六十年的研究工作，都指向 于建立一种认识理论，关于有机体如何能知道它的世界的理论。据说当有人 问到他对本体论问题的看法时，他似乎是说：“我对现实世界这个问题不感 兴趣”。对于他的思想究竟应该如何从哲学上进行评价，这是一个需要深入 研究的问题。
末了，关于本书的翻译，我们采用了差不多一字不漏的直译办法，以便
读者有愿意对照原文阅读的，容易发现我们的错误；可是，因此也带来了阅 读上的不方便，不够通顺。这是我们限于水平，不敢过于变通的缘故。书里 的注释，凡用符号①②等标示的是作者原注；用星号*的是译者加的注释，多 数采自英译本的注。文中和注中有用六角括号[]加注的地方，是译者加的说 明。因为译名不一定正确，所以除了多数专名在文中第一次出现时加上原文， 还在书末加上我们自编的索引，俾读者遇到有疑问时可以检索，有不妥或错 误时可以自己加以纠正，并希望提出来告诉译者改正。
最后，我们谨向南京大学程曾厚同志表示衷心的感谢，承他对照法、英
两个版本审校了全部译文，使译文增色不少。

汉译世界学术名著丛书 出版说明


　　我馆历来重视移译世界各国学术名著。从五十年代起，更致力于翻译出 版马克思主义诞生以前的古典学术著作，同时适当介绍当代具有定评的各派 代表作品。幸赖著译界鼎力襄助，三十年来印行不下三百余种。我们确信只 有用人类创造的全部知识财富来丰富自己的头脑，才能够建成现代化的社会 主义社会。这些书籍所蕴藏的思想财富和学术价值，为学人所熟知，毋需赘 述。这些译本过去以单行本印行，难见系统，汇编为丛书，才能相得益彰， 蔚为大观，既便于研读查考，又利于文化积累。为此，我们从 1981 年至 1992 年先后分六辑印行了名著二百六十种。现继续编印第七辑，到 1997 年出版至
300 种。今后在积累单本著作的基础上仍将陆续以名著版印行。由于采用原 纸型，译文未能重新校订，体例也不完全统一，凡是原来译本可用的序跋， 都一仍其旧，个别序跋予以订正或删除。读书界完全懂得要用正确的分析态 度去研读这些著作、汲取其对我有用的精华，剔除其不合时宜的糟粕，这一 点也无需我们多说。希望海内外读书界、着泽界给我们批评、建议，帮助我 们把这套丛书出好。
商务印书馆编辑部
1994 年 3 月

结 构 主 义

第一章 导言和问题的地位

1.定义


　　人们常说，要规定结构主义的特征是很困难的，因为结构主义的形式繁 多，没有一个公分母，而且大家说到的种种“结构”，所获得的涵义越来越 不同。不过，如果把在当代各种科学中和越来越时髦的流行讨论中的结构主 义所具有的不同涵义加以比较，似乎还是有可能来做一次综合的尝试的。但 是，如要进行这种综合，有一个明确的条件，就是必须对于事实上总是联系 在一起而法理上又应该互相独立看待的两个问题，分别开来考虑：一个是积 极方面，即包含在这些不同种类的结构主义之中的已经取得的成就或带来的 希望里，结构观念所具有的理想；另一个是在每一个不同种类的结构主义的 产生和发展过程中，伴随着反对当时占统治地位的倾向而表现出来的批判意 图。
　　在进行这种区分的时候，我们应该承认，所有“结构主义者”所已经达 到或正在追求的一个具有可理解性的共同理想，是存在的；而结构主义者们 的批判意图，则是十二万分地不同。例如，象在数学界，对于有些人来说， 结构主义乃是要反对把不同来源的各个部 6 门分割开来，同时由于利用同形 结构而重又找出统一性来；对于另一些人来说，如象在连续几代的语言学家 中，结构主义主要地是要把加在孤立现象之上的历时性研究抛在脑后，用共 时性的理论去找出语言的整体系统来；在心理学里面，结构主义则更多地是 要反对“原子论”倾向，因为这种倾向是要力求把各个整体还原成原先存在 的成分之间的若干联想。在流行的讨论之中，我们看到结构主义在攻击历史 决定主义＊、功能主义、以及有时甚至还攻击一般地求助于人类主体来解释 问题的一切形式。
所以，显然，如若人们要从反对不同意见的角度来给结构主义下定义，
要从坚持结构主义曾经反对过的各种态度方面去下定义，那么我们就只能找 到与科学史和思想史上的种种曲折变化相联系的分歧和矛盾了。反之，把结 构观念的积极特征作为中心，我们就至少能够从所有的结构主义里找到两个 共同的方面：一方面，是一个要求具有内在固有的可理解性的理想或种种希 望，这种理想或希望是建立在这样的公设上的：即一个结构是本身自足的， 理解一个结构不需要求助于同它本性无关的任何因素；另一方面，是已经取 得的一些成就，它达到这样的程度：人们已经能够在事实上得到某些结构， 而且这些结构的使用表明结构具有普遍的、并且显然是有必然性的某几种特 性，尽管它们是有多样性的。
　　关于第一个近似点，结构是一个由种种转换规律组成的体系。7 这个转 换体系作为体系(相对于其各成分的性质而言)含有一些规律。正是由于有一 整套转换规律的作用，转换体系才能保持自己的守恒或使自己本身得到充 实。而且，这种种转换并不是在这个体系的领域之外完成的，也不求助于外 界的因素。总而言之，一个结构包括了三个特性：整体性、转换性、和自身 调整性。
　　关于第二个近似点，结构应该是可以形式化[或译：公式化]的。不过这 可以是指在发现结构之后很久，或者是紧接着在发现结构的初期阶段。需要 说明的是，用形式化表示结构乃是理论家的任务，然而结构本身对于理论家
　　
而言是独立的；这个形式化，可以直接用数理逻辑方程式表达出来，或者通 过控制论模式作为中间阶段。所以，形式化可能存在着不同的过渡阶段，这 要取决于理*[ 星号表示译者所加的注，以下相同。] 历史决定主义 (historicisme)主张历史不要求助于哲学就能够建立关于道德，宗教、哲学 的某些真理。论家的决定。对于他所发现的结构的存在方式，要在每一个特 定的研究领域里去加以说明。
　　转换的概念，首先使我们可以为问题划定一个范围。因为，如果要把形 式主义这个术语的一切意义包容在结构这个观念里，结构主义就得把一切不 是严格经验主义的、而求助于形式或本质的哲学理论，从柏拉图到胡塞尔， 主要经过康德，都包括在内，甚至还要包括经验主义的某些变种，如求助于 句法学和语义学的形式来解释逻辑的“逻辑实证主义”。然而，按照现时所 确定的意义，逻辑本身却并不总是包括作为整体又作为一些转换规律的结构 的“种种结构”的：现时的逻辑学在许多方面仍然还是从属于相当顽强的原 子论的，逻辑结构主义还只是刚刚有了个开端。
　　所以，在这本小书里，我们将只限于谈适用于不同科学的结构主义，这 就已经是相当冒险的事情了；当然最终还要谈到在不同程度上受到人文科学 中出现的结构主义的启发而产生的几个哲学运动。但是，应该首先把前面提 出的定义稍稍加以说明，并且还要使人懂得，象一个自身封闭的转换体系这 样从表面上看来如此抽象的一个概念，为什么却在一切领域里竟能使人们产 生这样大的希望。
2.整体性


　　各种结构都有自己的整体性，这个特点是不言而喻的。因为所有的结构 主义者都一致同意的唯一的一个对立关系(用在第 1 节里已经提到的各种批 判意图里说的意义)，就是在结构与聚合体即与全体没有依存关系的那些成分 组成的东西之间的对立关系。当然，一个结构是由若干个成分所组成的；但 是这些成分是服从于能说明体系之成为体系特点的一些规律的。这些所谓组 成规律，并不能还原为一些简单相加的联合关系，这些规律把不同于各种成 分所有的种种性质的整体性质赋予作为全体的全体。
例如，数学中的整数就并不是孤立地存在的，人们并不是在随便什么样
的程序里发现了它们，然后再把它们汇合成一个整体的。整数只是按照数的 系列本身才表现出来的，这个数系列具有“群”、“体”、“环”等的结构 性质，而这些性质是不同于每一个数的性质的。就每一个数的性质而言，可 以是偶数或是奇数，是素数或是能被 n＞1 的数除尽的数，等等。
　　但是，在事实上这个整体性的特性提出了许多问题。这里我们只研究其 中的两个主要问题：一个是关于整体性的性质问题；另一个关系到整体有形 成过程还是预先形成的这个方式的问题。
　　认为一切领域中都可以把科学认识论的态度归结为两者必居其一的选择 问题——要不就承认是一个具有其结构规律的整体，要不就认为是从若干成 分出发而来的一个原子论式的组织——这恐怕是错误的。无论谈的是感知结 构或“格式塔”的完形学说，还是谈的社会的整体性(社会的阶级整体或全社 会的整体)等等，我们都可以看到，在思想史上，无论在[心理学里]知觉方面 反对联想主义的先验假设或是在社会学里反对个人主义的先验假设等等，人 们总是把两类学说同这些先验假设对立起来。这两类学说之中，只有第二类
　　
学说才似乎符合当代结构主义的精神。而第一类学说只是满足于把想要由简 到繁办事的人们所看来是自然的思想步骤[译者按：即指从感觉印象到知觉复 合体，从个别人到社会群体，等等]，颠倒过来，并按照一种被认为是自然规 律的“涌现”方式，一开始并不增加什么，就提出整体性来。当奥古斯特·孔 德用人类来解释人，而不再是用人来解释人类，当涂尔干认为社会整体是从 个人的汇合中涌现出来，就象分子是从原子的集合中涌现出来一样的时候， 或者当“格式塔”学派认为在种种原始的知觉里面能立即看到一个整体性， 可以比之于电磁学里的场效应的时候，这些人当然是有功绩的。他们告诉了 我们：一个整体并不是一个诸先决成分的简单总和；但是，他们把整体看作 先于成分，或者看作是在这些成分发生接触的同时所得到的产物，这样，他 们就把自己的任务简单化了，就有把组成规律的本性这种中心问题丢到一边 去的危险。
　　然而，在原子论式的联想图式和涌现论的整体性图式之外，是还存在一 种第三种立场的。这种立场，就是运算结构主义的立场。这种立场，从一开 始就采取了一种重视关系的态度；按照这种态度，认为真正重要的事情，既 不是要人必须接受成分，也不是要人必须接受这样的整体而又说不出所以然 来，而是在这些成分之间的那些关系；换句话说，就是组成的程序或过程(依 人们说的是主观意向性运算还是客观现实而定)，因为这个全体只是这些关系
10 或组成程序或过程的一个结果，这些关系的规律就是那个体系的规律。
　　但是这就产生第二个问题，这是个更为严重的问题；实际它是一切结构 主义的中心问题：由组成程序或过程产生的这些整体性，从来就是被组成的 吗？可是怎样组成的，或者被谁组成的？还是一开始就已经是(并且是否一直 是？)处在组成的过程之中呢？换句话说，种种结构是否都具有一个形成过 程？或者只有一个多少具有永久性的预先形成过程呢？一边是原子论式的联 合所假定的、经验主义已经使我们习惯了的、没有结构的发生论；另一边是 主张没有发生过程的整体性或形式，因而这就不断会冒又回到谈本质、谈柏 拉图主义式的理念、或谈种种先验形式的超验论的立场的危险：结构主义必 须或者是从两者之间做出选择，或者是找出超越这些立场的解决办法。可是 正是在这一点上，很自然地产生了最多的分歧意见——一直到有这样的意 见，认为不应该提出结构与发生论的关系问题，因为结构从本性上来说是非 时间性的(好象在这里并不存在选择的问题了，而这正好就是预成论的意 思)。
事实上，这个由整体性概念本身已经引起的问题，只要我们认真地对待
“结构”的第二个特性，就可以清楚了。从结构这个术语的现代含义来讲， “结构”就是要成为一个若干“转换”[按：在有些学科里译为“变换”]的 体系，而不是某个静止的“形式”。

3.转换


　　如果说被构成的这些整体性的特质是由于它们的组成规律而得来的，那 么这些规律从性质上来说就是起造结构作用的。正是这种永恒的双重性，或 更正确地说，这种总是而且同时是起造结构作用和被构成的这种两极性的特 性，首先说明了这个概念能获得成功的道理。而且，这个概念，就象库尔诺
　　
的“级”(“ordre”)1的概念一样(不过这是现代数学结构中的一个特殊情况)， 通过它的运用本身，就保证了它的可理解性。然而，一项起结构作用的活动， 只能包含在一个转换体系里面进行②。
　　这项限制性条件看起来可能叫人奇怪，如果人们是对照索绪尔在开创语 言学结构主义时的学说(索绪尔只谈了“系统”，并且是为了用来说明共时性 的对立规律和共时性的平衡规律的)来看的话，或者是对照心理学结构主义最 早的形式来看的话，因为一个“格式塔”(完形)所说明的知觉形式的特征， 一般是静态的。然而，要判断一个思想潮流，不能光看它的来源，还要看它 的流向，而且从语言学和心理学的一开始，我们就看到转换观念的出现了。 语言的共时性系统不是静止不动的：它要按照被这个系统的各种对立或联系 所决定的需要，拒绝或接受各种革新；在人们还没有看到在乔姆斯基学说意 义上的“转换语法”诞生之前，索绪尔的在某种程度上已经是能动的平衡概 念很快地就延伸为巴利的文体论③；而巴利的文体论已经在种种个别变化的有 限意义上研究转换关系了。至于心理学里的“格式塔”，它们的创始人从一 开始就已经谈到了转换感觉材料的“组织”规律，到今天人们关于这些规律 所作出的概率论概念，又把知觉的这个转换方面强化了。
　　事实上，一切已知的结构，从最初级的数学“群”结构，到规定 12 亲属 关系的结构??等，都是一些转换体系。但是这些转换，可以是非时间性的(因 为，如 1＋1 立即就“成”2，而 3 并不需要有时间上的间隔就“紧跟”在 2 的后面了)，也可以是有时间性的(因为象结婚就要用一点时间)。而且，如果 这些结构不具有这样的转换的话，它们就会跟随便什么静止的形式混同起 来，也就会失去一切解释事物的作用了。但是，这就不可避免地会提出这些 转换的来源问题，所以直捷地说，也就是这些转换和“形成过程”的关系问 题。当然，在一个结构里，应当把它受这些转换所制约的各种成分，跟决定 这些转换的规律本身区分开来。于是，这样的一些规律就可能很容易被人看 成是不变的，并且甚至在不是严格形式化(用形式化在科学上的意义)的一些 结构主义里，我们找到一些不甚倾向于发生心理学的杰出人物，也竟会从转 换规则的稳定性一下子就跳到天赋性去：例如乔姆斯基就是这样的情况，在 他看来，生成语法似乎必需要有天赋的句法规则，好象要解释稳定性，就不 能用平衡作用的限制性过程来说明，就好象把天赋性的假设交给所假定的生 物学，就不会引起象发生心理学所引起的那样复杂的形成过程问题似的。
但是，一切反历史的或反发生论的结构主义，它们没有明说出来的希望，
就是要把结构最后建立在如同数理逻辑体系的结构那样的非时间性的基础上 面(而在这一方面，乔姆斯基的天赋论还伴随着要把他的句法归结为一种“单



1 ①英译本注：可以参考英文《社会科学百科全书》（Encyclopaedia of the Socia1Sciences ）.v，364 及以下
各页 Oscar Morgenstern 所写的数学经济学条目。“级”（order）是 Augustin Cournot 所著的《关于财富的 数学原理的研究》（“Reseaarches into the Mathematical principles of Wealth”，1838；New York:Kelley ，l927.） 这本第一个系统研究数学经济学的著作中所提出的概念。
② 英译本注：为了简要说明这个内部决定的观念，可以参阅例如魏尔的《数学和自然科学的皙学》（Hermann
Weyl，“Philosophy of Mathematics and Natura1 Sciencc”， Princeton：Princeton University Press， 1949），
第 24 及以下各页。
③ 巴利 Bally,C.）的丈体论有两本著作：“précis de stylistique”（Geneve， 1905 和“Traitéde stylistique francaise”（Heidelberg，1909）。

子”式①的形式结构)。不过，如果人们要着手建立一个有关各种结构的普遍 理论，这个普遍理论必须符合跨学科的科学认识论的要求，那么，除非一下 子就躲进先验论的天国里去，否则在非时间性的转换体系面前，如“群”结 构或“部分的集合”(“ensemble des parties”)的网结构等，就不大可能 不问一下，结构是怎么得来的。于是，人们总可以先提出一些规定作为公理； 但是从科学认识论的观点看，这只是一种高雅的偷换办法，它就是利用一群 勤劳的建筑者以前的劳动，而不是自己去建立起始的材料。另一种方法，从 科学认识论上看来要比较地不容易在认知方面受到那种在表面上接受而把问 题的实质加以改变的待遇，这就是建立结构的谱系学的方法，是哥德尔在各 种结构之间引进比较“强”些或“弱”些的区分而不得不采取的方法(见第二 章)。在这种情况下，有一个中心问题是回避不了的；这还不是历史的或心理 发生学的问题，但至少是个结构的构造问题，以及结构主义与构造论之间的 分不开的关系的问题。所以，这将是我们将要讨论的诸论题之一。

4.自身调整性


　　　结构的第三个基本特性是能自己调整；这种自身调整性质带来了结构 的守恒性和某种封闭性。试从上述这两个结果来开始说明，它们的意义就是， 一个结构所固有的各种转换不会越出结构的边界之外，只会产生总是属于这 个结构并保存该 14 结构的规律的成分。例如，做加法或减法，把完全是任意 的两个整数一个加上另一个或从一个中减去另一个，人们总是得到整数，而 且它们证实这些数目的“加法群”的那些规律。正是在这种意义上，结构把 自身封闭了起来；但这种封闭性丝毫不意味所研究的这个结构不能以子结构 的名义加入到一个更广泛的结构里去。只是这个结构总边界的变化，并未取 消原先的边界，并没有归并现象，仅有联盟现象。子结构的规律并没有发生 变化，而仍然保存着。
所以，所发生的变化，是一种丰富现象。
这些守恒的特性，以及虽然新成分在无限地构成而结构边界仍然具有稳 定性质，是以结构的自身调整性为前题的。毫无疑问，这个基本性质，加强 了结构概念的重要性，并且加强了它在各个领域里所引起的希望。因为，当 人们一旦做到了把某个知识领域归结为一个有自身调整性质的结构时，人们 就会感到已经掌握这个体系内在的发动机了。当然，结构的这个自身调整性， 是按照不同的程序或过程才能实现的，这就又引入了一个复杂性逐渐增长的 级次的考虑；因此，就又归结到了构造过程的问题和最终是形成过程的问题。 在这个梯级的顶端(但一旦用“顶端”这个词，就可能有不同的意见，在 我们认为是“顶端”的地方，有些人将会说那是金字塔的基础)，自我调整通 过非常有规则的运算而起作用。这些规则不是别的，正是我们所考虑过的结



① 英译本注：本书在第 16 节末尾也提到单子。这可能是指征 R.D.Luce，R. R. Bush，和 E. Galanter 合编的
《数学心理学手册》（Handbook of Mathematical Psychology ，New York: John Wiley ，1963—1965.）里乔 姆斯基写的条文中的一段（2.274），他在那里说：“包含一个同一性而且在一个结合性组合规律支配下的 封闭的集合，叫做‘单子’。因为单子要满足一个群的四个公设中的三个，它们有时被称为‘次群’[或叫
‘群集’]。一个‘数群’就是一个‘单子’，它的成分都是有可逆性的。”在乔姆斯基所著的《句法结构》
（Syntactic Structures ）里没有谈到单子。

构的那些整体性规律。于是，人们也许会说，谈自身调整性是在玩文字游戏， 因为，人们想到的，或者是指 15 一个结构的那些规律，那当然是由这些规律 来调整这个结构的；或者是指进行运算的数学家或逻辑学家，如果他们是正 常状态下的人，那当然是会很好地控制自己行动的。不过，如果他的这些运 算非常符合规则，如果结构的这些规律就是一些转换规律而具有运算性质， 那么，剩下的就还要问一下，从结构的观点出发来看，一个运算是什么东西 呢？然而，从控制论观点来看(即是从调整科学的观点看)，运算就是一个“完 善的”调节作用。这个意思就是说，运算并不局限于在知道了行动的结果时 才去纠正错误，而是由于具有内在的控制手段，它能对行动的结果起预先矫 正的作用，这些控制方法，如可逆性(举例如十 n—n＝0)，它就是矛盾原理 的来源(如果＋n—n≠0，那么 n≠n 了)。
　　另一方面，还存在着一个不是严格逻辑性或数学性的种种结构的巨大范 畴，也就是说这些结构的转换是在时间内进行的，如语言学结构、社会学结 构、心理学结构等。当然，在这种情况下，它们事实上的调整是以某些调节 作用为前提的，这些调节作用是在这个术语的控制论意义上说的，不是建立 在严格的、也就是说完全是可逆的(通过逆向性或相互性)运算的基础上的； 而是建立在一套预见作用和倒摄作用(即英语中的 feedbacks[反馈])的基础 之上的。预见作用和倒摄作用的应用，其范围包括了全部生命界(从生理学上 的调节作用和基因团或“遗传库”的体内平衡(homéostasie]开始。参见第
10 节)。
　　最后，调节作用这个术语，在习常的意义上似乎是从更加简单的结构机 制来的；不能不承认，这些机制也是有权列入一般所说的“结构”的领域里 的。这些就是节奏机制，人们可以在生物和人类 16 的一切阶段上找到这些节 奏机制的①。然而，节奏是通过建立以种种对称性和重复为基础的最初级的手 段来保证它的自身调节作用的。
节奏、调节作用和运算，这些是结构的自身调整或自身守恒作用的三个
主要程序：人人都可以自由地从这些程序中发现这些结构“真实”构造过程 的各个阶段，也可把在没有时间性的形式下、几乎是柏拉图主义式的那些运 算机制放在基础上，从而引出其余的一切，把次序颠倒过来。但是，至少从 新结构的构造过程的观点来看，应该把两个等级的调节作用区分开来。有一 些调节作用，仍然留在已经构成或差不多构造完成了的结构的内部，成为在 平衡状态下完成导致结构自身调整的自身调节作用。另一些调节作用，却参 与构造新的结构，把早先的一个或多个结构合并构成新结构，并把这些结构 以在更大结构里的子结构的形式，整合在新结构里面。














① 近几年已经建立起了一整个专门学科，用数学技术和实验技术来作生物学的节奏和周期性的科学研究（如
非常普通的昼夜节奏，也就是差不多二十四小时的 节奏，等等）。

第二章 数学结构和逻辑结构

5.群的概念


　　如果不从检验数学结构开始，就不可能对结构主义进行批判性的陈述。 其所以如此，不仅因为有逻辑上的理由，而且还同思想史本身的演变有关。 固然，产生结构主义的初期，在语言学和心理学里起过作用的那种种创造性 影响，并不具有数学的性质(索绪尔学说中关于共时性平衡的理论是从经济学 上得到启发的；“格式塔力学派的完形论学说则是从物理学上得到启发的)， 可是当今社会和文化人类学大师列维一斯特劳斯(Lévi-Stra-uss)，却是直接 从普通代数学里引出他的结构模式来的。
　　另方面，如果我们接受在第一章里所提出的结构主义定义，那未最早被 认识和研究了的结构，是由伽洛瓦(Galois)所发现的“群”的结构，这似乎 是无可置疑的。并且这个“群”的结构在十九世纪逐步征服了数学这门科学。 一个群，就是由一种组合运算(例如加法)汇合而成的一个若干成分(例如正负 整数)的集合①，这个组合运算应用在这个集合的某些成分上去，又会得出属 于这个集合的一个成分来。还存在一个中性成分(在我们选用的这个例子里，
是 18 零)，这个中性成分和另外一个成分结合，并不使这另一个成分发生改
变(这儿是 n＋0＝0＋n＝n)；尤其是这里还存在一个逆向运算(在我们这个特 定情况里，是减法)，正向运算和逆向运算组合在一起，就得出那个中性成分 来(＋n—n＝—n＋n＝0)；最后，这些组
合都是符合结合律性质的组合(这儿是[n＋m]十 1=n＋[m＋1])。
　　群结构作为代数基础，已经显示出具有非常普遍和非常丰富的内容。几 乎在所有的数学领域里，并且在逻辑学里，我们都又发现了群结构。在物理 学里，群结构具有基本的重要性；在生物学里，也可能会有一天情况相同。 所以，力求明了这种成功的由来是很重要的了。因为群可能被看做是各种“结 构”的原型，而且，在某些人们所提出的东西必须加以论证的领域里，当它 具备了一些精确的形式时，群能提供最坚实的理由，使人们对其结构主义的 未来，抱有希望。
这些理由中的第一条，是数理逻辑的抽象形式；群就是从中引出来的；
这抽象形式，就解释了群的使用的普遍性。当有一个性质从容体本身经过抽 象被发现出来以后，这个性质当然就向我们提供了这些客体的情况。但是， 所抽象出来的性质越是具有普遍性，这个性质就越贫乏而有很少用处的危 险，因为它对于一切都能适用。体现数理逻辑思维特点的“反映抽象” (abstraction réfléchis- sante)的性质则不是这样，恰恰相反，它不是从 容体里抽象出来的，而是从人们对于客体所加上的动作、并且主要地是从这 些动作的最普遍的协调作用(coordination)之中抽象出来的；例如从汇集 (réunir)、赋序(ordonner)和找出对应关系(mettre en correspon- dance) 等等过程里抽象出来。然而人们在群中看到的，正好就是这些有普遍性的协 调作用，首先就是：a)回到出发点的可能性(群 19 的逆向运算)；b)经由不同



① [译者按：本书说的“一个集合”或“一个整体”都指“ensemble”；相对于多个而言译为“集合”，也指
数学上的“集（合）”；相对于部分而言译为“整体”。它与“totalité”有时相同，但后者有时指性质，译 为“整体性“。]

途径而达到同一个目的、但到达点不因为所经过的途径不同而改变的这种可 能性(群的结合律性质)。至于组合(如汇集等)的本性，可以不受顺序的制约 (可互相置换的群)，也可以建立在必然的顺序上。
　　正因为这样，群的结构就成了一个确实有严密逻辑联系的工具，这个工 具因内部的调整或自身调节作用而具有自己的逻辑。事实上，这个工具通过 其自身的活动，使理性主义的三个基本原理发挥了作用：在转换关系的可逆 性中体现了不矛盾原理；中性成分的恒定性保证了同一性原理；最后一个原 理人们较少强调，但它同样是一个基本原理，就是到达点不受所经途径不同 的影响而保持不变的原理。例如，在空间里位移的一个整体，就是这样(因为， 两个连续的位移仍旧是一个位移；因为一个位移能够被逆向的位移或“返回” 所抵消，等等)。然而位移群的结合律性质相当于“迂回”的行为，在这一点 上，对于空间的一致性来说是基本的。因为，如果到达点因所经途径不同而 时常在改变的话，那就会没有空间可言，而只有可与赫拉克利特所谈过的那 条江相比拟的永恒流水了。
　　其次，群是转换作用的基本工具，而且还是合理的转换作用的基本工具。 这种转换作用不是一下子同时改变一切，而是每一次转换都与一个不变量联 系起来。这样，一个固体在习常空间里位移，就让它的大小保持不变；一个 整体被分成为许多部分，就让总和保持不变，等等。只要有了群结构，就完 全可以揭露梅耶森(E.Meyerson)用来建立他的科学认识论的那个反命题的人 为性质了；按照他的反命题，一切变化都是非理性的，只有同一性才是理性 的特点。
群作为转换作用与守恒作用不可分割的结合，是构造论的无与伦比的工
具。这不仅由于群是一个转换的体系，而且还因为，并且主要因为，通过一 个群分化成它的子群，以及有可能通过这些子群之一过渡到另一些子群，这 些转换在某种程度上是可以加以配方的。就是因为这样，除了被位移图形的 大小之外(因此是距离)，位移群让它的角、平行线、直线等保持不变。于是 人们能使大小改变而保持其余一切不变，就得到一个较普遍的群，而原位移 群成了这个更普遍的群中的一个子群：这就是相似群，可以在不改变形状的 情况下放大图象。接着，人们可以改变图象的各个角，但是保持它原来的平 行线和直线等，这样就得到了一个更普遍的群，而上述相似群就成了它的一 个子群，这就是“仿射”几何群，例如，把一个菱形改变成另一个菱形，这 个群就要发生作用。继续把平行线改变而保留直线，于是就得到一个“射影” 群(透视等)，先前那些图象所构成的群就成了它嵌套的子群了。最后，连这 些直线也不保留，而在某种程度上把某些图象看作是有弹性的，唯一被保留 下来的是图象上各个点之间一一对应的、或对应连续的［译者按：这里“一 一对应的”和“对应连续的”都用的是数学集合论里所说的在两个集合之间 各成分只有一对一的对应关系的意义］对应关系，于是这就产生了最普遍的 群，即拓朴学所特有的“同型拓扑”(homéomorphies)群。这样，各种不同的 几何学原先看来是静态的、纯粹图形化的、分散在不相联系的章节里描写的 模型，现在使用群结构之后，就正好形成了一个巨大的构造，其转换作用， 因为有了子群之间的嵌套接合关系(emboitenient)①，就可以使得从一个子结



① 译者注：嵌套接合（emboitement ），或译“包含”、”镶嵌”关系。在皮亚杰的语汇中是一个逻辑概念，
用来指一系列大类套小类、小类又套更小类的关系。丈中欧氏几何戍为投影几何一部分，投影几何又成为

构向另一个子结构过渡成为可能(且不谈普通测量学；我们可以依靠拓扑学， 从普通测量学中引出非欧几何或欧氏几何的特殊测量学，从而再回到位移群 上来)。克菜因(F. 21Klein)在《埃尔兰根纲领》(Programme d’Erlangen) 这部著名著作里所陈述的，就是这个从图形几何变成一整个转换体系的根本 改变。这是由于群结构的运用而为我们取得了的可以称之为是结构主义的确 实胜利的第一个实例。

6.母结构


　　但这还只是一个部分的胜利。在数学界可以称之为结构主义学派的，也 就是布尔巴基学派(les Bourbaki)[译者按：“Nicolas Bourbaki”是用这个 名字发表著作的一群法国数学家的集体笔名]的特征的乃是企图使全部数学 服从于结构的观念。
　　传统的数学，是由各不相关的章节如代数、数论、数学分析、几何、概 率论等等所形成的一个整体，其中每一部分研究一个特定的领域，各自研究 若干被内在性质所决定的“存在”或对象。群结构可以应用于极不相同的成 分，而不是仅仅适用于代数的运算。这个事实促使布尔巴基学派按照类似的 抽象原理来展开对种种结构的研究。如果我们能把诸如数、位移、射影等(而 我们已经看到，这里既有运算的结果，也有加在运算本身上的运算)这些已被 抽象化了的对象称为“成分”，群的特性却不是由这些成分的本性来确定的。 群以高一级的新的抽象超越这些成分；这新的抽象就是要抽绎出我们可以使 任何一种成分都能受其支配的某些共同的转换规则。同样，布尔巴基学派的 方法，就是用组成同型性(isomorphis-mes)的办法，去抽绎出最普遍的结构， 使各种不同门类的数学成分，不问这些成分来自哪个领域，完全根本不管它 们各自的特殊性质，都能服从于这些最普遍的结构。
这样一件工作的出发点，是某种归纳法，因为我们所研究的各种基本结
构的数目和形式都并不是先验地推演出来的。这种归纳法，导致发现了三种 “母结构力，即所有其它结构的来源，而它们之间被认为是再不能互相合并 了(三这个数目，是经逆退式分析得到的结果，不是某种先验构造的结果)。 首先是各种“代数结构”，代数结构的原型就是群，但是还有群的派生物(“环”
[anneaux 英文为 rings]、“体”[corps 英文为 fields]，等等)。代数结构
都是以存在着正运算和逆运算为其特点，即有从否定意义上体现的可逆性(如
T 是正运算，T-1 是它的逆运算，则 T-1·T=0)。其次，我们可以看到有研究 关系的各种“次序结构”，它的原型是“网”(re-seau 或 treillis，英文为 lattice 或 network)，也就是一种普遍性可以和群相比拟的结构，这种结构 最近才有人进行研究(戴德金德[Dedekind]、比尔霍夫(Birkhoff〕等人)。 “网”用“后于”(succède)和“先于”(précède)的关系把它的各成分联系 起来；因为每两个成分中总包含有一个最小的“上界”(后来的诸成分中最近 的那个成分，或“上限”[supremum])和一个最大的“下界”(前面成分中最 高的那个成分，或。。下限”[infimum])。网和群一样，适用于相当大量的 情况(例如，适用于一个集合中的“部分集合”或“单化复合体”[simplexe]



拓扑学的一部分，就是这种情况。这种互套关系，可以从两个方面来看：从小到大，是小的镶嵌在大的里
面；从大到小，是大的套在小的外面，所以译为嵌套接合关系。

①，或适用于一个群和它的那些子群，等等)。网的可逆性普遍形式不再是逆 向性关系了，而是相互性关系：如用加号(十)23 替换乘号(·)、用“先于” 关系替换“后于”关系，就使“A·B 先于 A 十 B”这样一个命题转换成了“A
＋B 后于 A·B”这样一个命题了。最后，第三类母结构是拓扑学性质的，是 建立在邻接性、连续性和界限概念上的结构。
　　这些基本结构被区分出来并被阐明了特性之后，其它结构就通过两个过 程接着产生：或者通过组合的方式，把一些成分的整体，同时放到两个结构 中(例子是代数拓扑学)；或者通过分化的方式，也就是说，硬性规定某些确 定子结构的限制性公设(例子是，用引进直线守恒，接着是乎行线守恒，接着 是角的守恒，??等的办法，以连续一个接一个嵌套的子群的形式，从同型 拓扑群中派生出来的各种几何群。参见第五节)。人们同样还可以从强结构到 “比较弱的结构”进行分化，例如，一个结合律性质的“半群”，既没有中 性成分，也没有逆成分(自然数>0)。
　　为了把这些不同方面互相联系起来，为了帮助说明结构的普遍意义可能 是什么情况，值得先思考一下：“数学建筑学”(布尔巴基学派用语)的基础， 是否具有“自然的”性质，或者只能建立在公设化的形式基础上？这里我们 已经可以在“自然数”指正整数的意义上使用“自然(的)”这个术语了；正 整数在数学上使用它们之前先已经构成，是用从日常活动里所抽出来的运算 构成的，这些运 2 算，如早在原始社会里一对一的物物交换中所使用的、或 是儿童玩：要时使用的一一对应的关系，在坎托尔(Cantor)用来建立第一个 超穷基数以前，已经使用了几千年了。
人们可以惊奇地看到，儿童在发展过程中最初使用的一些运算，也就是
从他加在客体上的动作的普遍协调中直接取得的运算，正好可以分为三大范 畴，划分的标准，根据：运算的可逆性来自逆向性，象代数结构一样(在这个 儿童的特殊情况下，是分类结构和数的结构)；或运算的可逆性来自互反性， 象次序结构一样(在这个特殊情况下，是序列、序列对应关系、等等)；或者 是运算组合系统不是以近似与差别为基础，而是来自邻近性、连续性、和界 限的规律，这就组戌了一些初级的拓扑学结构(从心理发生学的观点来看：这 些结构先于矩阵结构和投影结构，与种种几何学的发展历史正好相反，但却 与理论推衍产生的顺序相符！)。[译者按：以上一段简单说明三大范畴与儿 童思维的联系，只提了几个概念的名字，不易理解；读者可以参阅原作者在
《儿童心理学》一书里的说明，该书已有中译本(吴福元译，商务，1980)。]
所以，这些事实似乎表明，早从智慧形成的相当原始阶段时起，布尔巴 基学派研究所得的那些母结构，在如果不说原始、自然还是非常初步的，并 且从理论层次上说离开这些母结构所能具有的普遍性和可能有的形式化程度 还很远的形式下，就已经与智慧的功能作用的必要协调，有相对应的关系了。 其实，要证明刚才讨论的那些初始的运算在事实上来自感知一运动(级) 协调本身是不会很难的，在人类的婴儿身上和在黑猩猩身上一样，这些协调 的工具性动作肯定已经具有若干“结构”了。(可参见第四章)但是，在阐明 从逻辑观点看来上面这些见解意味着什么之前，我们先要看到，布尔已基学 派的结构主义，在一个值得指出的潮流的影响之下，正在转化演变的过程之



① 一个集合 E，是由 n 个成分组成。部分集合 P（E）就是这些成分取 1 个 1 个，2 个 2 个，??等所得到
的那个集合，其中包括空集合ф和集合 E 本身。所以 P（E）就有 2n 个成分。亦译单纯形。

中。因为这个潮流的确使人看到了发现——如果不说造成——新结构的方 式。这就是要创立“范畴”(麦克莱恩[MacLane]、艾伦贝格[Eilenberg]等)， 也就是说要创立一个有若干成分的类，其中包含这些成分所具有的各种函 25 数，所以这个类带有多型性(morphismes)。事实上，按照现在的词义，函数 就是一个集合在另外一个集合上或在自身上的“应用”，并导致建立各种形 式的同型性或“多型性”。这差不多就等于说，在 强调函数时，范畴的重点 不再是母结构，而是放在可以发现出结构来的、建立关系的那些程序本身上 面。这就又等于把新结构不是看成从先前的各种运算已达成的各种“存在” 中引出来的，而是从作为形成过程的这些运算本身里抽绎出来的。
　　因此，巴普特(S. Papert)在上面所说的范畴里看到的，更多地是为真正 理解数学家的运算而努力，而不是为了理解“一元化”①数学的运算法的努力， 这不是没有道理的。这儿就是反映抽象的一个新的例子，说明这个反映抽象 法的本质，不是来自客体，而是来自加在这些客体上的那些动作(即使原先的 客体已经是这样抽象得到的一个结果)，这些事实，对于结构构成的性质和方 法而言，是很宝贵的。

7.逻辑结构


　　　初看起来，逻辑学似乎是结构的特别有利的领域，因为逻辑学是研究 认识的形式，而不是研究认识的内容的。而且还进一步，当我们在(第六节已 经指出的)“自然数”这个“自然”的意义上提出自然逻辑这个问题(现时逻 辑学家的看法不对)时，我们很快就看到，逻辑形式处理过的内容仍然有某些 形式，具有可以逻辑他的形式的方向，这些内容的形式包括了一些加工得更 差的内容，但这些内容又是有某些形式的；如此依次类推，每一个成分对于 比它高级的成分来说是内容，而对于比它低级的成分来说是形式。
但是，固然这些形式上的嵌套接合关系和形式与内容的相对性，对于结
构主义理论说未都是极有启发意义的，逻辑学对于这些关系和相对性的问题 却并不感觉兴趣，只是在形式化的界限问题(参看第 8 节)上，才间接地有关。 符号逻辑或数理逻辑(今天唯一算得上的逻辑)是建立在这上升的形式一内容 阶梯上任意一点的，不过要有使这任意一点成为一个绝对起点的系统化的意 图；这样一个意图是合理的，因为这个意图借助于设定公理的方法是可以实 现的。事实上，只须选择一定数目的概念和一定数目的命题作为起点；把这 些概念看作是不能下定义的，意思是说，这些概念是用来为其他概念下定义 的；并且把这些命题看作是不要加以论证的(因为对于所选择的体系而言，选 择这些概念是自由的)，而这些命题却是为论证服务的。不过，这些基本的概 念和公理应该是充分的，它们相互之间可以并存，并且要减少到最低限度， 就是说不是多余的[译者按：多余，指在同一个体系里的几个部分之间有同一 成分而言]。其次，要只用运算程序的形式给自己定出一些构造规则；于是形 式化就成为一个自给自足的体系，并不求助于外在的直觉，而且这个体系的



① [译者按：这里原文用的“la”mathématique。习惯上具体说数学用复数，lesmathématiques，哲学家也用单
数。但作者这里有意用“la”以别于复数，是指经结构主义用结构联合为一个整体的数学。这一节的主旨是 把数学本身的运算跟数学家的运算对立起来谈问题，说明主要的是思想方法（反映抽象），不是已经取得 的成果。]

起点在某种意义上是绝对的。不言而喻，还有一个形式化的上界问题，还有 要知道那些不能下定义和不要加以论证的范围有多大，这些认识论的问题。 但是，从逻辑学家所处的形式观点来看，这儿无疑就是唯一的一个在纯粹是 内部调整意义上、也就是在完全自身调节作用的意义上、绝对自主的例子。 因此，从广义的观点出发，我们可以同意，每一个逻辑体系(逻辑体系是 有无数个的)都能组成一个结构，因为每一个逻辑体系都具有整体性、转换性 和自身调整性这三个性质。然而，一方面，这是些专门为此(ad hoc)建立起 来的“结构”。而不管我们是否说出来，结构主义的真实倾向却是要达到“自 然的”结构；“自然的”这个概念有点模棱两可，并且经常是名声不好的， 它或者是指在人性中深深扎根的意思(有重又回到先验论上去的危险)，或者 相反是指有一个某种意义上独立于人性的绝对存在，它只是应该适应人性而
已(这第二个意思有重又回到超经验的本质上去的危险)。 另方面，这里有一个更严重的问题：一个逻辑体系，就它所证明的定理
的整体而言，就是一个封闭性的整体。但是，这只是一个相对的整体，因为 对那些它不加以证明的定理而言(特别是那些不能决定真假的定理，原因是形 式化有限度)，这个体系的上方是开放着的；而且这个体系的下方也是开放着 的，原因是作为出发点的概念和公理，包含着一个有许多未加说明的成分的 世界。
后面这个问题，是我们称之为逻辑学的结构主义所特别关心的问题。因
为逻辑学结构主义所明白说出来的企图，就是要找出，在被所设定的公理法 定了的作为出发点的那些运算下面，可能有些什么。而我们已经找到的，乃 是一个若干真正结构的整体，不但可以和数学家所使用的大结构——这些大 结构使人在直觉上必须接受，与它们的形式化无关——相比拟；而且与数学 家所使用的某些大结构是有同一性的，于是它又成了我们今天叫做普通代数 学的这个结构理论的一部分。
特别使人感到惊奇的，是十九世纪符号逻辑学的伟大创始人之一——布
尔的逻辑学，构成了一种代数学，叫做布尔代数学。布尔代数学保证了“类” 的逻辑和传统形式下的命题逻辑的解释，而且相当于模数为 2 的算术，就是 说它唯一的值是 0 和 1。可是，我们可以从这个代数学中引出一个“网”的 结构(参看第 6 节)，只要在所有网结构的共同特性上，增加一个分配性的特 性，一个包含着一个极大成分和一个极小成分的特性，还有主要的一个是互 补性的特性(这样，每个项都包含了它的逆向或否定项)：于是人们称之为“布 尔网”。
另一方面，排中选言的(或者是 P 或者是 q 不能兼是两者)和等价的(既是
p 又是 q，或者既不是 p 也不是 q)这两种布尔运算，二者都能组成一个群， 而且这两个群之中的每一个群，都可以转换成一个交替的环①。这样，我们看 到，在逻辑学上又找到了数学上通用的两个主要结构。
　　但是，此外我们还能抽绎出一个更普遍的群，作为克莱因四元群 (groupede quaternalite)的一个特殊情况。假定是这样一个蕴涵命题 p ? q
的运算：如果我们把这个命题改成逆命题(N)，就得到 p· p (这就否定了蕴 涵关系)。如果我们把 p ? q 命题的两个项对调，或者单保持原来的蕴涵关系


① 参看 J.-B. GRlZE 著《逻辑学》（Logique），第 277 页，载法国版《七星百科全书》（Encyclopédiedela Pléiade）
第 XXII 卷，《逻辑学与科学知识》（Logiqueetconnaissancescientifique），Piaget 等人合著。

形式而放在否定了的命题之间( p ? q )，我们就得到它的互反性命题 R，即
q ? p 。如果在 p ? q 命题的正常形式(也就是 p ? q∨p∨p ? q )中，我们把符号 (V)和(·)进行交换，我们就得到 p ? q 命题的对射性命题 C，即 p .q。最后， 如果我们保留 p ? q 命题不变，我们就得到了恒等性变换 I②。于是，我们就 以代换的方式得到：NR＝C；NC＝R；CR＝N；还有 NRC＝I。
　　这样，就有了一个四种变换的群，其二值命题逻辑运算(命题可以是二元 的、三元的、等等)提供的例子，和用它的“部分的集合”的那些成分组成四
元 29 运算所得到的例子有同样的多①；这些四元运算中的某些例子可以是：I
＝R 和 N＝C，或者 1=C 和 N＝R；但是，自然从来不能 I＝N 的。 总而言之，在逻辑学中存在着一些完全意义的“结构”，这是很明确的，
而且对于结构主义理论来说，更加有意义的是，我们可以从自然思维的发展 中追溯这些结构在心理上的起源。所以，这里有一个问题，要留在将来再加 以讨论。

8.形式化的权宣性限度


　　但是，关于逻辑结构的思考，对一般结构主义来说，还有另外一个好处， 就是指明在哪些方面“结构”不能跟它们的形式化混为一谈？并且指明，在 什么上面，从一种我们将要努力逐步加以说明的意义上说，结构是从“自然 的”现实中产生的。
1931 年，哥德尔(Kurt G ?del)有一个发现，影响深远，值得注意。这是
因为这个发现推翻了当时占统治地位的、要把全部数学归结为逻辑学、又从
逻辑学归结为纯粹的形式化的那种观点；还因为这个发现给形式化规定了一 些界限；无疑，这些形式化的界限是可以变动的，或者说是权宜性的，但是 在结构建立的某个时候却始终是存在的。的确，他已经证明了一种足够丰富 和前后一贯的理论，例如象初等算术，是不能用它本身的手段或某些更“弱” 的手段(在这个特殊情况下，是怀特海德(Whitehead)和罗素(Russell)的 3
《数学原理》中的逻辑)来证明它本身是没有矛盾的：仅仅依靠它自己的工
具，这个理论就的确会导致一些不能决定真假的命题，因而也就不能达到完 备的境地。相反，人们后来发现，在作为出发点的理论内部原来不能实现的 这些论证，要是用了更“强”的手段，却可以实现。金琛(Gentzen)用坎托尔 的超穷算术在初等算术上做到了这点。但是，坎托尔的超穷算术也无法完成 它自己的体系；为了做到这一点，就得求助于更高一级型式的理论。



② 译者注：逻辑上习惯上译“变换”，即“转换”。
① 我们在 1949 年描述的 INRC 群（《逻辑通论》（TraitédeLogique），巴黎 Colin 出版社出版），Marc BARBUT 曾对该书写过一篇评论（见《现代杂志》（Les Tempsmodemes ），1966 年 11 月号，第 246 期，“结构主 义诸问题”（Probl(mesdustructuralisme），第 804 页），可能会引起误解，如果有人把 INRC 与一种较简单 的形式看做相同的话；在这种简单形式里，对于 AB 人们可以把其他三项变换简化为 1）改变 A，2）改变 B，或 3）同时改变两者。这种情况下，事实上只有一些互反性。INRC 群则相反，它所假设的成分不是一 张四方格表的 AB，AB，AB，和 AB，而是它的“部分的集合”的 16 种组合（或对于三个命题的 256 种组 合，??等）。所以，从心理学上说。INRc 群只是在前青年期时才出现，而 BARBUT 谈到的四成分群的 各种简单模型，则 7—8 岁时就能接受了。

　　这些阐述第一个值得注意之点是，在诸结构是可以互相比较的某个特定 的领域内引进了结构相对强弱的概念。这样，引进的等级关系马上就暗示了 一个构造论观念，就象生物学里不同特性的等级关系曾经暗示过演化论观念 一样：一个弱结构使用较初级的方法去论证，而设计越复杂的工具则和愈来 愈强的结构相对应，这样看似乎是合理的。
　　然而，这个构造论观念并不是随便想出来的。哥德尔这些发现的第二个 基本教训，的确就是非常直接地迫使大家要接受构造论观念，因为要在论证 其不矛盾性方面完成一个理论，只分析这个理论的先验的假设是不够的，而 必须去建造下一个理论：直到那时候，人们原可以把各种理论看作是组成了 一座美丽的金字塔，建 31 立在自给自足的基础之上，最下面的一层是最坚 固的，因为它是用最简单的工具组成的。但是，如果简单性成了弱的标志， 如果为了加固一层就必须建造下面一层，那金字塔的坚固性实际上是悬挂在 它的顶上；而金字塔的这个顶端本身也没有完成，而要不断往上增高：于是 金字塔的形象要求颠倒过来了，更确切地说，是被一个越往上升越来越大的 螺旋塔的形象所代替了。
　　事实上，结构作为转换体系的观念，因此就与连续形成的构造论 (constructivisme)一致了。然而，事情发展到这种样子的理由归根结蒂是相 当简单的，而且意义是相当普遍的。我们已经从哥德尔的研究结果中引出了 若干关于形式化的限度的重要看法，并已能证明除了存在形式化的等级之 外，还存在着不同程度地半形式化半直觉性的或相近的知识的不同等级，可 以说，它们也在等着实现形式化哩。因而形式化的界限是可变动的、或权宜 性的，而不是象标志王国的疆界的一个城墙那样，一旦封闭，就一成不变了。 拉德利哀(J. Ladrière)曾提出一个巧妙的解释，他认为“我们不能一下子就 把思维可能有的各种运算一览无余”①。这是第一个正确的估计。但是，一方 面，我们思维可能有的运算数目不是一下子就能确定的，而是有可能逐渐增 加的；另一方面，我们的浏览能力随着智力的发展而变化很大，所以，我们 可以希望浏览能力的扩大。反 32 之，如果我们考虑到第 7 节开头所提到的形 式与内容的相对性，干脆地说就是由于这样的事实：不存在只有形式自身的 形式，也不存在只有内容自身的内容，每个(从感知一运动性动作到运算，或 从运算到理论等等的)成分都同时起到对于被它所统属的内容而言是形式，而 对于比它高一级的形式而言又是内容的作用。初等算术是一个形式，这是毫 无疑问的；但是，初等算术在超穷算术中成了一个内容(作为“可数的幂”)。 结果是，在每一个层次上，一定内容的可能的形式化，仍然是受到这个内容 的性质所限制的。相对于各种具体的动作来说，“自然逻辑”虽然是一个形 式，但“自然逻辑”的形式化并不能推得很远；直觉数学的形式化能推得远 得多，虽则对这些直觉数学要加以修正，才能对直觉数学作形式化的处理； 依次类推。
然而，如果说在人的行为的各个阶段，直到简单到感觉一运动图式，以 及这些图式的特殊情况知觉图式等，都能找到一些形式，那末是否可以从中 得出结论说，一切都是“结构”，并且就此结束我们的陈述呢，在一个意义 上也许可以说是的，但是只有在这个意义上，就是说一切都是可以有结构的。 可是，结构作为种种转换规律组成的自身调整体系，是不能跟随便什么形式



① 见 Dialectica，1960，XIV，第 321 页。

混为一谈的：我们说一堆石子也有一个形式(因为依照“格式塔”学派的理论， 存在着“好”形式，也有“坏”形式：参看第 11 节)，但是，只有当我们给 这堆石子作出一个精致的理论，把它整个“潜在”运动的体系考虑在内，这 堆石子才成其为一个“结构”。这个问题，就把我们引到物理学上来了。

第三章 物理学结构和生物学结构

9.物理学的结构和因果关系


　　在人类科学的先进运动中，结构主义是已经革新了并将继续启发着人类 科学的理论形态；因此，一开始就不可避免地要检验结构主义在数学上和逻 辑学上的意义。但是，人们可能会问，为什么还要到物理学上来检验它的意 义呢，这是因为，我们并不先验地知道，这些结构是否来源于人，还是来源 于自然界，或者来源于两方面；而人和自然界的会合，是必须要在人对物理 现象进行解释的领域里去加以研究的。
　　长久以来，物理学家的科学理想就是要测量物理现象，建立定量定律， 并用一些概念，诸如加速度、质量、功、能??等，来解释这些定律。物理 学家用其中一些概念来给另一些概念下定义，以求保留某些守恒性原理，表 示其有前后一贯性。只要在物理学的这个古典阶段上，我们就可以来谈结构， 尤其就是那些大理论的结构。在这些理论领域里，种种关系互相配合成为一 个关系的体系。例如，在牛顿物理学里，就有惯性、作用力和反作用力相等、 力作为质 34 量与加速度之积等的体系；或者如在马克斯韦尔的体系中，有种 种电与磁的过程间的互反性关系。但是，自从“原理物理学”动摇，物理学 研究推广到了现象阶梯的极高层次和极低层次，又自从那尝试把力学从属于 电磁学的这种前景出乎意料地被推翻以后，我们正在看到，对于结构观念作 出了愈来愈高的评价：计量理论已成为当代物理学中必须小心从事的问题， 人们竟致子到了要在测量之前先去寻找结构，并且要把结构看作是一个由若 干可能状态和可 能转换关系组成的整体，所研究的真实系统，要在这些可能 状态和可能转换的整体之中去取得它的确定位置，而同时这个位置又要用这 个种种可能的整体来加以解释和说明。
对于结构主义而言，物理学的这种演变所引起的一个主要问题，就是因
果关系的本性问题。更确切点说，就是在解释因果关系定律时所利用的数理 逻辑结构与现实世界所假定具有的结构这两方面的关系问题。如果依照实证 主义的观点，把数学解释成是一种简单的言语符号表达方式，那这个问题肯 定已经不再存在，而科学本身也就归结为一种纯粹的描写。可是，只要一旦 承认逻辑结构和数学结构是作为转换关系的体系而存在的，那就要确定这样 的问题：是否只有这些形式他的转换才能说明在事实里所观察到的真实变化 和守恒性呢？或者相反，这些形式化的转换，只是不以人们意志为转移的、 客观的物理因果关系的固有机制内化在我们心灵中的反映；或者最后是这些 外在的结构和我们运算的结构之间存在着一种虽然没有同一性、却具有永久 性的联系，而在一些中 35 介领域，例如在生物学结构或我们的感知一运动动 作的领域里，我们会看到这种联系正在具体地体现在这些领域里并在起作 用。
　　为了明确观念，本世纪初关于因果关系的伟大学说之中有两个学说可以 引来作为倾向于上述三种解释中的前两种的代表：第一种是梅耶森的解释， 他把因果关系看成是先验性的，因为因果关系是从不同关系之中归纳出来的 相同的东西；第二种是布隆施威克(L. Brunschvicg)的解释，他用“存在着 一个(相对论意义上的)宇宙”这个公式来为因果关系下定义。然而，这两个 体系中，第一个体系的明显困难是，仅仅解释了守恒方面而放弃了转换的方
　　
面，而在“非理性”的范围里转换对于因果关系来说却是主要的。至于第二 个体系，它带来的结果则是，把运算的结构合并进了因果关系里去，把算术 看作是一个“物理数学”的分科(且不管人们谈到布隆施或克的唯心主义会说 的一切！)。但是，这个假说还有待于心理生物学的验证。
　　从这里再回到物理学上来，第一个明显的事实是，对于一整套定律进行 的数理逻辑推演，只要仍然是形式上的，就不足以解释这些定律：要进行解 释，就还要假设在现象下面有一些存在或“客体”，以及这些存在之间互相 在另一方身上行使实际的作用。但是，特别令人印象深刻的事实是，这些实 际作用竟在许多情况下与运算非常相似，而且正是到了前者与后者之间具有 对应性的程度时我们才感到是“理解了”。可是，理解或说明，一点也不限 于把我们的运算应用在现实上，证实现实世界是“让人摆布的”；因为一个 简单的应用，依然还是在定律层次之内的东西。为了要超出这个层次，得出 原因，必须还要有更多的东西：必须把这些运算分别赋予作为客体的客体所 有，而且把这些客体理解为它们本身就是算子①。到了这时，而且只有到了这 时，我们才能谈论因果“结构”，因为这个因果结构是这些算子在它们之间 实有的相互作用里的客观的体系。
　　从这样一个观点出发，物理的现实和用来描写这种现实的数学工具之间 具有永恒的一致，已经是相当出奇的了。因为这些数学工具常常是在使用它 们之前先就存在的；而这些工具在出现新事实的机会被建立起来时，它们并 不是从这个物理事实里抽绎出来的，而是用推理的方法制定出来的，这种推 理甚至于达到了模拟的程度。然而，这个一致，并不是象实证主义所认为的 是一种言语表达方式和它所指称的事物之间的一致(因为，各种言语表达方式 是没有在事物出现之前预先叙述它们将要描述的事件的习惯的)，而是在人的 运算和客体一算子的运算之间的一致；所以也就是在有肉体有精神的人这位 特殊的算子(或者说是这位种种运算的制造者)，和种种不同级别的物理客体 这些不可胜数的算子之间的和谐。因此，在这儿存在的，或者是莱布尼茨梦 想过的那些门窗紧闭的单子之间预先建立的和谐的光辉证明；或者是，如果 这些单子偶然地不是封闭而是开放的时候，那就是已知的生物适应的最美好 的例子了(就是说，既是物理化学的、又是具有认知性质的)。
然而，如果对于一般运算来说是真的，那未，对于最显著的种种运算“结
构”来说就仍然是真的。例如，人们相当了解，群的种种结构(见第 5 节)在 物理学中，从微观物理学一直到相对论的天体力学，已非常普遍地被应用了。 然而，群结构的这种应用，对于主 37 体的种种运算结构和外部客观的算子的 结构之间的关系来说，是有很大意义的。在这方面，人们可以区分出三种情 况。首先，第一种情况，群对于物理学家来说可以有一个试探性的价值，但 只表示在物理上不能实现的转换关系，例如PCT四元群，其中P指的是字称(一 个图形转变成镜子里和它对称的图形)，C 指的是电荷(一个粒子转变成它的 反粒子)，T 指的是时间的反向！其次，第二种情况，转换作用并不构成不依 靠物理学家的某些物理过程，而是掌握种种因素的实验者的具体活动的结 果，或者是观察人员将种种不同情况下测量仪器上可能有的读数加以协调的 结果。劳伦兹群有一种实现的情况就符合这第二种类型，只要当这个群引入