（相关）科学发现逻辑

本文基于知识生产场所（实验室）网络中的信息交流，对建立在 Dunn-Belnap 四值语义之上的弱相关逻辑给出了彻底的解释。所交流的知识涉及实验数据以及利用这些数据检验的规律性。许多研究曾暗示过与我们的解释类似的解释——例如 Dunn (1976)、Belnap (1977) 中。实验室解释在 Bilkova 等人 (2010) 中已有概述。我们的系统建立在带有公式四值赋值的 Routley--Meyer 相关逻辑语义之上，其中实验室代表情境，四个值反映了评估实验结果复杂性的特征。该语义避免使用 Routley 星号，代价是引入一个进一步的关系，用于评估蕴涵的假值指派。然而我们可以给出两个可达关系的自然解释——在我们的实验室设定中，假设的确认与证伪是两个独立的过程。这一设定催生了可达关系的各种基本性质，以及若干其他可能的限制。这给了我们一个灵活的模块化系统，可调整以适应特定的认知语境。由于完美的规律性很少——或许从未——被实际观察到，我们向逻辑框架中加入了概率。由于我们的逻辑框架是非经典的，概率也是非经典的，满足较弱版本的 Kolmogorov 公理（参见 Priest 2006）。我们证明这些概率允许相对频率解释以及主观解释（我们给出了一个 Dutch book 论证）。我们进一步展示了如何更新概率，并区分条件概率与蕴涵的概率。