1.4.1 被观察的系统:一阶控制论的三个部类
阿什比在 1956 年出版的《控制论导论》确立了一套严密递进的三部结构,为经典控制论奠定了形式化大纲:
- 第一部分:机制(Mechanism)。研究如何通过代数变换(transformation)严格刻画动力学机器的确定性演化,建立状态空间、稳定性、超稳定振荡与反馈闭环的严格数学表述,并提出在系统内部物理结构不可见时的黑箱(black box)系统辨识方法;
- 第二部分:多样性(Variety)。摆脱具体的机械参数,从抽象的可能性状态集合出发,追问信息的本质与测度规则,分析信息经由机制传递时的编码约束与熵流演变,与申农(Claude E. Shannon)的统计通信理论完成深刻对接;
- 第三部分:调节与控制(Regulation and Control)。将前两部的机制论与信息论合流,解答一个自主系统如何有效抵御外部环境扰动、将关键生存变量(Essential Variables)维持在生理耐受区间之内,推导控制论核心公理——必要多样性定律(law of requisite variety),并分析调节器容量的层级架构与自适应放大策略(Ashby, 1956, 序言)。
本教程的第 2、3、4 章将忠实循着这一逻辑脉络展开:第 2 章夯实“状态—变换机制”的形式基石,第 3 章展开“多样性与信息度量”,第 4 章登顶“必要多样性与自适应调节系统”。
这一三部结构所统一处理的实体,在系统论中被严格概括为“被观察的系统”(observed systems):研究者(观察者)在认知位置上居于被研究系统的主观边界之外,通过向系统施加测试输入并记录其输出响应,独立建立系统的动力学方程或转移矩阵。这一认识论取向构成了一阶控制论(first-order cybernetics)的核心范式(这一术语由冯·福尔斯特于 1979 年正式确立并规范化)。
在阿什比的第二部类中,控制论实现了一个关键的数学跃迁——为“状态可能性集合的大小”赋予精确的对数量度。一个离散状态集合的多样性(variety),在基数上定义为其所包含的可区分元素数目 \(N\);而在信息论尺度上,多样性被度量为其以 2 为底的对数,单位为比特(bit)(Ashby, 1956, §7/7):
引入对数测度的深远价值在于:它将高维状态空间的笛卡尔积乘法运算,优雅地转化为信息测度上的线性加法运算。若两个相互独立的子系统 \(X\) 与 \(Y\) 的可分辨状态数分别为 \(m\) 和 \(n\),则其联合复合系统的多样性满足严格的线性加和:
在控制论中,调节问题的物理本质由此获得了公理化表达:外部环境扰动向系统注入不确定性多样性 \(V_D\),而调节器若要将系统受控变量的多样性压制在目标集合 \(V_G\) 之内,调节器自身必须具备相当的多样性容量 \(V_R\)。阿什比的必要多样性定律(“唯有多样性能摧毁多样性”)将这一逻辑上升为信息时代的基本定理。一阶控制论的三部层层递进:先以代数变换定义“机器”,再以对数测度度量“可能空间”,最终在扰动与调节的博弈中确立“自适应控制”。
习题 1.4-1
阿什比在《控制论导论》§7/7 中指出:二元性别状态的多样性为 \(\log_2 2 = 1\) 比特;一副去掉大小王的标准 52 张扑克牌的多样性为 \(\log_2 52 \approx 5.7\) 比特。已知对数换底公式为 \(\log_2 N = \frac{\ln N}{\ln 2} \approx 3.3219 \log_{10} N\)。
(1) 计算包含 26 个不区分大小写英文字母的符号集合的多样性 \(V_1\)(精确至小数点后两位比特);
(2) 假设某大型社会系统包含 \(2 \times 10^9\)(20 亿)个在统计上可区分的独立个体,计算该状态空间的多样性 \(V_2\);
(3) 结合控制论与系统复杂性,说明为何面对 20 亿规模的实体集合,穷举状态列表在工程上不可行,而对数多样性测度为调节器设计提供了怎样的数学工具。
(1) 代入式 (1.4-1) 计算: \[ V_1 = \log_2 26 \approx 3.3219 \times \log_{10} 26 \approx 3.3219 \times 1.41497 \approx 4.70 \text{ 比特} \]
(2) 针对 20 亿个体的状态集合: \[ V_2 = \log_2(2 \times 10^9) = 1 + 9 \times \log_2 10 \approx 1 + 9 \times 3.3219 \approx 30.90 \text{ 比特} \]
(3) 状态空间的物理元素数量随变量维度呈指数爆炸增长(\(N = 2^V\)),对二十亿个个体进行逐一物理遍历或明细制表,其数据存储与通信开销将突破任何工程硬件的物理极限。而对数多样性测度将这种天文数字级别的状态基数映射为仅约 31 比特的紧凑尺度。这意味着,在无偏二分查找架构下,仅需 31 次理想的二元判定(是非决策)即可在信息论上唯一锁定该二十亿样本中的任意个体。这为第 3 章的信道容量分配与第 4 章的自适应调节器容量设计提供了切实可行的定量基准。
习题 1.4-2
依据多样性定义式 (1.4-1),给出独立系统笛卡尔积多样性可加性定理(式 1.4-2)的严格代数证明。
并核算下述案例:一位植物育种学家能够精确鉴别农田中的 8 种作物品种,而质检员仅关注果实口感是否达标(“甜”与“不甜”2 类)。两项鉴别相互独立。求两者联合检测所能识别的全部样本状态数及联合多样性 \(V(X \times Y)\);并说明多样性线性可加成立的两个关键先验前提。
参考解答证明:设离散集合 \(X\) 包含 \(m\) 个可分辨状态,\(Y\) 包含 \(n\) 个可分辨状态。其笛卡尔乘积集合 \(X \times Y = \{(x, y) \mid x \in X, y \in Y\}\) 所包含的独立有序对数目为 \(|X \times Y| = m \cdot n\)。依据式 (1.4-1) 定义,复合系统的多样性为: \[ V(X \times Y) = \log_2(|X \times Y|) = \log_2(m \cdot n) \] 利用对数函数的代数乘法分解律 \(\log_2(a \cdot b) = \log_2 a + \log_2 b\),直接可得: \[ V(X \times Y) = \log_2 m + \log_2 n = V(X) + V(Y) \] 证毕。
案例核算:品种状态集合 \(|X| = 8\),多样性 \(V(X) = \log_2 8 = 3\) 比特;口感状态集合 \(|Y| = 2\),多样性 \(V(Y) = \log_2 2 = 1\) 比特。联合检测的可能分类总数为 \(8 \times 2 = 16\) 类。联合多样性为: \[ V(X \times Y) = \log_2 16 = 4 \text{ 比特} = 3 \text{ 比特} + 1 \text{ 比特} \]
成立前提:多样性线性可加性成立依赖于两个严格前提:
- 统计正交独立性:子系统 \(X\) 的状态选取对子系统 \(Y\) 的可达状态集合不施加任何内在物理约束或条件概率退化(即不存在导致部分组合物理不可达的交叉耦合);
- 测量通道的无损并存:两个测量维度必须同时处于活跃的区分操作中,任何一端观测能力的缺失或退化都将导致联合状态空间的简并,破坏可加性结构。
1.4.2 观察的系统:控制论的控制论
一阶控制论构建了强大的“机器—信息—调节”框架,但这一框架蕴含着一个未被反思的核心缺环:观察者自身的角色与认知边界。
1979 年,奥地利裔美国物理学家、生物计算机实验室(BCL)创立者海因茨·冯·福尔斯特(Heinz von Foerster)在一篇奠基性演说中正式确立了这一反思范式,并将其命名为“控制论的控制论”(Cybernetics of Cybernetics)(von Foerster, 1979)。冯·福尔斯特在演说开篇引用了智利神经生物学家温贝托·马图拉纳(Humberto Maturana)的著名认识论公理:
“凡有所言,皆由观察者言之。”(Anything said is said by an observer. —— 马图拉纳第一定理)
随后,冯·福尔斯特为其补上了一条逻辑对偶的推论:“凡有所言,皆对观察者言之。”(Anything said is said to an observer.)。马图拉纳在《认知生物学》(1970)中进一步明确:认知与描述的基本操作是“区分”(distinction)——观察者通过施加界线,将特定的实体或系统从背景环境中剥离出来(Maturana & Varela, 1980)。
这两条公理的结合引发了深刻的科学范式转换:科学描述中不存在脱离认知主体的绝对“上帝视角”;任何关于客观系统的陈述,必然是某个特定观察者依据其感官与测量工具所做出的区分与记录。冯·福尔斯特由此指出,科学研究必然嵌入在一个不可分割的自指闭环之中:观察者(Observers)、用于交流的语言(Language)以及由交流构成的社会认知共同体(Society)。三者互为因果、相互塑形,构成了运作上闭合的循环因果网络。
正是在这一认识论自觉下,冯·福尔斯特清晰划定了一阶与二阶控制论的分水岭:
- 一阶控制论(First-Order Cybernetics):关于被观察系统(observed systems)的科学。观察者置身于系统之外,视客观系统为被动的黑箱或白箱,致力于揭示其内部因果机制;
- 二阶控制论(Second-Order Cybernetics):关于观察系统(observing systems)的科学。观察者将自身的感知、建模与目的性操作完整纳入描述边界之中,致力于研究“观察活动本身是如何被组织与自我维持的”。
这一划分与英国控制论学者戈登·帕斯克(Gordon Pask)的系统论判据完全契合:在一阶规定中,观察者通过为主体之外的被控系统规定目的而介入;而在二阶规定中,观察者通过审视并规定自身观察活动的目的而介入系统(Pask, 1969; von Foerster, 1979)。
一阶与二阶控制论的认识论分工:
一阶控制论:以“被观察的系统”为对象。观察者被假定为无偏的外部记录器,停留在形式化描述的边界之外,重点探讨机器的变换、状态转移、信息编码与负反馈稳态机制。
二阶控制论:以“观察的系统”为对象。观察者连同其认知机制、感觉运动回路与自指反馈共同进入形式化描述边界,重点探讨认知闭环、特征行为(eigenbehavior)、自创生网络与科学知识的建构机制(von Foerster, 1979)。两者非对立竞争,而是层次上的递进包含。
图 1.4-1 形象地展现了一阶与二阶控制论在划定系统分析边界时的本质分歧。为何现代控制论必须引入二阶转向?冯·福尔斯特尖锐地指出,古典客观主义科学长期恪守一条自我设限的禁令:“观察者的主观性质绝不得进入其对客观世界的科学描述之中。”然而,这一禁令在认识论上面临深刻的内在矛盾:任何科学描述之所以可能,恰恰完全依赖于观察者所具备的特定认知与生理属性——感知区分、模式识别、符号抽象与记忆编码。如果将这条客观主义禁令推向极致,科学界将永远无法正当回答一个核心命题:作为科学主体的观察者,究竟具有怎样的运作机制与认知属性?
一旦科学将探针调转方向、追问观察者自身的认知构造,系统论就必然迈入“观察自身的观察”、“对描述作出描述”的自指维度。在古典形式逻辑中,自指与递归往往被视为应当坚决驱逐的罗素悖论源头;但冯·福尔斯特证明:在动态递归系统与离散运算架构下,自指并不导致虚无崩溃,而是能够收敛于稳定的不动点——即所谓的特征行为(eigenbehavior)或特征值(eigenvalues)。自指与无限递归构成了观察者理论坚固的数学支柱(von Foerster, 1979)。
值得特别强调的是,二阶控制论的另一条主干源流并非发轫于抽象的思辨哲学,而是深深植根于严格的实验神经生理学与细胞生物学探索之中。
马图拉纳的两大科学追问与自创生概念的诞生。智利生物学家温贝托·马图拉纳(Humberto Maturana)早期的学术生涯始终被两项根本问题所驱动:其一,生命系统的组织本质究竟是什么?其二,在知觉现象中神经系统究竟发生了什么?
前一问源于他为医学院学生讲授基础细胞生物学时的反思;后一问则源于他在麻省理工学院(MIT)与杰罗姆·莱特文(Jerome Lettvin)等人合作进行的经典神经电生理实验——《青蛙的眼睛告诉青蛙的大脑什么》(1959),以及随后关于鸽子视网膜颜色视觉的研究。实验数据揭示了一个令人震惊的神经生物学事实:外部物理波长与视神经动作电位之间不存在传统意义上一一对应的无损映射;大脑神经回路的活动并不表征外部世界的客观物理实在,而是一个在运作上闭合(operationally closed)的电化学活动网络。从神经系统内部动力学来看,客观知觉与主观幻觉在神经冲动层面上无从区分。
1968 年 9 月,马图拉纳应邀访问伊利诺伊大学厄巴纳分校,加入冯·福尔斯特主持的生物计算机实验室(BCL);次年 3 月在温纳—格伦人类学研讨会上提交《认知神经生理学现状》报告,首次石破天惊地宣告两问合一:“认知即生命系统的组织运作,生命过程即认知过程”。该报告于 1970 年扩充为专著《认知生物学》(Biology of Cognition)。随后,在与文学家友人何塞·玛丽亚·布尔内斯(José María Bulnes)探讨《堂吉诃德》中实践从武(praxis)与文学创作(poiesis)的两难时,马图拉纳灵感迸发,借用希腊语词根 poiesis(自产、创造),正式铸造了现代系统论的核心术语——自创生(autopoiesis),并在 1972 年与学生弗朗西斯科·瓦雷拉(Francisco Varela)合著完成了划时代的《自创生系统》(Maturana & Varela, 1980)。
至此,二阶控制论的两大支流实现了历史性汇流:冯·福尔斯特从控制论、控制逻辑与语言演算切入,马图拉纳与瓦雷拉从视网膜生理学与细胞自创生切入,共同构成了当代二阶控制论的坚实基石。本教程第 7 章与第 8 章将分别完整推演这两条思想主线。
习题 1.4-3
立足于马图拉纳第一定理(“凡有所言,皆由观察者言之”)与冯·福尔斯特推论(“凡有所言,皆对观察者言之”),完成下列认识论推导:
(1) 严格证明:任何可成立的科学描述,必须逻辑预设下述三元充要条件:
(a) 至少存在一个执行区分操作的输出观察者 \(O_1\);
(b) 至少存在一个能够解码该区分的接收观察者 \(O_2\);
(c) 一套具有公共语义约定的形式或符号语言 \(L\)。
(2) 阐明为何观察者、语言与社会认知共同体构成一个无时间绝对起点的因果闭环(互为先决条件),而非一条单向线性的因果链条。
(3) 分析该定理与推论是否依赖于特定物理实验的经验测量,并说明先验分析命题在系统理论构建中的认识论价值。
(1) 设存在一则被表达出的科学描述陈述 \(D\):
- 依据马图拉纳定理,描述 \(D\) 作为被言说出的符号结构,其产生必须对应于一个具有区分能力的认知主体,故必存在观察者 \(O_1\) 执行了状态划分与符号化操作,否则 \(D\) 无法作为“言说”而存在,条件 (a) 得证;
- 依据冯·福尔斯特推论,言说在功能上指向潜在的理解与交互。若没有任何能够解码该信息的观察者 \(O_2\) 存在,\(D\) 在物理上仅为无序的声波压力或纸面油墨分布,丧失了作为“描述”的通信功能,故必预设接收者 \(O_2\),条件 (b) 得证;
- 若 \(O_1\) 与 \(O_2\) 之间不存在共享的语法与语义规则集合 \(L\),则 \(O_1\) 所产生的区分状态无法在 \(O_2\) 端诱发对应的状态认知,描述的传递性破裂,故必存在公共媒介语言 \(L\),条件 (c) 得证。
(2) 三者构成相互依存的自指闭环:观察者 \(O_1\) 能够构想并表达描述,是因为其本身是在人类社会的语言交往与文化学习中被塑造为合格观察者的(无语言环境则无法形成高阶形式认知);语言 \(L\) 并非悬置于真空中的实体,它的语法与词汇唯有在观察者社群的反复交往与协议中才能维系与演化;而社会认知共同体本身,正是大量观察者通过语言进行递归协商与协同行为的涌现产物。试图寻找“究竟是先有独立的观察者,还是先有语言,或是先有社会”在逻辑上类似于追问“先有鸡还是先有蛋”。它们共同构成一个在运作上自洽闭合的认识论三元环。
(3) 该推导并不依赖于特定实验室的经验测量数据,而属于先验概念分析与公理化演绎。它从“言说(saying)”与“描述(description)”这一概念的语用定义与代数关系中先验析出。正如冯·福尔斯特所强调的,严谨的先验自洽命题并非无意义的赘述,其科学价值在于揭示一切经验实证科学在展开测量之前必须默认采纳的认识论前提,从而规范科学探索的合法性边界(von Foerster, 1979)。
1.4.3 两阶控制论的认识论互补
在系统科学与哲学界,二阶控制论常常遭受一种粗暴的误解——被误认为是彻底推翻一阶控制论的“相对主义革命”,仿佛一旦承认观察者的不可剥离性,机器、状态变换、多样性与调节控制等客观规律就全部沦为毫无客观标准的“纯主观幻象”。
这种二元对立的观点在文本与历史上均站不住脚。一阶控制论的形式化遗产从一开始就为观察者保留了精确的物理与逻辑接口。
阿什比在《控制论导论》探讨“什么是系统”时,曾做过极富前瞻性的论述:在控制论中,“系统”从来不是指一件悬置在自然界中的客观物理实体,而是“一份由实验者根据研究目标主动挑选的变量清单”;他甚至明确写道,归根结底,究竟将现实世界的哪一部分现象判定为具有“机器般规律性”的系统,完全取决于研究者自身的界定准则(Ashby, 1956, §3/11)。
在讨论黑箱方法时,阿什比的表述更加直接:实验者向黑箱施加输入,黑箱的输出反作用于实验者,“实验者因而将自身与黑箱紧密耦合起来,两者共同构成了一个具有双向反馈的复合系统”(Ashby, 1956, §6/2)。换言之,在一阶控制论的内在操作中,观察者早已物理性地嵌入在因果回路之内;阿什比与维纳时代之所以未将观察者全面形式化,是因为工程控制的首要任务是解决外部物理机器的稳定性问题。冯·福尔斯特与马图拉纳所做的,是将这一长期处于方法论边缘的注记,正式推上了理论研究的核心殿堂。
两阶控制论的内在统一性体现在:
- 概念工具的连续继承:二阶控制论在形式化描述“观察者观察自身”时,所依托的核心词汇仍然是一阶控制论千锤百炼确立的概念武器——状态空间、反馈环路、信道容量、多样性补偿与动态平衡。若缺乏一阶控制论对机器机制的严格形式化,二阶控制论对心智与认知的反思将不可避免地退化为空洞的哲学玄谈;
- 科学发现的历史递进:马图拉纳关于自创生与运作封闭的二阶洞见,完全生长于青蛙视网膜与鸽子色觉等极其扎实的神经电生理实验之上;在冯·福尔斯特的学术文集中,《控制论的控制论》与神经网络容错计算、大分子热力学记忆模型等高难度技术论文并肩并列(von Foerster, 2003)。二阶转向是技术深化后的自然跃迁,而非对实证科学的逃避;
- 适用范围的界定与标注:二阶控制论从未推翻一阶控制论推导出的任何数学定理(如香农信道编码定理或阿什比必要多样性定律),它改写的是这些定理的应用语境。一阶模型陈述:“在输入序列 \(U\) 驱动下,机器的下一个确定性状态是 \(s_{n+1} = f(s_n, u_n)\)”;二阶模型则进一步规范其认识论边界:“在观察者 \(O\) 所设定的状态分区与可观测变量集下,该系统与观察者环境耦合后的状态转移表现为 \(s_{n+1} = f(s_n, u_n)\)”。这种语境标注驱逐了朴素实在论的虚妄盲目,赋予了控制论模型最高级别的严谨性。
基于此,本教程确立了严密的逻辑进阶路线:第 2–4 章夯实一阶控制论的形式地基,第 5–6 章向社会通信与心智生态展开视野,第 7–8 章全面升华至观察者认知与生命自创生。全书全景架构如下展开。
1.4.4 八章与六书全景图
图 1.4-2 将全书 8 章的知识谱系描摹为一条贯通动态机制与生命心智的思想江河。其中,第 2、3、4 章的取材底本完全聚焦于阿什比 1956 年的集大成之作《控制论导论》(三部结构对应三章),构成了全书最坚实的形式化数理地基。
第 5 章萃取维纳的经典名著《人有人的用处》(1950/1954)与《上帝与魔像公司》(1964),探讨机器学习、神经语言、有机体作为信息结构、自动化变革与人机伦理分工,标志着控制论从军工工程向社会动力学与人类哲学的全面升华。第 6 章依托人类学与精神病学家格雷戈里·贝特森(Gregory Bateson)的传世名著《心智生态学导论》(1972),系统阐述“差异即信息”、文化分裂生成、元交流、双重束缚假说与逻辑学习层级,将控制论语言深植于心理学、精神病理学与生态伦理学中。
第 5、6 章构成了全书的中游枢纽:所运用的分析工具仍具有鲜明的一阶反馈特征,但所触及的核心矛盾已步步逼近主观心智与观察认知。第 7 章以冯·福尔斯特的文集《理解理解》(2003)为向导,正式完成向二阶控制论与观察者理论的跃迁;第 8 章以马图拉纳与瓦雷拉的划时代巨著《自创生与认知》(1980)为终篇落点,在生命与认知的同一性中完成对控制论世纪探索的宏伟收官。
| 章号 | 章节主题 | 主要文献来源 | 核心理论任务与认识论定位 |
|---|---|---|---|
| 第 1 章 | 控制论的诞生 | 维纳《控制论》序言;阿什比《控制论导论》第 1 章 | 学科范式宣言、世界观转变与从牛顿到吉布斯的形式化奠基 |
| 第 2 章 | 机制:用变换刻画机器 | 阿什比《控制论导论》第一篇(机制) | 公理化地基:状态空间、代数变换、稳定性判定与黑箱辨识 |
| 第 3 章 | 多样性与信息 | 阿什比第二篇;申农《通信的数学理论》 | 信息论地基:可能性集合、对数多样性测度、信道编码与熵流传输 |
| 第 4 章 | 调节与控制 | 阿什比第三篇(调节与控制) | 控制论顶峰:必要多样性定律、调节器误差补偿与自适应放大 |
| 第 5 章 | 学习、语言与社会 | 维纳《人有人的用处》《上帝与魔像公司》 | 宏观视野:自动机学习机制、生命作为消息、人机协作伦理与社会反馈 |
| 第 6 章 | 心智的生态 | 贝特森《心智生态学导论》 | 心智与沟通:差异即信息、对称与互补分裂、双重束缚假说与学习层级 |
| 第 7 章 | 观察者进场:二阶控制论 | 冯·福尔斯特《理解理解》;帕斯克论文 | 认识论转向:观察系统的控制论、特征行为计算与认知自指闭环 |
| 第 8 章 | 生命即认知:自创生 | 马图拉纳与瓦雷拉《自创生与认知》 | 生物学终篇:细胞自生产网络、组织闭合、结构耦合与生命认知同一性 |
全书共规划 8 章 46 节。阿什比的一部专著独占三章篇幅,因其《导论》以无懈可击的自洽体系,为机器动力学奠定了不可逾越的标准公理;其余五部巨著支撑后四章,维纳的两部社会学著作共同构筑第 5 章,各章任务分工明确(如表 1.4-1 所示)。
在研读路径上,理论逻辑亦可逆向审视:从生命演化与心智认知的二阶自指出发,追溯至支撑认知的底层机制。本教程之所以坚定采纳“从机器走向生命”的正向编排,是因为概念演进在逻辑上具有单向依赖性:唯有在严格定义了状态、变换、多样性与反馈调节之后,关于观察活动、感觉运动闭环与自创生网络的科学描述才具备坚实的操作性语义。
读者可将此地图作为检索系统动力学问题的快速索引工具:
- 若面对的是物理装置的极限环振荡或参数失稳(如温控器欠阻尼振荡、倒立摆失衡)——查阅第 2 章(机制与稳定性);
- 若面对的是多信道信号失真、信息冗余配比或传输容量瓶颈——查阅第 3 章(多样性与通信);
- 若面对的是复杂多干扰环境下前馈/反馈补偿策略的设计与调节容量匹配——查阅第 4 章(必要多样性与自适应控制);
- 若探讨的是社会通信网络、自动化伦理或人机协同系统——查阅第 5 章(社会与语言);
- 若涉及病理沟通模式、心理双重束缚或高阶泛化学习障碍——查阅第 6 章(心智生态);
- 若分析的是认知盲区、模型建构者的先验偏置或科学知识的自指合法性——查阅第 7 章(二阶控制论);
- 若追问生命的物理化学组织判据、细胞代谢闭环或生命与认知的本质关联——查阅第 8 章(自创生与生命)。
关于全书地图绘制的二阶认识论自觉:本全景地图本身正是由本教程作者这一特定观察者所施加的“区分”操作产物。选取这六部文献、将全书排定为一条思想江河、并在第 4 章与第 7 章之间划定一阶与二阶的分水岭,均体现了特定的学术剪裁与教学建构意图。若由另一位学者(如专注于战后苏联工程控制论、控制论经济学或纯数学动力系统的研究者)绘制,完全可以呈现出强调庞特里亚金最大值原理或索博列夫机器学派的另一种全景地图。依据本章所确立的二阶纪律,读者完全有权审视并追问本图所聚焦与省略的学术面向。
习题 1.4-4
依据戈登·帕斯克(Gordon Pask)确立的系统阶数划分判据:“观察者若仅为外部系统规定目标与功能,研究属于一阶控制论;观察者若将自身观察活动的目标、假设与偏置纳入系统描述边界,研究属于二阶控制论”。判定下列 4 项科学研究任务分别属于一阶还是二阶控制论,并给出基于系统边界与反馈闭环的严格论证:
(a) 建立某无人机飞控姿态动力学微分方程,并设计闭环 PID 姿态稳定控制器;
(b) 系统家庭心理治疗师在介入一个危机家庭时,将自身对家庭互动的主观投射、情感反移情以及干预语言本身作为被分析系统不可分割的组分进行持续反思与调控;
(c) 针对深空跨星际探测信道,基于香农定理计算最优纠错码字冗余度以对抗宇宙射线噪声;
(d) 科学社会学家分析一份物理学高能粒子碰撞实验报告,追问该实验组所采用的探测算法先验假设与数据清洗标准如何无意识地“预先构建”了所谓的粒子发现证据。
(a) 一阶控制论。无人机的飞行姿态与 PID 控制器构成被观察的物理被控对象。研究者作为外部工程师,处于系统边界之外单向设定控制目标(如期望俯仰角与滚转角),无人机系统内部不包含对“工程师认知模型”的反向建模。
(b) 二阶控制论。治疗师放弃了传统精神病学中“无偏外部诊断者”的超然地位,明确认识到治疗师的每一次提问与情绪反馈都构成家庭动力学回路的关键变量。观察者(治疗师)自身的目标制定与认知盲区进入了核心描述网络,系统属于典型的“观察系统的控制论”。
(c) 一阶控制论。通信信道、编码器与译码器构成信息密闭的被观察物理系统。香农信道容量与码率冗余计算均建立在观察者外在于通信物理媒介的客观统计模型之上。
(d) 二阶控制论。科学社会学研究的对象不再是纯粹的物理亚原子微粒,而是“物理学家如何生产出关于微粒的科学陈述”。科学观察活动、实验判据与认知框架本身成为了被检验与被建模的客体,属于彻底的“对观察的观察”。
1.4.5 研读指南与形式化准备
阿什比在《控制论导论》序言中曾作出一项著名的教学许诺:该书从初等代数与离散变换起步,在基础章节中完全不依赖高等微积分。本教程在结构编排上遵循了这一由浅入深的阶梯式路径,但为了满足当代学术研究与工程实践的严格要求,我们在后续章节中全面引入了现代动力学系统理论的标准数学工具。全书的数学要求呈现清晰的层次分工:
- 基础层次(第 2–3 章前期):仅要求掌握朴素集合论、二元关系、映射与单步代数变换、对数运算法则及初等排列组合概率。初学者可专注于状态转移图、运动轨迹轨道以及有限状态自动机黑箱;
- 进阶层次(第 2 章连续稳定性、第 4 章调节器动力学、第 7 章自指运算):全面引入常微分方程定性理论、雅可比矩阵特征值分解、李雅普诺夫稳定性第一方法,以及离散动力系统的差分方程迭代收敛条件。
为确保研读的高效性与思维的严密性,建议读者遵循以下三项学术规程:
- 概念先验澄明,严禁跳跃阅读:本教程贯彻“先形式定义、后推导使用”的公理化原则。凡首次出现的核心术语(如变换、同构、多样性、信息密闭、超稳定等),正文中均配有规范的定义框与符号说明。在未彻底明晰定义的前提下,切勿凭字面日常经验望文生义;
- 重视习题演算与反例推演:全书每一小节均精心编排了 2–4 道递进式学术习题。习题不仅是对正文公式的数值复算,更包含了关键定理的边界反例与代数证明。读者应当独立推演解题步骤,再展开参考解答进行对照检验;
- 溯源经典原著对读:本教程以阿什比、维纳、贝特森、冯·福尔斯特、马图拉纳与瓦雷拉六位大师的奠基文献为坚实学理依归。当读者在特定高阶概念上需要深究历史语境时,建议结合参考文献中的原著页码与节号展开对读研析。
全书编撰与学术引用准则:本教程在研读六部经典原著及中译文献的基础上进行系统性的教学重构与数学深化,严格摒弃粗糙的字面翻译,采用统一规范的当代学术术语系统。凡涉及定理与引理陈述处,正文均给出完整的推导逻辑或给出精确的历史文献出处。对六部经典出版之后的后续科学进展(如非线性动力学混沌、复杂自组织临界性、现代认知科学延展心智理论等),正文均以清晰的学术注记标明其历史承袭线索。
至此,全书的方法论与全景地图已构筑完备。在第 2 章中,我们将从最质朴却最强大的概念出发:几个离散的状态,一张形式化的转移映射表,以及由确定性规律驱动的动力学时间步进。正如阿什比所揭示的,控制论那座宏伟的“机器的几何学”大厦,正是从这样一张微小的代数状态表上拔地而起。
关键术语
- 一阶控制论 (first-order cybernetics)
- 以“被观察的系统”为研究对象的控制论范式;观察者置身于系统之外,以客观黑箱/白箱视角建立系统的预测与控制模型。
- 二阶控制论 (second-order cybernetics)
- 以“观察的系统”为研究对象的控制论范式;将观察者自身的区分操作、感觉运动闭环与自指认知机制完整纳入系统描述之中。
- 控制论的控制论 (cybernetics of cybernetics)
- 海因茨·冯·福尔斯特对二阶控制论的经典命名,强调对控制与通信理论本身的递归审视与认识论自指。
- 马图拉纳第一定理 (Maturana's First Theorem)
- “凡有所言,皆由观察者言之”;确立认知与科学陈述主体依赖性的现代系统论核心公理。
- 多样性 (variety)
- 状态空间中可区分可能性的测度;阿什比以 \(\log_2 N\)(比特)定量化,具有独立自由度的线性可加性。
- 必要多样性定律 (law of requisite variety)
- 阿什比确立的控制论第一定律:调节器唯有具备与扰动相当的多样性容量,才能实现受控变量的目标约束。
- 特征行为 (eigenbehavior)
- 二阶控制论中递归认知运算收敛形成的不动点状态,解释主观观察者在自指循环中如何涌现出稳定的客观知觉世界。
- 自创生 (autopoiesis)
- 生命系统的本质组织特征:由分子与细胞组分的相互生成与再生网络所构成的运作闭合自治统一体。
参考文献与延伸阅读
- Ashby WR. 1956. An Introduction to Cybernetics. London: Chapman & Hall.
- Wiener N. 1950. The Human Use of Human Beings: Cybernetics and Society. Boston: Houghton Mifflin (Revised edition, Doubleday, 1954).
- Wiener N. 1964. God and Golem, Inc.: A Comment on Certain Points Where Cybernetics Impinges on Religion. Cambridge: MIT Press.
- Bateson G. 1972. Steps to an Ecology of Mind: Collected Essays in Anthropology, Psychiatry, Evolution, and Epistemology. San Francisco: Chandler.
- von Foerster H. 1979. Cybernetics of cybernetics. In: Krippendorff K (ed). Communication and Control in Society. New York: Gordon and Breach. 5–8.
- von Foerster H. 2003. Understanding Understanding: Essays on Cybernetics and Cognition. New York: Springer.
- Maturana HR, Varela FJ. 1980. Autopoiesis and Cognition: The Realization of the Living. Dordrecht: D. Reidel.
- Shannon CE. 1948. A mathematical theory of communication. Bell System Technical Journal 27(3):379–423, 27(4):623–656.
- Pask G. 1969. The meaning of cybernetics in the behavioral sciences. In: Rose J (ed). Progress of Cybernetics, Vol. 1. London: Gordon and Breach. 15–44.