2019年，国际天文学联合会（IAU）成立一百周年的全球命名活动公布了各区域获选名称，中国区提交的“羲和”“望舒”入选。这套流程里有个不起眼的次序：提名必须先绑定一个星表编号，然后才谈名字。名字是最后一步。
把这条规则套到“司天星”上，问题立刻显形。在IAU恒星名称工作组（WGSN，2016年设立）核定的大约450个星名中，在依巴谷星表的118218条记录中，在Gaia DR3公布的约18亿个天体源中，以及在中国传统星官体系“283官1464星”（陈卓所定，通行数字）的清单中，都检索不到一个叫“司天星”的对象。本文的论点是：司天星不是一个天体问题，而是一个命名问题——它之所以在中文语境里显得像一个对象，是因为“司天”确有真实的天文学出处（宋元以来的司天监、司天台一类职官），而“星”这个后缀替它完成了一次未经检验的实体化。
一、名字是一次可核查的断言
现代天体命名不是修辞行为。一个星名要成立，必须绑定可复核的坐标与测光：赤经赤纬、视差、光谱型、历元。以Gaia DR3为例，对G星等亮于15等的源，视差不确定度在0.02—0.05毫角秒量级；按σ_ϖ/ϖ=0.1折算，这对应约2至3千秒差距内10%的距离精度。这个量级决定了“某颗星是什么”能被检验到什么程度，属于直接观测。相比之下，“司天星指向某颗具体恒星”连一个可证伪的坐标都给不出，只能归入纯假说。
把星名比作人名是方便的，但类比在这里失效：人名不承诺被指称者的任何物理量，星名必须承诺。任何一项参数对不上，名字就作废。WGSN反复声明不承认商业“买星”命名，原因就在这里：那些名字不携带可核查信息。
二、“司天”的词源帮了倒忙
司天监、司天少监是真实存在的职官，掌天文占候。清乾隆十七年（1752）刊行的《仪象考成》录星三千零八十三，是传统星官体系最后一次大规模系统化。这段历史给了“司天”二字足够的权威感，也埋下一个方法论陷阱：词源的真实性不等于指称的真实性。一个词在文献里有出处，只能证明它作为词存在过（文献证据），不能证明它对应某个天体，那需要坐标级别的证据。传统星名与现代编号的对应本身只是间接推断，依据是古代星图与现代复原，误差来源包括仪器系统差、星图传抄与坐标系换算，个别对应至今存疑。
三、争议焦点：传统星名该不该进现代星表
- 一派主张优先收录有历史文献依据的传统专名，理由是文化连续性与检索便利，且传统星名往往携带观测史信息。
- 另一派主张以编号为主、专名为辅，理由是跨文化歧义与不可复核的民间命名会稀释星表的可检验性。
- 实际结果是折中：WGSN只收有文献依据的名字，数量被压到数百量级，大量天体至今只有编号。
这场分歧没有共识，也不该假装有。它的实质不是文化之争，而是“什么算证据”之争；证据等级在这里直接决定收录门槛。
关键数据
- Gaia DR3：约18亿个天体源，2014—2017年观测，2022年发布（间接推断：统计口径不同文献略有差异）
- 依巴谷星表：118218颗星，视差精度约1毫角秒量级（直接观测）
- IAU WGSN核定星名：约450个（截至2022年前后，以官方列表更新为准）
- 《仪象考成》：3083星，1752年（文献证据）
四、当前真实的边界
可以划界了：我们知道“司天星”在可核查的星表与传统星官清单中没有对应，这是一次可复核的否定（检索证据）；我们不知道的是，它究竟是某次转译的讹误、某篇科普的临时造词，还是某种尚未被索引的地方性称法——后者需要文本史的证据，天文学给不出。要推进，缺的不是更大的望远镜，而是一条能追溯到最早出处的文献链条。
天文学的命名史反复演示同一件事：先有坐标，后有名字。倒过来做，得到的就是司天星这样的词——它读起来像一颗星，查起来却不是。
参考文献
- Gaia Collaboration, 2022, Gaia Data Release 3（ESA/Gaia DPAC）
- IAU Working Group on Star Names, 2022, Approved Names of Stars（官方列表）
- 潘鼐，《中国恒星观测史》，学林出版社，1989
- 允禄等，《仪象考成》，1752
- ESA, 1997, The Hipparcos and Tycho Catalogues, ESA SP-1200