​一、从真势模态到模态词谱系：一种信息语义的扩展​

模态逻辑以必然与可能这一对基本算子为轴心，但这一对算子只是广义模态词的冰山一角。von Wright（von Wright, 1951）在其奠基性著作中已系统区分了真势、认知、道义与存在四类模态，为模态词的谱系化考察提供了经典框架。就介观信息论（Mesoscopic Information Theory, 亦简称MIT）而言，真正需要处理的并非单一的真势模态，而是能够对应不同信息约束类型的整套模态算子。本文的中心论点是：模态词并非不可化约的世界本体属性，而可以统一重释为信息集合；唯有真势模态天然满足S4公理并可与M3钻石格耦合，其余模态词则作为叠加算子，在M3格上分层刻画介观尺度下的信息强度差异。这一重释既避免了传统模态形而上学的本体论负担，又为模态—概率桥接公理提供了语义基底。Van Benthem（van Benthem, 2010）正是从信息动态的角度把模态逻辑整体理解为关于信息获取与信息状态变化的逻辑，这一取向与本文的介观信息论立场高度一致。

二、模态词的分族与信息语义映射

真势模态（alethic modality）关切命题在全部可及世界中的成立方式，是模态逻辑的原生基底。必然算子□表示命题在一切可及状态下成立，可能算子◇表示命题至少在一个可及状态下成立；由二者可派生出不可能（¬◇）与偶然（P∧¬□P）等词项。在介观信息论中，这些算子的信息语义可分别解释为信息确定、信息相容、信息互斥与信息局部成立。由于真势模态满足S4公理系，□与◇可直接嵌入M3钻石格，成为模态—概率桥接公理的核心锚点。

（二）认知与信念模态：主体信息层的双阶结构​认知模态（epistemic modality）刻画主体对命题的知悉程度，Hintikka（1962）以K算子建立了经典的认知逻辑，Fagin等（Fagin et al., 1995）进一步以解释系统分析分布式主体的知识结构。认知模态的信息语义在于：K表示信息完备支撑，即命题在主体全部可用信息集内成立；认知必然（K□）指在主体信息可达空间内恒真；认知可能（K◇）指现有信息库无法证伪，即信息相容。与认知模态相邻的是信念模态（doxastic modality），B算子表征主体的主观置信，不要求绝对确证，正适合将置信强度映射为介观信息论中的mobit测度，是模态—概率桥接最直接的接口。认知与信念共同构成主体信息层的双阶结构：认知模态要求信息完备支撑，信念模态只要求信息加权下置信达标。

道义模态（deontic modality）关切规范义务，标准道义逻辑并非S4系统，但在介观信息论中可将其解释为系统规则信息的约束：应当（O）即合规空间必须满足，允许（P）即规则信息不排斥，禁止（F）即规则信息直接排除。时态模态（temporal modality）刻画命题随时间的成立方式，始终（G）、终将（F）、曾经（H）等算子描述信息随时间的迭代更新，可与S4可及关系复合。能力与动态模态（dynamic modality）尤为贴近信息论诉求：能够（Can）表示存在信息操作可抵达目标信息状态，行动后得知（[α]K）则刻画执行信息更新操作后主体获得新知识，这正是动态认知逻辑的核心对象。Van Ditmarsch等（van Ditmarsch et al., 2008）系统整合了这类信息更新逻辑，Baltag等（Baltag et al., 1998）则确立了公共宣告与信息更新的一般框架，为介观信息动态过程提供了成熟的形式工具。

四）反事实模态：假设信息空间的推演​反事实模态（counterfactual modality）以虚拟条件句刻画"若A则B"的假设推演，Stalnaker（1968）以选择函数、Lewis（1973）以可能世界相似性排序分别给出经典语义。在介观信息论中，反事实条件可被翻译为A成立的假设信息空间内的推演：邻近信息集排序对应Lewis的系统球语义，选择函数对应Stalnaker的信息选择操作。这一翻译使反事实推理成为信息假设空间内的模块化推演，无需预设实在的邻近可能世界。​

M3作为非分配模格而受到关注，在逻辑史上并非孤例。Birkhoff与von Neumann（Birkhoff & von Neumann, 1936）在量子逻辑的奠基性工作中指出，量子力学命题代数不应再是布尔格，而应取希尔伯特空间闭子空间格L(H)，其底层逻辑放弃的是分配律而非否定律。L(H)的正交补给出对合运算，并满足正交模律a≤b→a∨(a'∧b)=b，从而构成正交模格；这一结构仅在H一维时分配、有限维时模（Bruns, 1984），其系统性理论由Kalmbach（Kalmbach, 1983）整理。可见，以非分配格取代分配格并非介观信息论独有，量子逻辑早已确立了这一路向。

然而，M3钻石格与量子逻辑的正交模格存在本质差异，这一差异恰是介观信息论选择M3而非L(H)的理由。其一，模律之强弱不同：量子逻辑的正交模律是模律的弱化形式，而M3作为最小非分配模格之一（区别于非模的五边形格N5），完整保留模律（Jónsson & Rival, 1979），只放弃分配律。其二，否定结构不同：正交模格带有正交补运算，须满足a∧a'=0、a∨a'=1与对合律，这对偶于经典否定；而M3本身不必配备正交补，其层次结构来自信息约束的嵌套而非否定的代数性质。其三，语义基元不同：量子逻辑的正交模格依附于具体的希尔伯特空间闭子空间，承载物理本体论负担；介观信息论则以塔尔斯基模型族为基元，模型的子集包含关系直接给出格序，无需承诺物理空间实体。

因此，M3与量子逻辑正交模格共享"分配律破缺以容纳介观结构"的动机，但在模律强度、否定结构与本体论基元上分道扬镳。量子逻辑以正交补化解否定问题，介观信息论则以可控的对称破缺从布尔S4格过渡到M3格，两种方案可视为非分配模态结构在不同学科语境中的平行实现。

三、模态词谱系的介观分层原则

​综上分析，可将模态词谱系在介观信息论中按信息强度分层：底层为真势模态，承载S4公理并锚定M3格与模态—概率桥接；中层为认知与信念模态，绑定主体信息与置信度，是介观信息不确定性的载体；上层为时态、反事实、能力与道义模态，作为叠加算子刻画信息演化、假设推演与系统约束。各层判断强度需与信息证据匹配：真势模态对应信息的确定性极限，认知模态对应信息的完备支撑，信念模态对应信息的加权置信。唯有真势模态天然满足S4公理并可嵌入M3格；认知模态可改造为S4风格；信念、道义、时态等模态一般不满足S4，只能作为叠加算子叠加于基底之上，不宜强行并入M3格。这一分层的意义在于，模态词被还原为信息集合与信息更新操作，从而绕开传统模态形而上学关于可能世界实在性的争议，使介观信息论得以在信息本体论的基础上统一处理必然、可能、知道、相信、应当、终将、假如等多重模态现象。

支持单位：