皮亚杰：数学结构和逻辑结构

来源：人机与认知实验室

计算是封闭的事实结构，算计是开放的价值组合，计算计是开放性封闭的事实价值混合体——编者按

群的概念

如果不从检验数学结构开始，就不可能对结构主义进行批判性的陈述。其所以如此，不仅因为有逻辑上的理由，而且还同思想史本身的演变有关。固然，产生结构主义的初期，在语言学和心理学里起过作用的那种种创造性影响，并不具有数学的性质（索绪尔学说中关于共时性平衡的理论是从经济学上得到启发的；“格式塔”学派的完形论学说则是从物理学上得到启发的），可是当今社会和文化人类学大师列维-斯特劳斯（Levi-Strauss），却是直接从普通代数学里引出他的结构模式来的。

另方面，如果我们接受在第一章里所提出的结构主义定义，那末最早被认识和研究了的结构，是由伽洛瓦（Galois）所发现的“群”的结构，这似乎是无可置疑的。并且这个“群”的结构在十九世纪逐步征服了数学这门科学。一个群，就是由一种组合运算（例如加法）汇合而成的一个若干成分（例如正负整数）的集合，这个组合运算应用在这个集合的某些成分上去，又会得出属于这个集合的一个成分来。还存在一个中性成分（在我们选用的这个例子里，是零），这个中性成分和另外一个成分结合，并不使这另一个成分发生改变（这儿是n+0＝0+n＝n；尤其是这里还存在一个逆向运算（在我们这个特定情况里，是减法），正向运算和逆向运算组合在一起，就得出那个中性成分来（+n-n＝-n+n＝0；最后，这些组合都是符合结合律性质的组合（这儿是[n+m]+l=n+[m＋l])。

群结构作为代数基础，已经显示出具有非常普遍和非常丰富的内容。几乎在所有的数学领域里，并且在逻辑学里，我们都又发现了群结构。在物理学里，群结构具有基本的重要性；在生物学里，也可能会有一天情况相同。所以，力求明了这种成功的由来是很重要的了。因为群可能被看做是各种“结构”的原型，而且，在某些人们所提出的东西必须加以论证的领域里，当它具备了一些精确的形式时，群能提供最坚实的理由，使人们对其结构主义的未来，抱有希望。

这些理由中的第一条，是数理逻辑的抽象形式；群就是从中引出来的；这抽象形式，就解释了群的使用的普遍性。当有一个性质从客体本身经过抽象被发现出来以后，这个性质当然就向我们提供了这些客体的情况。但是，所抽象出来的性质越是具有普遍性，这个性质就越贫乏而有很少用处的危险，因为它对于一切都能适用。体现数理逻辑思维特点的“反映抽象”（abstraction reflechissante）的性质则不是这样，恰恰相反，它不是从容体里抽象出来的，而是从人们对于客体所加上的动作、并且主要地是从这些动作的最普遍的协调作用（coordination）之中抽象出来的；例如从汇集（reunir）、赋序（ordonner）和找出对应关系（mettre en correspondance）等等过程里抽象出来。然而人们在群中看到的，正好就是这些有普遍性的协调作用，首先就是：a)回到出发点的可能性（群的逆向运算);b)经由不同途径而达到同一个目的、但到达点不因为所经过的途径不同而改变的这种可能性（群的结合律性质）。至于组合（如汇集等）的本性，可以不受顺序的制约（可互相置换的群），也可以建立在必然的顺序上。

正因为这样，群的结构就成了一个确实有严密逻辑联系的工具，这个工具因内部的调整或自身调节作用而具有自己的逻辑。事实上，这个工具通过其自身的活动，使理性主义的三个基本原理发挥了作用：在转换关系的可逆性中体现了不矛盾原理；中性成分的恒定性保证了同一性原理；最后一个原理人们较少强调，但它同样是一个基本原理，就是到达点不受所经途径不同的影响而保持不变的原理。例如，在空间里位移的一个整体，就是这样（因为，两个连续的位移仍旧是一个位移；因为一个位移能够被逆向的位移或“返回”所抵消，等等）。然而位移群的结合律性质相当于“迂回”的行为，在这一点上，对于空间的一致性来说是基本的。因为，如果到达点因所经途径不同而时常在改变的话，那就会没有空间可言，而只有可与赫拉克利特所谈过的那条江相比拟的永恒流水了。

其次，群是转换作用的基本工具，而且还是合理的转换作用的基本工具。这种转换作用不是一下子同时改变一切，而是每一次转换都与一个不变量联系起来。这样，一个固体在习常空间里位移，就让它的大小保持不变；一个整体被分成为许多部分，就让总和保持不变，等等。只要有了群结构，就完全可以揭露梅耶森（E. Meyerson）用来建立他的科学认识论的那个反命题的人为性质了；按照他的反命题，一切变化都是非理性的，只有同一性才是理性的特点。

群作为转换作用与守恒作用不可分割的结合，是构造论的无与伦比的工具。这不仅由于群是一个转换的体系，而且还因为，并且主要因为，通过一个群分化成它的子群，以及有可能通过这些子群之一过渡到另一些子群，这些转换在某种程度上是可以加以配方的。就是因为这样，除了被位移图形的大小之外（因此是距离），位移群让它的角、平行线、直线等保持不变。于是人们能使大小改变而保持其余一切不变，就得到一个较普遍的群，而原位移群成了这个更普遍的群中的一个子群：这就是相似群，可以在不改变形状的情况下放大图象。接着，人们可以改变图象的各个角，但是保持它原来的平行线和直线等，这样就得到了一个更普遍的群，而上述相似群就成了它的一个子群, 这就是“仿射”几何群，例如，把一个菱形改变成另一个菱形，这个群就要发生作用。继续把平行线改变而保留直线，于是就得到一个“射影”群（透视等），先前那些图象所构成的群就成了它嵌套的子群了。最后，连这些直线也不保留，而在某种程度上把某些图象看作是有弹性的，唯一被保留下来的是图象上各个点之间一一对应的、或对应连续的对应关系，于是这就产生了最普遍的群，即拓扑学所特有的“同型拓扑”（homeomorphies）群。这样，各种不同的几何学原先看来是静态的、纯粹图形化的、分散在不相联系的章节里描写的模型，现在使用群结构之后，就正好形成了一个巨大的构造，其转换作用，因为有了子群之间的嵌套接合关系（emboltement），就可以使得从一个子结构向另一个子结构过渡成为可能（且不谈普通测量学；我们可以依靠拓扑学，从普通测量学中引出非欧几何或欧氏几何的特殊测量学，从而再回到位移群上来）。克莱因（F. Klein）在《埃尔兰根纲领》（Programme d’Erlangen）这部著名著作里所陈述的，就是这个从图形几何变成一整个转换体系的根本改变。这是由于群结构的运用而为我们取得了的可以称之为是结构主义的确实胜利的第一个实例。

母结构

但这还只是一个部分的胜利。在数学界可以称之为结构主义学派的，也就是布尔巴基学派（les Bourbaki）的特征的乃是企图使全部数学服从于结构的观念。

传统的数学，是由各不相关的章节如代数、数论、数学分析、几何、概率论等等所形成的一个整体，其中每一部分研究一个特定的领域，各自研究若干被内在性质所决定的“存在”或对象。群结构可以应用于极不相同的成分，而不是仅仅适用于代数的运算。这个事实促使布尔巴基学派按照类似的抽象原理来展开对种种结构的研究。如果我们能把诸如数、位移、射影等（而我们已经看到，这里既有运算的结果，也有加在运算本身上的运算）这些已被抽象化了的对象称为“成分”，群的特性却不是由这些成分的本性来确定的。群以高一级的新的抽象超越这些成分；这新的抽象就是要抽绎出我们可以使任何一种成分都能受其支配的某些共同的转换规则。同样，布尔巴塞学派的方法，就是用组成同型性（isomorphismes)的办法，去抽绎出最普遍的结构，使各种不同门类的数学成分，不问这些成分来自哪个领域，完全根本不管它们各自的特殊性质，都能服从于这些最普遍的结构。

这样一件工作的出发点，是某种归纳法，因为我们所研究的各种基本结构的数目和形式都并不是先验地推演出来的。这种归纳法，导致发现了三种“母结构”，即所有其它结构的来源，而它们之间被认为是再不能互相合并了（三这个数目，是经逆退式分析得到的结果，不是某种先验构造的结果）。首先是各种“代数结构”，代数结构的原型就是群，但是还有群的派生物（“环“[anneaux英文为rings]、“体”[corps英文为field]，等等）。代数结构都是以存在着正运算和逆运算为其特点，即有从否定意义上体现的可逆性（如T是正运算，T-1是它的逆运算，则T-1·T=0）。其次，我们可以看到有研究关系的各种“次序结构”，它的原型是“网”（reseau或treillis，英文为lattice或network)，也就是一种普遍性可以和群相比拟的结构，这种结构最近才有人进行研究（戴德金德（Dedekind〕、比尔霍夫（Birkhoff〕等人）。“网”用“后于”（succede）和“先于”（precede）的关系把它的各成分联系起来；因为每两个成分中总包含有一个最小的“上界”（后来的诸成分中最近的那个成分，或“上限”[supremum]）和一个最大的“下界”（前面成分中最高的那个成分，或“下限[infimum]）。网和群一样，适用于相当大量的情况（例如，适用于一个集合中的“部分集合”或“单化复合体”[simplexe]，或适用于一个群和它的那些子群，等等）。网的可逆性普遍形式不再是逆向性关系了，而是相互性关系：如用加号（+）替换乘号（·）、用“先于”关系替换“后于”关系，就使“A·B先于A＋B”这样一个命题转换成了“A＋B后于A·B”这样一个命题了。最后，第三类母结构是拓扑学性质的，是建立在邻接性、连续性和界限概念上的结构。

这些基本结构被区分出来并被阐明了特性之后，其它结构就通过两个过程接着产生：或者通过组合的方式，把一些成分的整体，同时放到两个结构中（例子是代数拓扑学）；或者通过分化的方式，也就是说，硬性规定某些确定子结构的限制性公设（例子是，用引进直线守恒，接着是平行线守恒，接着是角的守恒，……等的办法，以连续一个接一个嵌套的子群的形式，从同型拓扑群中派生出来的各种几何群）。人们同样还可以从强结构到“比较弱的结构”进行分化，例如，一个结合律性质的“半群”，既没有中性成分，也没有逆成分（自然数> 0）。

为了把这些不同方面互相联系起来，为了帮助说明结构的普遍意义可能是什么情况，值得先思考一下：“数学建筑学”（布尔巴基学派用语）的基础，是否具有“自然的”性质，或者只能建立在公设化的形式基础上？这里我们已经可以在“自然数”指正整数的意义上使用“自然（的）”这个术语了；正整数在数学上使用它们之前先已经构成，是用从日常活动里所抽出来的运算构成的，这些运算，如早在原始社会里一对一的物物交换中所使用的、或是儿童玩耍时使用的一一对应的关系，在坎托尔（Cantor）用来建立第一个超穷基数以前，已经使用了几千年了。

人们可以惊奇地看到，儿童在发展过程中最初使用的一些运算，也就是从他加在客体上的动作的普遍协调中直接取得的运算，正好可以分为三大范畴，划分的标准，根据：运算的可逆性来自逆向性，象代数结构一样（在这个儿童的特殊情况下，是分类结构和数的结构）；或运算的可逆性来自互反性，象次序结构一样（在这个特殊情况下，是序列、序列对应关系、等等）；或者是运算组合系统不是以近似与差别为基础，而是来自邻近性、连续性、和界限的规律，这就组成了一些初级的拓扑学结构（从心理发生学的观点来看，这些结构先于矩阵结构和投影结构，与种种几何学的发展历史正好相反，但却与理论推衍产生的顺序相符！）。

所以，这些事实似乎表明，早从智慧形成的相当原始阶段时起，布尔巴基学派研究所得的那些母结构，在如果不说原始、自然还是非常初步的，并且从理论层次上说离开这些母结构所能具有的普遍性和可能有的形式化程度还很远的形式下，就已经与智慧的功能作用的必要协调，有相对应的关系了。其实，要证明刚才讨论的那些初始的运算在事实上来自感知-运动（级）协调本身是不会很难的，在人类的婴儿身上和在黑猩猩身上一样，这些协调的工具性动作肯定已经具有若干“结构”了。

但是，在阐明从逻辑观点看来上面这些见解意味着什么之前，我们先要看到，布尔巴基学派的结构主义，在一个值得指出的潮流的影响之下，正在转化演变的过程之中。因为这个潮流的确使人看到了发现——如果不说造成——新结构的方式。这就是要创立“范畴”麦克莱恩[MacLane] 、艾伦贝格[Eilenberg]等），也就是说要创立一个有若干成分的类，其中包含这些成分所具有的各种函数，所以这个类带有多型性（morphismes)。事实上，按照现在的词义，函数就是一个集合在另外一个集合上或在自身上的“应用”，并导致建立各种形式的同型性或“多型性”。这差不多就等于说，在强调函数时，范畴的重点不再是母结构，而是放在可以发现出结构来的、建立关系的那些程序本身上面。这就又等于把新结构不是看成从先前的各种运算已达成的各种“存在”中引出来的，而是从作为形成过程的这些运算本身里抽绎出来的。

因此，巴普特（S．Papert）在上面所说的范畴里看到的，更多地是为真正理解数学家的运算而努力，而不是为了理解“一元化”数学的运算法的努力，这不是没有道理的。这儿就是反映抽象的一个新的例子，说明这个反映抽象法的本质，不是来自客体，而是来自加在这些客体上的那些动作（即使原先的客体已经是这样抽象得到的一个结果），这些事实，对于结构构成的性质和方法而言，是很宝贵的。

逻辑结构

初看起来，逻辑学似乎是结构的特别有利的领域，因为逻辑学是研究认识的形式，而不是研究认识的内容的。而且还进一步，当我们在（第六节已经指出的）“自然数”这个：“自然”的意义上提出自然逻辑这个问题（现时逻辑学家的看法不对）时，我们很快就看到，逻辑形式处理过的内容仍然有某些形式，具有可以逻辑化的形式的方向，这些内容的形式包括了一些加工得更差的内容，但这些内容又是有某些形式的；如此依次类推，每一个成分对于比它高级的成分来说是内容，而对于比它低级的成分来说是形式。

但是，固然这些形式上的嵌套接合关系和形式与内容的相对性，对于结构主义理论说来都是极有启发意义的，逻辑学对于这些关系和相对性的问题却并不感觉兴趣，只是在形式化的界限问题上，才间接地有关。符号逻辑或数理逻辑（今天唯一算得上的逻辑）是建立在这上升的形式一内容阶梯上任意一点的，不过要有使这任意一点成为一个绝对起点的系统化的意图；这样一个意图是合理的，因为这个意图借助于设定公理的方法是可以实现的。事实上，只须选择一定数目的概念和一定数目的命题作为起点；把这些概念看作是不能下定义的，意思是说，这些概念是用来为其他概念下定义的；并且把这些命题看作是不要加以论证的（因为对于所选择的体系而言，选择这些概念是自由的），而这些命题却是为论证服务的。不过，这些基本的概念和公理应该是充分的，它们相互之间可以并存，并且要减少到最低限度，就是说不是多余的。其次，要只用运算程序的形式给自己定出一些构造规则；于是形式化就成为一个自给自足的体系，并不求助于外在的直觉，而且这个体系的起点在某种意义上是绝对的。不言而喻，还有一个形式化的上界问题，还有要知道那些不能下定义和不要加以论证的范围有多大，这些认识论的问题。但是，从逻辑学家所处的形式观点来看，这儿无疑就是唯一的一个在纯粹是内部调整意义上、也就是在完全自身调节作用的意义上、绝对自主的例子。

因此，从广义的观点出发，我们可以同意，每一个逻辑体系（逻辑体系是有无数个的）都能组成一个结构，因为每一个逻辑体系都具有整体性、转换性和自身调整性这三个性质。然而，一方面，这是些专门为此（ad hoc）建立起来的“结构”。而不管我们是否说出来，结构主义的真实倾向却是要达到“自然的”结构；“自然的”这个概念有点模棱两可，并且经常是名声不好的，它或者是指在人性中深深扎根的意思（有重又回到先验论上去的危险），或者相反是指有一个某种意义上独立于人性的绝对存在，它只是应该适应人性而已（这第二个意思有重又回到超经验的本质上去的危险）。

另方面，这里有一个更严重的问题：一个逻辑体系，就它所证明的定理的整体而言，就是一个封闭性的整体。但是，这只是一个相对的整体，因为对那些它不加以证明的定理而言（特别是那些不能决定真假的定理，原因是形式化有限度），这个体系的上方是开放着的；而且这个体系的下方也是开放着的，原因是作为出发点的概念和公理，包含着一个有许多未加说明的成分的世界。

后面这个问题，是我们称之为逻辑学的结构主义所特别关心的问题。因为逻辑学结构主义所明白说出来的企图，就是要找出，在被所设定的公理法定了的作为出发点的那些运算下面，可能有些什么。而我们已经找到的，乃是一个若干真正结构的整体，不但可以和数学家所使用的大结构——这些大结构使人在直觉上必须接受，与它们的形式化无关——相比拟；而且与数学家所使用的某些大结构是有同一性的，于是它又成了我们今天叫做普通代数学的这个结构理论的一部分。

特别使人感到惊奇的，是十九世纪符号逻辑学的伟大创始人之一——布尔的逻辑学，构成了一种代数学，叫做布尔代数学。布尔代数学保证了“类”的逻辑和传统形式下的命题逻辑的解释，而且相当于模数为2的算术，就是说它唯一的值是0和1。可是，我们可以从这个代数学中引出一个“网”的结构，只要在所有网结构的共同特性上，增加一个分配性的特性，一个包含着一个极大成分和一个极小成分的特性，还有主要的一个是互补性的特性（这样，每个项都包含了它的逆向或否定项）：于是人们称之为“布尔网”。

另一方面，排中选言的（或者是p或者是q，不能兼是两者）和等价的（既是p又是q,或者既不是p也不是q)这两种布尔运算，二者都能组成一个群，而且这两个群之中的每一个群，都可以转换成一个交替的环。这样，我们看到，在逻辑学上又找到了数学上通用的两个主要结构。

但是，此外我们还能抽绎出一个更普遍的群，作为克莱因四元群（groupedequaternalite)的一个特殊情况。假定是这样一个蕴涵命题p => q的运算：如果我们把这个命题改成逆命题（N），就得到p·(-q)可这就否定了蕴涵关系）。如果我们把p ＝> q命题的两个项对调，或者单保持原来的蕴涵关系形式而放在否定了的命题之间（-p =>-q),我们就得到它的互反性命题R，即q=>p。如果在p=>q命题的正常形式（也就是p.q V (-p).q V (-p).(-q)中，我们把符号（V）和（·）进行交换，我们就得到p=>q命题的对射性命题C，即(-p).q。最后，如果我们保留p=>q命题不变，我们就得到了恒等性变换I。于是，我们就以代换的方式得到：NR=C；NC=R；CR=N；还有NRC＝I。

这样，就有了一个四种变换的群，其二值命题逻辑运算（命题可以是二元的、三元的、等等）提供的例子，和用它的“部分的集合”的那些成分组成四元运算所得到的例子有同样的多；这些四元运算中的某些例子可以是：I＝R和N＝C，或者I=C和N＝R；但是，自然从来不能I=N的。

总而言之，在逻辑学中存在着一些完全意义的“结构”，这是很明确的，而且对于结构主义理论来说，更加有意义的是，我们可以从自然思维的发展中追溯这些结构在心理上的起源。所以，这里有一个问题，要留在将来再加以讨论。

形式化的权宜性限度

但是，关于逻辑结构的思考，对一般结构主义来说，还有另外一个好处：就是指明在哪些方面“结构”不能跟它们的形式化混为一谈？并且指明，在什么上面，从一种我们将要努力逐步加以说明的意义上说，结构是从。“自然的”现实中产生的。

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

这些阐述第一个值得注意之点是，在诸结构是可以互相比较的某个特定的领域内引进了结构相对强弱的概念。这样，引进的等级关系马上就暗示了一个构造论观念，就象生物学里不同特性的等级关系曾经暗示过演化论观念一样：一个弱结构使用较初级的方法去论证，而设计越复杂的工具则和愈来愈强的结构相对应，这样看似乎是合理的。

然而，这个构造论观念并不是随便想出来的。哥德尔这些发现的第二个基本教训，的确就是非常直接地迫使大家要接受构造论观念，因为要在论证其不矛盾性方面完成一个理论，只分析这个理论的先验的假设是不够的，而必须去建造下一个理论！直到那时候，人们原可以把各种理论看作是组成了一座美丽的金字塔，建立在自给自足的基础之上，最下面的一层是最坚固的，因为它是用最简单的工具组成的。但是，如果简单性成了弱的标志，如果为了加固一层就必须建造下面一层，那金字塔的坚固性实际上是悬挂在它的顶上；而金字塔的这个顶端本身也没有完成，而要不断往上增高：于是金字塔的形象要求颠倒过来了，更确切他说，是被一个越往上升越来越大的螺旋塔的形象所代替了。

事实上，结构作为转换体系的观念，因此就与连续形成的构造论（constructivisme）一致了。然而，事情发展到这种样子的理由归根结蒂是相当简单的，而且意义是相当普遍的。我们已经从哥德尔的研究结果中引出了若干关于形式化的限度的重要看法，并己能证明除了存在形式化的等级之外，还存在着不同程度地半形式化半直觉性的或相近的知识的不同等级，可以说，它们也在等着实现形式化哩。因而形式化的界限是可变动的、或权宜性的，而不是象标志王国的疆界的一个城墙那样，一旦封闭，就一成不变了。拉德利哀（J．Ladriere）曾提出一个巧妙的解释，他认为“我们不能一下子就把思维可能有的各种运算一览无余”。这是第一个正确的估计。但是，一方面，我们思维可能有的运算数目不是一下子就能确定的，而是有可能逐渐增加的；另一方面，我们的浏览能力随着智力的发展而变化很大，所以，我们可以希望浏览能力的扩大。反之，如果我们考虑到第7节开头所提到的形式与内容的相对性，干脆他说就是由于这样的事实：不存在只有形式自身的形式，也不存在只有内容自身的内容，每个（从感知一运动性动作到运算，或从运算到理论等等的）成分都同时起到对于被它所统属的内容而言是形式，而对于比它高一级的形式而言又是内容的作用。初等算术是一个形式，这是毫无疑问的；但是，初等算术在超穷算术中成了一个内容（作为“可数的幂”）。结果是，在每一个层次上，一定内容的可能的形式化，仍然是受到这个内容的性质所限制的。相对于各种具体的动作来说，“自然逻辑”虽然是一个形式，但“自然逻辑”的形式化并不能推得很远；直觉数学的形式化能推得远得多，虽则对这些直觉数学要加以修正，才能对直觉数学作形式化的处理；依次类推。

然而，如果说在人的行为的各个阶段，直到简单到感觉-运动图式，以及这些图式的特殊情况知觉图式等，都能找到一些形式，那末是否可以从中得出结论说，一切都是“结构”，并且就此结束我们的陈述呢？在一个意义上也许可以说是的，但是只有在这个意义上，就是说一切都是可以有结构的。可是，结构作为种种转换规律组成的自身调整体系，是不能跟随便什么形式混为一谈的：我们说一堆石子也有一个形式（因为依照“格式塔”学派的理论，存在着“好”形式，也有“坏”形式），但是，只有当我们给这堆石子作出一个精致的理论，把它整个“潜在”运动的体系考虑在内，这堆石子才成其为一个“结构”。这个问题，就把我们引到物理学上来了。

智能化应该不是信息化、数字化的简单延伸、扩展，而是一种与后两者大不相同的新型范式，智能不仅是掌握已知的信息、学习已有的知识，更重要的是生成有价值的信息、知识及有效地使用这些信息、知识。同时，也是理性逻辑推理与感性超逻辑判断的统一。

数学结构与逻辑结构是不同的

计算与算计的结构也是不相同的

未来智能实验室的主要工作包括：建立AI智能系统智商评测体系，开展世界人工智能智商评测；开展互联网（城市）大脑研究计划，构建互联网（城市）大脑技术和企业图谱，为提升企业，行业与城市的智能水平服务。每日推荐范围未来科技发展趋势的学习型文章。目前线上平台已收藏上千篇精华前沿科技文章和报告。