The present article examines a system of four-valued logic recently introduced by Oleg Grigoriev and Dmitry Zaitsev. In particular, besides other interesting results, we will clarify the connection of this system to related systems developed by Paul Ruet and Norihiro Kamide. By doing so, we discuss two philosophical problems that arise from making such connections quite explicit: first, there is an issue with how to make intelligible the meaning of the connectives and the nature of the truth values involved in the many-valued setting employed -- what we have called `the Haackian theme'. We argue that this can be done in a satisfactory way, when seen according to the classicist's light. Second, and related to the first problem, there is a complication arising from the fact that the proof system advanced may be made sense of by advancing at least four such different and incompatible readings -- a sharpening of the so-called `Carnap problem'. We make explicit how the problems connect with each other precisely and argue that what results is a kind of underdetermination by the deductive apparatus for the system.

翻译：本文考察了奥列格·格里戈里耶夫与德米特里·扎伊采夫近期引入的一个四值逻辑系统。特别地，除其他有趣结果外，我们将阐明该系统与保罗·吕埃及上出宽所发展的相关系统之间的联系。通过这一分析，我们探讨了在明确建立此类联系时浮现的两个哲学问题：首先，如何理解所采用多值框架中联结词的意义及所涉真值的本质存在疑难——我们称之为“哈克式论题”。我们认为，若从经典主义视角审视，该问题能以令人满意的方式解决。其次，与第一个问题相关的是，由于所提出的证明系统可通过至少四种不同且互斥的解读方式获得意义——这是对所谓“卡尔纳普问题”的锐化——从而产生了一种复杂性。我们精确揭示了这两个问题如何相互关联，并论证其结果是该系统的演绎装置所导致的一种欠定性。