导论 天文学世界如何发生
0.1 抬头之后，世界才开始成为问题
夜晚抬头，人可以看见亮点、明暗、疏密以及彼此的位置。可是，“看见了天空”与“已经拥有一个天文学世界”之间，隔着漫长而复杂的工作。一个亮点怎样与昨夜的亮点认作同一个？两次位置不同，是它在运动，还是观察者换了地方？一片微弱的光是一个对象，还是许多对象未被分开的显露？这些问题并非在对象已经完整摆好之后才附加上去。对象能够以何种身份进入研究，已经受到这些问题及其处理方式的规定。
设想两个人分别在不同地点记录同一颗亮星。这不是一个历史事件的复原，而是帮助我们拆开问题的简单思想实验。甲用山峰作参照，乙用屋顶作参照。甲说星在左边，乙说星在右边。他们的说法可以同时诚实，却不能立即比较。把左右译成共同方向仍然不够，因为日期、时刻和所在地都影响可见位置。只有在这些条件之间建立转换，两个地方的天空才获得一种可共享的对应。共享并非观察者的消失，而是观察差异经过组织之后产生的新能力。
这一步很容易被成熟知识遮蔽。今天我们用一个天体编号或一组坐标，便能把不同人的讨论连接起来。编号与坐标仿佛天然附在天空上，读者也往往将星表当作已经存在的对象清单。然而每一个稳定条目，都以某种方式解决了复认、区分、定位和记录问题。表格压缩了它的形成史。越是方便复用的成果，越容易让人忘记支撑这种方便的劳动，以及它在哪些条件下不再可靠。
天文学思想史由此具有双重任务。它需要讲述历史人物提出什么、观察什么、计算什么；也需要解释这些活动如何构成了可以继续操作的世界。仅仅列举不断增加的发现，无法说明为什么某些时代可以询问恒星的成分，另一些时代却连这个问题的证据入口都尚未建立。反过来，仅仅讨论观念如何变化，也可能忽视仪器、计算和实践如何改变了观念所能涉及的对象。
本书以SDE发生学尝试重新组织这个问题。S指显露，D指差异序列，E指特征纠缠。我们关心的不是给每段历史贴上三个字母，而是追问：一种显露通过哪些不断承接的差异得以稳定，又与哪些不能独立解释的特征相互构成？当新的显露成立以后，它如何改变后续可走的路径，以及对象能够在其中获得意义和作用的条件？这组问题需要用具体历史回答，而不能由抽象形式替历史回答。
因此，本书所说天文学家创造了新的天文学世界，具有明确的解释内容：他们参与形成新的显露单位、差异操作与特征纠缠聚合体系统。肉眼星区、轨道体系、光谱恒星、河外尺度、干涉成像和多信使事件，不仅是对同一张完成的目录不断添加注释。它们使不同的属性、对应关系、可计算量与研究行动得以成立。哪些变化达到这种构成上的强度，哪些只是精度提升或名称更改，必须分别判断。
这也意味着，创造世界不能靠修辞升级完成。换一个名字，未必改变研究对象；发表一个新模型，未必使它取得可靠身份；增加一台仪器，也未必产生新的属性系统。需要说明新增的构成关系在哪里，什么操作因此成为可能，什么判断因此必须修正。我们既不因术语新颖就宣布新世界已经诞生，也不因为旧编号被保留便否认对象的研究构成发生了深刻改变。
在这一意义上，历史连续与世界新生可以同时成立。新的研究系统会继承旧数据、旧坐标和一部分算法，也会拆开旧系统曾经混为一体的东西。过去称为同类的对象可能分化，过去被看作彼此无关的信号可能取得共同事件身份。连续性提供比较的基础，差异性使比较成为必要。思想史的责任正是说明两者怎样纠缠，而不是预先将历史写成彻底断裂或平滑累积。
读者不必在翻开本书时接受全部SDE主张。只需允许这些问题进入历史，并检查它们是否让某些通常被压缩的环节重新显露。如果它们能够指出一个未被说明的转换、一种被忽略的依赖，或者一次误把结果当起点的推理，便取得了具体价值。如果它们只把已有解释换了说法，本书就应当承认这一限度。理论进入历史，首先要承担被历史修改的责任。
0.2 遥远不是单纯的距离
天文学面对的遥远，首先是一种操作处境。对于绝大多数研究对象，人们无法像移动桌上的器物那样改变它的位置，无法让一颗恒星为了复核而重新演出过去的事件，也不能随意更换一个星系的组成。能够调整的，常常是探测器、观测时段、波段、计算方法和比较对象。研究者对对象的作用方式受到限制，但这并不意味着研究只能消极等待。它迫使科学把检验安排在不同的联接之中。
例如，一种解释若认为信号来自某个方向，就可能对别的仪器、别的时间或别的波段提出可以检查的要求。某些成分判断需要与实验室的物理过程比较；某些距离推断需要另一种尺度关系提供锚点；某些图像解释必须同时符合实际采样到的信号。可以改变的条件越有限，就越需要明确哪些约束彼此独立，哪些只是同一个假设的重复出现。
这里的有限不能只理解为信息太少。信息很多，仍然可能只覆盖对象的一部分；测量很精细，仍然可能共享同一种系统误差。把同一份资料经过不同程序处理，可能有助于检查算法依赖，却不能因此被当作多次完全独立的观测。证据力量来自差异的组织方式，而不只是条目数量。增加十个相同来源的支持，有时不如获得一个真正不同来源的限制。
由此可以理解天文学为什么不断依赖转换。角度转成位置，光强转成光度判断，光谱差异转成运动或成分约束，时间序列转成周期，若干观测转成可共享的源身份。每一种转换都有适用条件。条件不是结论之外的附加说明，而是结论能够以当前意义成立的一部分。脱离条件保留一个数值，很可能同时丢掉这个数值究竟在说什么。
特别需要警惕的是“间接”的贬义。间接推断不天然弱于直接观看。视觉也有光学条件，照片也有响应范围，现场读数也有仪器误差。关键不是中介有多少层，而是各层如何受约束，错误怎样被识别，结论在条件变化时是否保持稳定。一个推断链可以很长却可复核，也可以很短却无法排除混淆。思想史不应以“终于亲眼看见”作为所有证明的共同终点。
另一方面，承认中介的构成作用，不等于说任何结果都可任意制造。仪器有可以校验的响应，模型需要承担不符合资料的后果，新的分类必须面对无法容纳的个体。科学世界的生成包含阻力。正是这些并不听从研究者愿望的差异，使世界的形成有别于任意编写的故事。本书使用“发生”一词时，始终保留这种能够使判断失败的约束。
遥远还带来时间的结构。一次短暂事件结束以后，能够留下的可能只是记录和信号。后来的研究者无法回到原初观测处境，却可以重读记录、重新处理数据、换用模型或发现其他关联材料。历史因此不仅存在于研究对象的过去，也进入科学证据的现在。一张旧底片的作用，可能在新的分类和计算条件出现以后才扩展；其记录时刻与其知识作用的形成时刻并不相同。
同样，一种被保留下来的古代记录，可以进入远晚于记录者时代的问题。利用这种材料，需要尊重原有语言、纪年和记录目的。我们不能因为某条记录后来有助于研究天体事件，就假定记录者已经在从事同样的研究。记录的第一次使用和它后来的重新使用，属于不同的差异序列。它们能够联接，但联接需要被解释，不能靠后见之明直接抹平。
这使天文学思想史具有一种特殊的长时段结构。研究成果可以跨越很久的时间成为后来工作的条件，但这种潜能并不保证实现。资料可能散失，单位可能不明，工具可能失传，意义也可能无法翻译。把保存当作已经完成的传播，会忽视这些中断。真正进入后续研究的，是得到重新定位、校验和组织的材料，而不只是物理上继续存在的纸张或刻痕。
天文学的远距处境于是将一个普遍问题放大：人怎样在无法穷尽对象、无法消除所有中介的条件下，形成仍然值得信任的世界？本书的回答不从一项终极保证出发，而从具体成功和具体失败出发。我们将看见不同形式的可信性怎样形成，怎样扩大，又怎样暴露边界。这些边界不是知识之外的黑暗背景，而是知识继续发生的切口。
0.3 三条主线与竞争解释
全书第一条主线是天体身份。“这是什么”看似是最简单的问题，却可能同时涉及位置复认、运动规律、成分、结构、来源和分类目的。两个信号被判为同一个对象，需要条件；一个旧类别被拆成多个类别，同样需要条件。对于某些研究，稳定编号已经足够；对于另一些研究，编号稳定而物理解释仍可大幅改变。对象同一性不是一个在所有问题中保持相同内容的印章。
第二条主线是宇宙尺度。距离使许多属性获得不同意义：表观明亮与本征发光能力需要区分，角大小与物理大小需要联接，远近判断也可能影响对象类别。尺度不是只在研究开始时测一次的数字。校准变化会向下游传播，下游出现的不一致又可能促使研究者返回尺度来源。沿这条线，可以看到一个结果怎样变成条件，一个条件怎样再次成为问题。
第三条主线是证据制度。这里的制度不仅指学会或行政机构，也包括记表方式、比较规则、公开程序、错误报告和资料共享。一个结果能够被另一人检查，需要某种稳定传递形式。这种形式可能帮助差异积累，也可能让不符合既有栏目和分类的现象难以进入。因而制度既能增强研究能力，也能塑造研究盲区。必须具体检查，不能预先把制度只写成促进或压制科学的单向力量。
三条线并非各写二十章之后在结尾会合。身份可以决定哪些对象被当作尺度工具，尺度可以改变身份判断，证据制度又影响哪些身份与尺度得到复用。以变星研究为例，周期和亮度之间的关系只有在具体样本与比较条件中取得意义；这种关系后来能否成为测距资源，还需要额外校准和适用性判断。1912年勒维特相关原始论文呈现的表格和图形，为区分关系形成与后续工具化提供了明确入口。[导-1]
但这种研究方向并非无人踏足。科学史早已超越单纯的英雄名录；专业天文学史讨论观测、计算和模型竞争；科学哲学讨论观察的理论条件与对象的可靠性；统计学研究校准、误差与可辨识性。若只把这些成熟问题重新排成S、D、E三栏，就不能声称完成了理论创新。本书必须承认对手已经解释的部分，才能判断自己是否提出了更多需要回答的问题。
第一类竞争解释是以科学革命、研究传统和具体模型史为中心的解释。这类研究提醒我们，理论转换涉及评价标准、共同体和旧问题结构。本书与它的分歧不能被简化为“他们只看观念，我们看实践”，因为成熟史学本身就研究实践。真正应当比较的是：在某个具体案例中，解释是否明确到对象属性如何成立、不同操作如何联接，以及新成果怎样改变后来研究的可行条件。[导-2]
第二类竞争解释是表征、仪器和干预的哲学研究。它能够说明科学对象的可靠性如何与实际活动相连。天文学尤其适合检验这类讨论的适用范围，因为对遥远对象的干预常常受到强限制，而对信号取得与处理的干预却十分丰富。我们不能把实验室中有效的判断标准原样搬到所有天体上，也不能因为不能直接操纵恒星，就否认关于恒星的强证据能够成立。[导-3]
第三类参照是现代测量与统计方法。它们不是等待哲学替它们发现关联的简单工具。联合估计、模型比较和误差传播已经揭示许多深刻依赖。例如Gaia天体测量的核心求解，将源参数与姿态、校准等参数置于共同估计问题中，原始技术论文明确介绍了相应的分块处理。[导-4]本书不能把这一事实说成SDE新发现的算法。可以继续追问的是，这种联合成立方式如何进入对象属性的解释，以及它对历史叙述提出什么额外要求。
与这些解释和方法比较，意味着本书可能得到程度不同的结果。某些章节只能提供较清楚的整理；某些章节可能纠正把先后次序当成因果的叙述；某些章节可能辨认出以前未充分展开的跨系统构成关系。它们不必被强行放在同一高度。把一项细小但可核查的修正写清楚，比把每一次说明都命名为本体论革命更有价值。
同样，SDE理论文本是解释SDE概念的重要原始材料，却不单独证明天文学事实。科学家的论文、观测记录和仪器资料承担另一种责任。前者不能替代后者，后者也不能被任意改写成理论作者没有提出过的哲学主张。本书保持这两种来源之间的区别，正是为了让思想重构与史料研究能够真正相遇，而不是相互替代。
0.4 何种变化值得称为世界的发生
为了判断不同转折，本书首先区分精化、确立、重构与联接。精化是在既有研究关系中提高分辨力或修正参数；确立是让一种身份或联系获得较可靠的支持；重构是改变对象单位或属性系统；联接是让原来分立的系统形成新的复合研究能力。这不是按高低排列的四级荣誉，而是帮助我们避免把所有变化都称作同一种进步。
一次参数修正也可能非常重要。若某个尺度被广泛复用，它的调整就会影响大量后续推断。然而影响范围大，不自动等于对象构成方式全变。相反，一个只涉及较小对象集合的新分类，也可能深刻改变这些对象如何进入研究。变化强度不能只按影响人数、媒体关注或数值改动大小衡量，而应追踪哪些关系被保持、取消、增添或重新定义。
一个有用的判断办法，是问旧系统中的操作能否不加修改地继续使用。如果原有分类、校准和比较仍然成立，只需更新某个数值，主要变化可能属于精化。如果一项测量开始回答以前无法提出或无法检验的问题，就需要进一步检查新的属性是否成立。如果不同通道之间出现可操作的对应，还要问这种对应有没有增加单一通道所没有的限制。判断依靠这些差异，不依靠章节标题的宏大程度。
这里必须分清天体的物理形成与科学对象的构成。恒星的形成属于具体天体物理问题，需要关于物质、动力学与演化的证据。恒星作为具有某种谱型、距离、成分和演化地位的科学对象，又涉及这些属性如何在研究系统中成立。后者并不只是给前者贴名字，因为属性的定义和联接可以改变我们能够进行的解释与操作；但它也不能被偷换成“研究者的命名引发了恒星物理诞生”。
为了分析两者的联接，本书区分自然过程、观测操作、知识构成和共同体活动四个层次。它们不是彼此隔绝的四个世界。自然过程产生的信号进入仪器，仪器输出经过处理形成研究资料，资料进入判断，判断又影响后续观测安排。不同环节具有不同的证据责任。当我们说一种模型改变了世界，必须说明它改变了哪一层，以及通过什么中介影响其他层。
如果不做这种区分，发生学语言可能轻易制造解释幻觉。把星光当S、把论文争论当D、把整个社会当E，形式上似乎什么都有，实际却未必说明这些层怎样连接。一个范围无限扩大的E，几乎可以吸收任何缺失原因；一个随结果变化而重新指定的S，也几乎不可能遭遇反例。因此，每章分析都需要在一个主要问题上保持研究单位稳定。
研究单位稳定并不意味着永远不能改。恰恰相反，身份转换有时会迫使我们承认原来的单位不合适。但这种改变要作为结果被报告，不能悄悄发生在论证中间。一个信号原先被视为单一来源，后来被分解为多个来源，便应解释分解证据如何出现、原单位为何失效，而不是在叙述前后分别使用不同意义的“这个对象”，假装从未发生转变。
本书还将区分构成关系、推断关系和历史因果。构成关系关心一个属性离开某些条件后是否仍有当前意义；推断关系关心证据怎样支持某个结论；历史因果关心某项实际行动如何改变后续研究。三者可以联接，却不能互相代替。一个现代分析发现两个参数需要联合估计，并不能由此证明历史人物已经因此修改研究制度；制度的改变需要相应历史材料。
例如，一种新尺度在逻辑上能够支持更远对象的研究，只能说明新的可能性。要说它实际上推动了某次观测，就应当找到研究方案、论文使用或其他可追溯联接。反过来，某项观测发生在新理论发表之后，也不自动表明由该理论引起。它可能早已计划，或者出于其他任务。把“能够”写成“已经”，把“随后”写成“因此”，是思想史特别常见而又容易被顺滑叙述遮住的跳跃。
这些区分服务于更强的正面论证。只有知道一种变化确切发生在哪里，我们才有能力解释新世界的构成，而不是始终退回“认识更深了”或“工具更好了”的泛泛评价。本书所期待的世界发生，是有明确单位、有操作内容、有属性关联，并能在继承和差异中展示出来的发生。它的哲学分量，应由这些具体工作承担。
0.5 从关系到路径，再到改变的动力
三方程提供本书分析的共同骨架：S＝F(D,E)，D＝G(S,E)，E＝H(S,D)。它们要求同时考虑显露如何成立、差异序列如何受已成结果和条件规定、特征纠缠如何被结果与行动重构。SDE原著明确把它们放在元方程层次，具体算子需要由研究领域给出。[导-5]因此，本书不会把这三行形式当作已经求解的宇宙方程，也不会假定将历史材料放进三栏就自动得到解释。
第一式使我们返回结果的构成。拿到一个已经被称为天体的来源，要问它通过什么比较和限制取得身份。这里的D并非任意差别的集合，而是差别如何被承接、排除、重试与稳定的序列。第一次异常与第二次复核之间，究竟保留了什么、改变了什么？如果只有散乱资料而无可说明的承接，便不能因为它们时间相邻就称为一条有效的发生路径。
第二式使我们看到成果具有方向作用。一个已成立的类别可以规定下一轮应当寻找的特征；一个候选目标可以限制观测安排；一个尚未证实的模型也会组织需要检查的差异。这里不存在未来实体向过去施力的问题：起作用的是当时已经存在的模型、目标表征和判断标准。它们可能指导研究，也可能使某些差异被忽略。结果对路径的规定并不保证方向正确。
第三式则使条件不再永远停在背景位置。一次成功的测量可能留下基准，一次失败可能改变校准，一次分类争议可能重写目录规则。研究通过行动改变了后来的研究条件。但是条件的改变并非全能：资金增加不能自动解决不可辨识问题，算法更快也不能自动补回未被记录的数据。回写需要具体说明改变了什么，哪些限制仍然留下。
三式的联合尤其要求警惕E被当作清单。说研究依赖仪器、数学、制度与人才，只说明因素很多。要表现特征纠缠，需指出因素的特征如何相互规定。一个谱线位置必须相对于标尺解释，一个视差估计可能与姿态校准共同受限，一种分类边界会随可比较属性改变。改变其中一项，会使另一项的意义、估计或稳定性受到影响，这才进入本书要分析的关系深度。[导-6]
在这个关系骨架上，六路径使研究入口可以改变。由S出发，我们可能从现成结论追查构成；由D出发，可能从异常与操作序列研究新的结果怎样形成；由E出发，则可能先分析哪些约束使某些结果可行、另一些不可行。每一个入口还可选择先进入另外哪一维，由此形成六种基本顺序。实际研究可以往返、并行和中断，六路径没有把它压成六种固定人格或六个历史阶段。
路径的价值要以判断是否改变来衡量。若从成图出发，人容易接受图像显得清楚的部分；从采样条件出发，则可能重新检查哪些细节未受数据充分约束。若从成熟距离工具出发，人容易忽略原始关系与绝对标定之间的距离；从最初表格出发，则能看到后来补入的条件。路径转换不是为了把同一段话再讲一次，而是为了暴露一个入口看不见的限制。
三原理把研究推进到改变与受阻。按照本书使用的定义，D与E的失配可能引出S改变，S与E的失配可能引出D改变，S与D的失配可能要求E重构；新的改变还会回到其他维度形成后续作用。[导-7]这些是动力分析的候选相位，而不是只要出现冲突就必然成功的保证。错误模型可以长期稳定，异常也可以被搁置，甚至形成更多错误。
因此，动力分析必须保留分支。一项残差可以促使修改仪器、调整参数、增加对象，也可以促使改变原有理论。哪种响应在当时成为可能，受到材料、工具、问题结构和判断标准限制。只有在结果出现以后才说“这正是第三维发生”，无法区分成功机制与事后命名。我们要比较实际走过的路径及当时有理由考虑却未实现的路径，并说明哪些证据使某个分支终止。
这三种方法的结合，不是每章先列公式、再画箭头、最后补一句“回写”。三方程帮助明确关系，六路径检查入口偏差，三原理解释改变和停滞，再由新的关系检验此前判断。它们在实际论证中可以交错出现。有的章节以仪器排错为中心，有的以模型竞争为中心，有的以文本传承为中心。统一的方法责任可以承载不同的叙述形态，这也是本书组织长篇历史的基本选择。
0.6 怎样阅读一部仍然允许自己被改写的思想史
本书按十二编推进，但不把人类天文学写成一条从某个文明出发、经过单向传递而抵达现代的道路。不同地区的历法、星表和计算传统有各自任务，也可能发生交流。能够证明的传播，需要文本、算法、器物或其他可追溯中介；无法证明的相似性，则应保留为比较问题。让多个传统进入同一部书，不意味着提前将它们压成一个必然汇合的故事。
前几编从天空经验、记录与几何体系展开，研究重复显露怎样取得公共身份。随后的章节进入跨文明修订、日心体系和望远镜证据，再讨论动力学、精密位置与恒星光谱。中间几编围绕距离和宇宙结构，将局部观测与大尺度模型连接起来。后面转入多波段、多信使、行星探测和数据化研究，最后回到整个解释框架，检查哪些结论得到支持，哪些必须收缩。
这种安排有历史次序，也有主题回返。恒星视差与后来校准的讨论相隔若干章，并不因为中间缺少连续性，而是因为它们承担不同责任。前者研究一种操作如何成立，后者研究其成果怎样与其他方法连接。读者可以沿天体身份、尺度或证据制度中的任意一条线阅读，但每次返回旧问题，都应看到新的层次，而不是重新经历同一段人物故事。
史料在书中承担的责任也有所不同。原始论文可以告诉我们作者提出了什么、使用了什么数据，却未必完整呈现研究过程；通信和笔记可以补充过程，却也不是毫无选择的内心记录；后来的专业研究能够汇集材料，却需要注意解释立场。本书尽量让结论与其支持材料相称。没有足够材料的细节，不以“可能就是这样”的故事感填补。
对公式也采用同样尺度。现代读者熟悉的表达可以帮助说明历史问题，但必须知道哪些是当时使用的形式，哪些是为解释而作的现代重写。数学推导正确，不代表其前提在历史情境中已经取得支持；一个模型拟合某组资料，也不代表所有参数都有唯一物理解释。形式化越清楚，越应帮助我们看见假设，而不是把假设藏在符号背后。
本书会保留失败和未决问题，因为成功结果本身不足以说明发生机制。如果同一类异常曾经导致可靠新对象，也曾经引出未能确认的对象，就需要比较两种路径，而不能只选择胜利的一支。如果一个框架在多数方面有效，却在某个问题上存在困难，也不能为了叙述整齐把局部困难清除。真正的统一，应当能够容纳不同程度的成功。
对于SDE本身，同样必须执行这一要求。理论可以增加研究问题，也可能使研究者偏好某类材料。特别是借助AI进行长篇综合时，语言的一致与论证的流畅容易被误认作证据的充分。SDE原著关于自我修订的讨论也指出，文本规模不能代替检验，概念来源的权威与经验支持需要区分。[导-8]本书因此把竞争解释、反例与不确定性放入正文，而不是只在结尾作一般性声明。
统一性、多样性与和谐性在这里具有具体含义。统一性是概念不随章节任意改变、同类主张采用相近证据标准；多样性是不同历史对象保留自己的问题与操作，不被迫重复一种公式化故事；和谐性是各章互相提供条件，又明确自身边界，不通过抹平分歧取得表面一致。它们之间存在张力，需要在写作与阅读中反复调整。
读者可以用一个简单问题持续检验本书：读过这一章以后，我是否更清楚某种天文学世界怎样成立，而不只是多记住一个名字或年代？若答案是否定的，那么无论概念多么整齐、例子多么壮观，这一章仍未完成它的责任。若答案是肯定的，还应继续追问：这种解释留下了什么尚不能说明的部分，哪些材料出现时应当改写它？
天文学思想史所展开的，最终是一种面对有限处境的创造能力。人并不能随意支配宇宙，却能够改变信号如何进入比较，改变问题怎样形成，改变结果怎样成为下一次研究的条件。一个科学世界的形成，不以所有困难已经结束为标志，而以新的、受约束且可继续检验的行动开始成为可能为标志。我们将从最初的复认与记录开始，追踪这种可能性怎样一次次获得具体形态。
本章参考文献
[导-1] Leavitt, H. S.; Pickering, E. C. Periods of 25 Variable Stars in the Small Magellanic Cloud. Harvard College Observatory Circular 173, 1912, pp.1–3. 原始扫描：https://articles.adsabs.harvard.edu/pdf/1912HarCi.173....1L 。本导论使用其研究对象和材料形式。
[导-2] Kuhn, T. S. The Copernican Revolution: Planetary Astronomy in the Development of Western Thought. Harvard University Press, 1957. 书目核对：https://search.worldcat.org/title/1022740307 。本导论将其作为比较对象，未据此给出未经核定的页码或引语。
[导-3] Hacking, I. Representing and Intervening: Introductory Topics in the Philosophy of Natural Science. Cambridge University Press, 1983. 出版社书目与内容说明：https://www.cambridge.org/core/books/representing-and-intervening/F6506B708BB5A8B6A5D884BDCF28E7B7 。本导论以其问题领域作为哲学对照，不宣称完成逐章文本评述。
[导-4] Lindegren, L. et al. The astrometric core solution for the Gaia mission. Astronomy & Astrophysics 538, A78, 2012. DOI:10.1051/0004-6361/201117905。https://arxiv.org/abs/1112.4139 。联合估计与分块处理参见论文摘要及正文方法说明。
[导-5] 王德生：《SDE三方程导论》第二章“三方程的标准形式与理论地位”。https://sdeuniverses.com/books/m/51/chapter-02/ 。
[导-6] 王德生：《SDE思想体系入门》第九章“E：特征纠缠维度”。https://sdeuniverses.com/books/m/395/chapters/ch09 。理论概念来源；本导论中的天文学分析由本书提出。
[导-7] 王德生：《从三视角的123原理到SDE的三原理》，第四、八篇。https://sdeuniverses.com/column/ontology-grid/123-to-three-principles/ 。三原理概念来源；其天文学解释须另行检验。
[导-8] 王德生：《SDE三方程导论》第三十九章“反例、批评与理论修订宪法”。https://sdeuniverses.com/books/m/51/chapter-39/ 。参见来源分层、AI协作和修订责任的讨论。