2025-11-10T03:01:51.036721

A note on Grigoriev and Zaitsev's system CNL$^2_4$

Omori, Arenhart

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.

academic

A note on Grigoriev and Zaitsev's system CNL $^2_4$

基本信息

论文ID: 2501.00500
标题: A note on Grigoriev and Zaitsev's system CNL $^2_4$
作者: Hitoshi Omori (东北大学), Jonas R. B. Arenhart (圣卡塔琳娜联邦大学)
分类: cs.LO (逻辑学)
发表时间/会议: NCL'24 (Non-Classical Logics Theory and Applications), EPTCS 415, 2024
论文链接: https://arxiv.org/abs/2501.00500

摘要

本文深入研究了Oleg Grigoriev和Dmitry Zaitsev最近提出的四值逻辑系统CNL $^2_4$ 。作者不仅阐明了该系统与Paul Ruet和Norihiro Kamide开发的相关系统之间的联系，还讨论了由此产生的两个重要哲学问题：第一个是"Haackian主题"——如何理解多值逻辑中联结词的含义和真值的本质；第二个是"Carnap问题"的深化——同一证明系统可以有至少四种不同且不兼容的解读。

研究背景与动机

核心问题

联结词含义的可理解性问题：在多值逻辑系统中，如何使经典逻辑学家能够理解非经典联结词的含义和真值的本质。
语义不确定性问题：同一个形式系统可能存在多种不兼容的语义解读，导致意义的不确定性。

研究重要性

非经典逻辑系统偏离了经典标准，但我们需要保持对联结词和逻辑后承关系的理解
Susan Haack提出的策略：通过提供"类经典"的解读来消除非经典系统的神秘性
探讨形式系统与其解释之间的关系，这是逻辑哲学的核心问题

现有方法局限性

缺乏对CNL $^2_4$ 系统与其他相关四值逻辑系统关系的系统性分析
对多重解读问题缺乏深入的哲学讨论
需要更好的策略来增强非经典逻辑系统的可理解性

核心贡献

提供了CNL $^2_4$ 系统的自然演绎证明系统，并证明了其可靠性和完备性
证明了CNL $^2_4$ 系统的定义完备性和Post完备性
揭示了CNL $^2_4$ 系统的四种不同解读方式，分别对应不同的语义理解
建立了CNL $^2_4$ 与Ruet系统和Kamide系统的精确联系
深入分析了"Carnap问题"和"Haackian主题"在该系统中的体现
提出了关系语义学方法来增强系统的经典可理解性

方法详解

系统定义

语言：CNL $^2_4$ 的语言L包含：

联结词集合：{∼, ∧, ∨}
可数命题变元集合：Prop

语义：

四个真值：{1, i, j, 0}
解释函数：I: Prop → {1, i, j, 0}
指定值集合：D = {1, i}

真值表：

A  ∼A     A∧B  1 i j 0     A∨B  1 i j 0
1   i      1   1 i j 0      1   1 1 1 1
i   0      i   i i 0 0      i   1 i 1 i
j   1      j   j 0 j 0      j   1 1 j j
0   j      0   0 0 0 0      0   1 i j 0