广义克莱恩语义的力量
计算机科学中的逻辑
2025-01-03 v1
摘要
本文对马修·克莱恩（Matthew Clemens）为逻辑悖论（LP，Priest's Logic of Paradox）所提出的有序对语义进行扩展。具体而言，我们构建了将克莱恩语义推广至任意 n 元组语义的框架。更具体地说，本文（i）讨论了包含量词的语言情形，（ii）考察了该语义的哲学意涵。后者包括：首先，以认知主义术语阐释该语义，涉及多个智能体；其次，我们从经典逻辑的视角出发，讨论对 LP 和 K3（Kleene 强三值逻辑）这一多值逻辑的正确理解，参照苏珊·哈克（Susan Haack）的观点。我们还讨论了该语义对处理信息性矛盾问题的应用，即涉及对模糊谓词可能具有的不同属性进行量化的矛盾，参照保罗·埃格勒（Paul 'Egr\'e）的观点；以及对混合演绎关系的讨论，后者由帕布罗·科布罗斯（Pablo Cobreros）、保罗·埃格勒、大卫·里佩利（David Ripley）和罗伯特·范·罗伊（Robert van Rooij）等人提出。
引用
@article{arxiv.2501.00499,
title = {The Power of Generalized Clemens Semantics},
author = {Hitoshi Omori and Jonas R. B. Arenhart},
journal= {arXiv preprint arXiv:2501.00499},
year = {2025}
}
备注
In Proceedings NCL'24, arXiv:2412.20053