稳定性逻辑：关于反事实推理中相似性形式化
逻辑
2025-08-19 v1
摘要
反事实推理是哲学和逻辑学研究中的一个核心议题。反事实分析的关键组成部分是可能世界之间相似性的概念。本文提出引入一种度量来量化可能世界之间的相似程度，其中两个世界共享更长的历史，表明它们更相似。我们借鉴了相关文献的相似性框架，证明该度量满足超米度的性质，为相应的分层相似性概念提供了数学上稳健的基础。我们发展并公理化了一个相似性的多模态逻辑 ，并证明其关于超米度空间类的完备性与可靠性。最后，我们探讨了模态可定义性，建立了超米度语义与反事实理论更广泛联系。
引用
@article{arxiv.2508.12502,
title = {A Logic of Stability: Formalizing Similarity in Counterfactual Reasoning},
author = {Marta Esteves},
journal= {arXiv preprint arXiv:2508.12502},
year = {2025}
}