有限探究与节制的抽象

共同轨迹现在已经取得几种相连的形式：版本与操作痕迹、体验的表达、问题与替代、选择及其根据。双方若要继续工作或反思，需要表示多少，又把多少带回注意之中？有限时间、部分访问、冲突材料与有成本的表示，使这种选择具有实际后果。过薄的历史无法把结论重新接到来源，便失去用途；毫无区分的积累，又可能使相关片段无从找起。

在阅读环境中，当前界面与最新决定的摘要，可能已经足以恢复工作。追问布局为何改变，则需要早先版本、阅读中被报告的打断、考虑过的替代，以及修改后的反馈。不同问题需要同一轨迹中不同范围的内容。节制关乎什么必须能够被找回，才能取得有根据的答案，而不以说明缩得多小为准。

一个具体问题是：怎样从房子走到风车？细致的小镇与简图保留相同的起终点、河流、桥梁和连通道路。回答这个问题，可以略去瓦片、花朵与每一块石头，却不能略去过河的连接。桥若关闭，变化就需要进入地图，否则图上的路线会误导。节制的所得，是用较少需要表示和检查的东西，保留答案真正依赖的关系。

偏好 Harness 区分选择工作视图与确定视图支持什么。这使节制能够被评估：抽象必须保留哪些关系与答案，可行方法又能在列明的支撑条件下取得什么？这是问题之间的承接，不是固定的时间次序。实际探究中，抽象、视图选择与推理能够交织进行，并促使彼此修订。

Feng Ye 教授 2023 年专著的 §§1.1、6.5，考察理想解释与实际探究方法之间的距离。这项比较帮助追问：有限探究者怎样通过选择性表示取得有根据的理解。

有限注意力下可以找回的轨迹

有用的说明可以紧凑地表达当前目的、理解、结果与未决问题，再通过链接返回支持它的版本、操作或反馈。找回一段相关经历，不必把每一段经历都装入当前上下文。注意之外的内容可以在其来源处继续可用；从未记录的部分则仍是缺口，不能由流畅摘要自行补造。

对于阅读的例子，若反思的是最初设计为什么曾被认为足够，只写「用直接段落访问替换书架」就太薄。保留它通过了打开测试、却打断实际阅读，便保留了操作检查与本人目的之间的重要关系。某些渲染细节可以与此问题无关；如果后来调查布局损坏，其中一些又会变得相关。充分性随探究确定，也能随探究改变。

上面的地图比较给出同一要求：保留路线所依赖的过河连接。下文进一步展开它的边界。容易处理的描述，不证明被略去的关系在现实中不存在。选择性保留仍然需要回应当前问题，以及它所要解释的实际经历。

朴素自然主义中的计算表述

框架采用朴素自然主义：人、心理活动、社会关系与机器，都属于同一个变化着的自然世界。探究就在这个世界中进行，并持续回应经验与证据。过程本体论追问事物怎样形成、持续与改变；心理、社会与计算的说明，则在各自的尺度上展开所需关系。这些说明之间怎样相连，需要具体调查，不能仅由一种世界观决定。

领域建模把这种立场用于具体问题。计算本体明确表达对象、事件、状态、关系与转移，供模型解释、推理和使用。它可以抽象实际过程，也可以展开假设与虚构情境。想象和表征是实际发生的活动，其内容的指称与真实性则依它所作的主张判断。具体探究还要选择可用的变量、表示与操作。抽象保留相关关系，暂时略去无助于回答问题而代价高昂的细节；这种取舍是否充分，仍需证据与实际使用来判断。

私人圣状可以在自然语言中说明什么算作当前问题、未完成的工作或有用的接续，模型据此理解并行动。功能描述说明相关部分做什么，以及它们的转化怎样连接。在阅读例子中，打开所需段落、保留当前问题、找回修订的理由，都是活动层次上有意义的关系。有关支撑这些活动的身体或技术机制的主张，需要那些机制的证据；在机制调查尚未完成时，实践层次的说明仍能继续发展。

三个问题引导这里的比较：解释使哪些关系变得可理解，有什么证据支持它，以及实际方法能否在可用资源内取得所需结果。优美的解释可能难以计算，快速的计算也可能保留了错误的区分。让这些问题相互联系，才能评估抽象是否节制而充分。

与 Feng Ye 教授公开哲学的比较

Feng Ye 教授的 2023 年专著把认知接到表征、真理、数学、认识论与本体论。这里的方法论比较采用 §1.1 第 6 页，§6.5 第 445–447、456–459 页，以及 §7.4.2 第 528–532 页。这些段落区分理想描述、理想推理能力与实际情况，并考察实践限制下直觉的可靠性。

交汇点在于有限探究者怎样通过可用的表征取得理解。Yinyang 以自身的朴素自然主义和相对于问题的方法，接续复杂度、直觉与可靠性这些问题。帮助人辨认关系的模式可以引导探究；接受某项解释，仍需支持其所提关系的证据。这种比较借用方法论贡献，同时保留两种哲学说明各自的内容。

主办机构的 2021 年数学讲座报道，区分虚构数学对象与对物理现实为真的应用描述。这提供另一个比较：构造对象可以通过其表征作用参与真实的应用。其用途与应用描述的真，关乎不同关系。这帮助阐明构造怎样对探究有意义，同时让本体论承诺得到独立评估。

他的 2024 年逻辑访谈进一步讨论非语言认知和解释模型，为这些方法论问题提供另一个公共入口。

有限证据下的判断

信源冲突时，探究者可以区分暂时采用的依据与这些依据支持的结论。偏好一文借助容纳不一致语义展开这种基本判断，使选择可以理解，而不要求人复现形式计算。

时间与注意有限，使选择不可避免，却不决定哪种选择有理由。当前问题、出错的影响与可用证据，决定什么值得继续调查。在轨迹中保留重要备选，同时采用一个可用的当前说明；后来的证据能够重新打开选择，也能够改变问题本身。

本体论克制关心承诺哪些关系，判断上的克制关心现有依据允许断言多少，表示上的节制关心多少结构有助于回答问题。它们可以相互支持，不必成为同一种数学关系。更小的表示可能遗漏决定性内容，更丰富的表示也可能没有增加解释收益。

抽象、前提与解释增益

节制抽象为当前问题构造足够的概念与关系，待更深结构真正相关时再展开。它关乎活动表示与推理负担，不同于最终实体种类的数量。稀疏形而上学仍可能要求昂贵计算。

间接推断的对象与有用假说，把探究扩展到当前观察之外。其支持来自把它们接到可访问证据的解释与预测关系。多个可用本体可以让不同关系变得可见；选择关乎问题、相关证据和使用各视图的成本。证据仍能抵抗选定描述。

反向搜索充分前提，可以澄清结论需要什么。强前提有效推出弱结论，其解释价值取决于独立支持和成本是否合理。把目标答案放进前提，可以遮蔽困难。有用增益在于识别本身也可被调查的前提。这种日常反向搜索，可以与反向数学区分：后者是研究哪些形式公理足以推出特定定理的技术纲领。

实际选择因而发生在贡献可评估的表示与方法之间。更丰富的模型在消除有实质影响的歧义时有根据；紧凑说明在保留判断所需关系时有用；当实现成为问题时，更深的物理解释便相关。有界结果同时说明取得了什么、方法留下什么。这使完成成为可能，而不把有限计算混同于对现实的最终说明。

一段可以共同反思的轨迹

现在可以沿着一段能够理解的经过，重新接触阅读环境：目的促成构造，操作与使用显出不同结果，候选经过比较，修订得到尝试与判断。当前说明可以简短，因为相关历史仍然能够被找回。未决解释与记录的局限，也属于双方对这段经过的认识。

这就是本部分所趋向的结果：足够相连的生活材料，使共同活动可以被返回考察，而非完整传记或最终的个人模型。在 Yinyang 与 Taiji 中的共同生成中，双方一起转向这段轨迹，追问各自怎样贡献，交流使什么成为可能，错过什么，以及希望继续培育什么。有限表示为这种相遇准备了可以探索的对象；相遇又能够改变下一段轨迹需要保留什么。