论文标题
KF，PKF和Reinhardt的计划
KF, PKF, and Reinhardt's Program
论文作者
论文摘要
在“一些关于用部分真理谓词扩展的解释理论的评论”中，莱因哈特（Reinhardt）著名地提出了对真相理论克里普克·弗曼（KF）的工具主义的解释，类似于希尔伯特的计划。 Reinhardt建议将KF视为生成“ KF的重要部分”的工具，也就是说，作为推导$ t \ulcornerφ\ Urcorner $的句子的工具。 Reinhardt计划的构成问题是，是否有可能“证明完全在重要句子的框架内完全使用非重要句子”？ Halbach和Horsten（2006）对这个问题进行了负面的回答，但我们认为，在更仔细的解释下，问题可能会得到积极的答案。为此，我们建议将注意力从KF表现出的真实句子转移到KF提供的真实推论，也就是说，我们将使用一组对$ \langleγ，δ\ rangle $确定KF的重要部分，KF证明，如果$γ$的所有成员至少是$δ$的成员，则是真实的。在解决Reinhardt的问题的方式中，我们表明，KF的真实推论与该理论部分Kripke-Feferman（PKF）的可证明的序列相吻合。
In 'Some Remarks on Extending an Interpreting Theories with a Partial Truth Predicate' Reinhardt famously proposed an instrumentalist interpretation of the truth theory Kripke-Feferman (KF) in analogy to Hilbert's program. Reinhardt suggested to view KF as a tool for generating 'the significant part of KF', that is, as a tool for deriving sentences of the form $T\ulcornerφ\urcorner$. The constitutive question of Reinhardt's program was whether it was possible "to justify the use of nonsignificant sentences entirely within the framework of significant sentences"? This question was answered negatively by Halbach and Horsten (2006) but we argue that under a more careful interpretation the question may receive a positive answer. To this end, we propose to shift attention from KF-provably true sentences to KF-provably true inferences, that is, we shall identify the significant part of KF with the set of pairs $\langleΓ, Δ\rangle$, such that KF proves that if all members of $Γ$ are true, at least one member of $Δ$ is true. In way of addressing Reinhardt's question we show that the provably true inferences of KF coincide with the provable sequents of the theory Partial Kripke-Feferman (PKF).
