ABSTRACT Kripke's theory of partial truth offers a natural solution of the Liar paradox and an appealing explanation of why the Liar sentence seems to lack definite content. It seems vulnerable, however, to the objection that it cannot state important facts about partial truth. I point out that the same vulnerability infects the quantum logic developed by Garrett Birkhoff and John von Neumann, among others. It is often claimed that the only way to record these facts is within a classical metalanguage, but Kripke showed that the same language can function both as the language of partial truth and also as a classically bivalent language. An explanation of why we need a classical explanation of a non-classical system was advanced in the context of quantum mechanics by Niels Bohr, and it applies also, I argue, to the partial truth situation.

中文翻译：

---

古典的首要地位？索尔·克里普克会见尼尔斯·波尔

摘要克里普克的部分事实理论为说谎者悖论提供了自然的解决方案，并为为什么说谎者的句子似乎缺乏确定的内容提供了引人入胜的解释。但是，似乎无法接受它不能陈述有关部分真实的重要事实的反对意见。我指出，同一个漏洞会感染Garrett Birkhoff和John von Neumann等人开发的量子逻辑。通常认为，记录这些事实的唯一方法是在经典的元语言中，但是克里普克（Kripke）表明，同一语言既可以充当部分真理的语言，又可以充当经典的二价语言。Niels Bohr在量子力学的背景下提出了为什么我们需要对非经典系统进行经典解释的解释，而且我认为，它也适用于部分真实情况。