量化核证逻辑QLP概观

QLP是第一个量化核证逻辑,它允许对证明项的量化.菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性.迪安和黑川用QLP分析了知道者悖论,后来又对其进行了详细的哲学分析,但阿洛-科斯塔和岸田反对这种分析.QLP的出现填补了核证逻辑在量化部分的空白,推动了核证逻辑的发展.

Overview of Quantified Justification Logic QLP

QLP is the first Quantified Justification Logic, and it allows quantifying over proof terms. Fitting gives the axiomatization of QLP and possible world semantics for QLP, and proves soundness and completeness of QLP. Dean and Kurokawa analyze the Knower paradox with QLP, and make a detailed philosophical analyzation afterwards, but Arló-Costa and Kishida object to this analyzation. The emergence of QLP fills the blank of Justification Logic in quantification aspect, and pushes for-ward the development of Justification Logic.