摩尔悖论与信念逻辑
计算机科学中的逻辑
2020-06-23 v1 人工智能
摘要
摩尔悖论是任何信念形式理论的试金石。在《知识与信念》中，Hintikka 发展了一种多模态逻辑，用于表达含有知识与信念这类认知概念的话语。他的解释声称对该悖论提供了一种说明。在本文中，我认为 Hintikka 对其中一个信念算子的解释在哲学上是有问题的，并导致了一个不必要地强的逻辑系统。我给出了一个更弱的替代方案，它以更准确的方式把握了我们关于信念概念的逻辑直觉，同时不牺牲对诸如摩尔悖论这类疑难案例提供解释的可能性。
引用
@article{arxiv.2006.11363,
title = {Moore's Paradox and the logic of belief},
author = {Andrés Páez},
journal= {arXiv preprint arXiv:2006.11363},
year = {2020}
}