未完成的流中的推理

共同工作的轨迹要变得可以理解，需要找回的就不只是最新结论。双方当时要回答什么问题，考虑哪些替代，尝试什么，发生什么，判断又为何改变？生活轨迹的形成说明痕迹怎样把早先活动接到现在；本篇进一步把它们组织为探究历史，让结论仍与它的根据和形成经过相连。

世界、过程与表达中的阅读环境提供一个接续的例子。「方便访问」最初引导共同构造。整齐的书架已经实现，本人却说，继续读某个段落仍然困难。现在需要区分做成什么与想要什么，比较解释，再尝试修订。保留这段运动，后来的反思才有材料：最终界面本身不能说明，双方怎样逐渐理解这里的方便访问究竟意味着什么。

探究可以从意象、张力、问题或行动倾向开始，此时还没有现成命题。表达使选定关系能够被讨论和检查。从表达发展为候选与局部判断，本身就是轨迹的一部分。

Yinyang 的世界观把这些活动放在同一个变化世界中，本体论则追问对象怎样形成、持续和改变。工作中的计算本体明确表达当前问题所需的对象、事件、状态、关系与转移，供模型解释、推理和使用。这里以过程本体论引导这些区分，既能描述实际心理活动，也能展开假设情境或虚构对象，并在有用时支持模拟。人和语言模型共同形成问题与这份模型，按实际能力分工开展显式推理、构造与观察，再通过同一场持续交流修订。自然世界与计算抽象展开表征与其物理基础的关系。这里的问题是怎样形成和检验这些模型，而非用假说形成的方法定义计算。

过程与当前视图

溯因—预测之流可以容纳尚未相合的材料。不合可能提示隐藏关系；候选解释组织这些材料，产生条件性预测；观察再区分、支持或修订解释。多个解释可以保持可用，包括互斥或不可比的解释。冲突打开问题，却不决定哪个解释真实。语境、时间与表征差异也可能解释表面冲突，探究并不总须从冲突开始。

工作视图是双方为当前问题形成的一份可用理解：正在解释什么，哪些根据暂被采用，哪些候选仍待比较，准备怎样推论、尝试或检查。它可以用几段文字、一张图或一个明确的知识库表达。视图由参与者在处境中构造；发现新的关系、重新提出问题，也能改变它，而不只是从已有档案里筛选内容。论文、图示、言语和记录保留已经明确的关系，使这种构造可以返回根据。

工作视图与生成式描述相接：个人哲学、合作方向与修订方法帮助双方理解这次应该怎样工作，当前视图则把它们用于具体问题。一个阅读任务可以采用「保住思路的线索」作为方向，进一步决定这次需要返回哪个段落、依据什么判断阅读已经接续。使用暴露出的差别，又可以改变那份较持久的描述。两者的区别在于承担的用途；同一段文字可以在不同活动中承担其中一种或两种作用。

表达改变能够检查什么。「结果不对」的感觉，可以先成为关于结果去向的问题，再成为关于结果如何产生的候选解释。每一种表述打开一些检查，也把另一些留在范围之外。因此，探究必须同时考察问题的表述与得到的答案。下文的阅读环境例子使这场运动变得具体。

关系先于句子

直觉不只是生成候选之前的一个起点。它在展开中参与辨认、筛选、组合和拒绝，使一些可能继续，另一些暂时退出视野。偏好影响什么值得关注，经验与理由则参与判断这些可能能说明什么。广阔阅读与具身感知不断提供新的关系，所以筛选与生成能够相互推动。多个有意义的候选可以同时留待考察；理解它们的实际差别，才使当前的选择有内容。

「充分探索」相对于问题及其后果成立：有没有看见会改变判断的重要替代，哪些分歧尚需材料，何时已有足够根据继续行动。这给予探索以方向和停止条件。形式化在明确关系、验证后果或实现作品时发挥作用。关系的初步展开，为它提供值得阐明与检查的内容。为什么这样组织参与说明这种安排为何服务于直觉、感官与广阔阅读的培养。

关系可以通过类比、场景、意象或不合感，在完整句子出现之前变得可辨。表达借回返、修正和词汇变化展开它。片段可以承载几种发展中的关系，不同重建使不同部分进入焦点。忠实性通过返回表达试图阐明的对象、语境和目的来评估。

「神经式生成、符号式约束」是功能类比。依赖语境的生成可以揭示可能、判断、拒绝和修订。显式表示使前提、来源、优先关系、冲突和证明可检查。统计评估处理不确定性与拟合，逻辑检查显出无效连接。这些功能可以在任一方的贡献中交叠。区分帮助双方按照具体探究所需组织合作。

逻辑贡献一种可调用的检查能力。即使表示改变，求真、可纠错、相关证据与避免任意推出，仍指导成熟的事实论证。选择的价值取向可以提供表达与行动的起点：人可以探索重视自主或培养会带来什么。取向尚未向每个可能的读者得到辩护时，其后果已经能够展开。沿途作出的事实主张仍回应证据，推理主张仍回应前提与连接。检查先问重建是否关乎表达的对象与目的，再问结论需要哪种支持。

怀特海：重要性、表达与视角的修订

怀特海的《思维方式》为这里提供了一条联系。第一讲第 3–6 节把有限智性的选择与相对重要性联系起来，视角则体现相关性的等级。重要性与事实性相互需要：注意一个事实，已经让它进入某种关切。这帮助说明，选择什么值得关注，并不等于宣称其他可能是假的。怀特海把重要性视为基本概念；把它化约成「偏好加理性分析」的公式，会缩小这个概念的范围。

第二讲第 1 节讨论有限事件的视角怎样通过表达进入环境，也明确把选择放在表达之中。因此，公开表达的内容不必复述此前容纳的全部可能；一句话、一幅图或一个行动，给选出的关系以确定形式。表达比语言说明和演绎后果更广，后两者只是人把某些东西带给他人的具体方式。

第三讲第 1–3 节及第 6–7 节把理解描述为对关系不断深入、仍不完整的领会。它既可以在既有模式中增加细节，也可以通过新模式，让原先忽略的细节变得相关。证明从前提出发，而前提已经预设了证据。这为同时考察探究所采用的抽象，以及在抽象之内推理，提供了根据。理解也可以深化一个保留的视角，并不每次都要改变选择。

Yinyang 据此发展出一条联系：容纳可能并按重要性选择，展开表达与检验后果，再回头修订选择及其前提。这些贡献可以交叠、反复发生。兴趣、价值与有理由的比较共同参与工作视图的选择，分析又能改变什么显得重要。新的理解可能重新打开被省略的关系、改变轻重，或重构使原来选项看似穷尽了一切的前提。这与问题的辩证重构相连，但不把这种方法等同于怀特海的哲学，也不把理解的全部内容等同于重新选择。

如果某种表达被判断为在多个视角下更好，需要给出这种比较的根据。逻辑蕴含说明在指定前提与解释下能够推出什么，并不直接保证它在大多数现实情境中可行；还需要考察相关情境、目的与经验支持。保留多个视图，可以使结论不那么依赖单一选择，但它们共同遗漏的部分仍可能需要修订。让选择的后果变得可理解，与用其重要性代替证据，是不同的事情。

学习实践提供了一个具体例子。广泛准备保留题目与可能，实际练习则删去大部分覆盖，依据当前重要性选出极少数，再用示例、图表与反复检验强化。反馈可能改变哪些局部重要，使参与者回到较广的材料，或重新组织问题。选择使注意力集中，却不穷尽以后可能变得有意义的东西。

工作本体随问题形成

工作本体明确当前问题所需的领域概念、关系和约束，包括有关的持续与变化。过程本体论提供理解方向，具体问题决定哪些区分需要展开。例如，私人圣状中的本人、伙伴、未完成的作品、纠正与继续，可以在自然语言中取得明确关系，并被模型用于下一次工作。圣状的形成展开这一用途。概念可以引入、弱化、替换或重组。计算机中的使用者可以使用清楚自然语言承载的区分，也可能需要更形式化的表征。这些区分的含义需要在使用中保持；事实主张仍须符合实际情况，推理则在选定解释与前提下展开后果。双方都能考察这两方面。只保留词汇并不实现这一点。更多定义可以增加表达力，也增加修改说明的成本。

节制要求新增结构对解释、预测或行动有所贡献。「最小充分模型」表达在问题的实际证据下节制复杂度的偏好。充分性通过它回答的问题和展开的后果评估；不同模型可以服务于不同用途。仅复述目标结论的前提，可以使推理有效，却几乎没有增加解释。有限探究与节制的抽象区分表示成本、形而上承诺与最终还原。

问题改变，可以使本体改变。询问程序是否执行某项操作，需要区分调用、状态与输出；询问程序是否实现某个目的，还需要预期结果及其使用条件。第一个答案可以正确，同时第二个问题仍未得到回答。有用的重述使新增关系明确，并检查此前哪些结论仍然适用。

来源、候选与当前工作区

注意、保留与接受具有不同效果。从当前使用中移除候选，释放工作区，同时让来源及之后重新考虑的可能保持可用。保留不相容解释，使替代解释可供比较；将其断言共同接受为经典前提，则使推理面临矛盾。解释尚在形成时，来源也可能值得保留。当前问题决定哪些分支值得追究。

工作视图明确当前问题所需采用的依据，而更广的来源材料仍保持可用，包括不相容的报告与解释。后来的结果可以改变选定前提、问题，或生成与评价候选的方式。递归改进进一步追踪修订后的方法怎样通过解释与实现进入后续活动。

探究历史把这些差别保留在时间中。已经放弃的分支，可以保留当时的问题和放弃的理由，而不继续充当活跃指令或已接受的结论。返回这个分支，可能解释早先的选择，也可能显出某个条件已经改变。当前说明写出双方现在怎样判断，保留的轨迹则让这份判断的形成仍然可以被考察。

比较冲突候选之前，需要确定其断言是否涉及同一对象、时间与条件。昨天失败的运行与今天成功的运行，都可以被准确报告。生活轨迹的形成展开保留的报告怎样参与当前判断。

可选的原生记忆可以支持这些区分，并不代替其中的判断。在阅读环境的例子中，保留的报告、观察到的页面变化与对阅读摩擦的解释，各有不同根据。Hindsight facts 保留可归属的内容，Observations 整合可修订的解释，按问题定义的页面则展开可供使用的描述。生成描述仍须回应原件与当前检查。共享这些来源的六个相邻答案，是协调的解释，并非支持同一解释的六位独立见证者。选择工作视图与确立其根据的区别，在工具变化后仍然成立。

反求解释，再比较后果

溯因从观察反求可能的解释结构；演绎在所提结构内展开后果。回应、失败或意外结果，可以提示系统如何过滤输入、使用何种区分或缺少哪个前提。多个解释可能预测同一回应。单次观察通常不能唯一识别内部机制，交互也可能改变它所探测的条件。

回到假设的阅读环境。模型报告访问已经有效，因为测试能够打开选定的书；本人却仍然不能方便地接着阅读。一种候选是执行缺陷：界面可能打开了错误的目的地。另一种候选是问题不合：检查的是打开一本书，想要的却是返回相关段落。操作痕迹与显示结果的检查可以考察前者，本人的使用与澄清则参与考察后者。如果正确的书已经打开，却仍需要反复寻找，那么操作成功与目的未达都可以被准确报告。下一版本可以尝试直接返回段落，是否有用仍需实际使用。

由此形成的探究历史，可以连接原来的请求、两种候选、检查过的版本与打开操作、本人的反馈、改变的问题，以及修订后的界面。它也保留曾经考虑执行缺陷，以及检查若排除了它，为什么将它搁置。后来的摘要若只写「本人偏好直接链接」，便会丢失这段关系怎样被发现、检验并取得工作形式的经过。这个例子说明这些连接使什么能够被找回，没有报告实际做过的实验。

比较候选需要两个方向。先重建可能的前提与关系，再推出能区分它们的后果，并与观察比较。内部自洽的故事并不足够。预测失败可能来自无支持的前提、遗漏条件、错误重建或不适合的推理方法。定位失败，有助于决定修改什么。

比较后果也能辨认支撑到哪里结束。非空可接受候选族中每个成员都支持的结论，对该候选族稳健；共同遗漏仍可能使它在现实中落空。候选出现分歧时，进一步观察可能区分它们，也可能有一个有限结论在分歧中继续成立。偏好 Harness 展开两个分别的选择：考虑哪些视图，以及接受结论需要何种支撑。

这个区别重要，是因为选择调查什么，尚未决定相信什么。候选的后果重要或容易检验，可能使它值得关注，同时它仍然缺少支持。反过来，一个支持充分的局部结论，也能够被接受，而不穷尽每一种可想象的替代解释。对证据的可回应性与有限完成属于同一关系：视图说明自身条件下能支持什么，流则保持向后来的纠正开放。

共同科学探究

从保留对立到形成新的工作统一，可能需要超出选择某个既有视图。如果可用视图共同采用了不合适的前提，就要修订产生这些选项的区分与关系。模型之间的冲突与问题的重构展开这项辩证比较；修复例子则把精确的推理主张，与重新形成模型的工作区分开。

保留冲突与比较解释，为后来的反思准备了材料；它还不等于已经把对立统一起来。当问题触及「独立」「帮助」等概念怎样组织经验时，还需要考察是否应改变前提与关系。言说、对立与自我形成承接这一问题，方法上的来源保留与推论检查则仍在这里发挥作用。

分析、解释假说形成、综合、演绎与经验评估可以组织共同探究。它们允许回返、交叠和从已有模型进入。皮尔士的探究论述为区分解释假说、经验后果与评估提供历史参照，见 1908 年手稿 MS 841。这些区别帮助追问贡献从哪里进入，以及之后需要什么评估。

人—模型合作按贡献与能力分配工作。直觉生成与辨认可以在任意位置参与；模型也能贡献候选，并承担表达、计算、调查和检查。局部直觉可以为调查提供方向，模型的表述可以让其蕴涵变得可见。事实支持来自这项工作展开的相关观察和有根据的连接。

学习与完成任务仍是不同目的。合作可以创造生成、辨认和修订关系的机会，同时把显式工作推进到预期结果。领域方法决定何种参与有用。外部记录保存相关语境，供恢复与比较。实际分工从具体合作中形成：人希望发展什么，双方各能贡献什么，工作需要什么。

不止一层的反馈

观察、方法、形式设计与具体断言，本身都可以成为探究对象。某层的结果可以促使另一层修订。关系、约束、优先关系与因果依赖含义不同，画成没有区别的边会丢失推理所需信息。说话次序只是活动中的一条路。

沿着阅读环境的例子，可以看清反馈究竟改变什么：

这些关系由人的理解、模型的解释、可用工具与实际活动接起来。尚未说清的感受可以引出问题，但只有已经表达或能够观察的部分，才成为双方可以共同取用的材料。新的经历也会改变习惯、注意和可用能力；记录与文字修订捕捉其中有关的变化。要把修订方法本身带进这一返回，还须使改写的方法在后来怎样取材、比较和行动中真正发挥作用。

预测与面向世界的反馈，把局部视图接到后续活动。新的支持或不合，可以改变候选、问题、概念或判断所选取的依据。偏好一文展开早先的选择怎样变得可见并接受重新检视。基本判断与它后来的修订，是相连但不同的问题。

版本与分支可以保存表达这些理解的文字和实现，使一次尝试具有可恢复、可比较的形式。理解版本的含义，还需要相应的问题、理由与使用后果。一次分支可以发展多个候选，一个候选也可以跨几份记录形成。已经足以回答当前问题的视图可以支持完成；后续活动出现的新对象、证据或方法问题，再让有关理解返回探究。

结论足够清楚，能够引导行动并显出根据时，推理便取得局部结果。它的范围表明回答了什么、哪些替代解释仍有实质影响，以及何种新证据会要求重新考虑。活动可以完成，同时继续能够被纠正。由此留下一个更精确的问题：怎样选择工作所采用的视图，又由什么证据与推理规则支持接受其结论？偏好 Harness 进一步展开选择与支撑各自的贡献。在阅读轨迹中，这意味着既保留为什么选择直接访问段落，也保留哪些观察支持说修改后的安排确实有所帮助。