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

TL;DR

This paper analyzes a four-valued logic system by Grigoriev and Zaitsev, clarifies its relation to similar systems, and discusses philosophical issues related to meaning, truth values, and interpretative underdetermination.

Contribution

It elucidates the connections between Grigoriev and Zaitsev's system and related systems, addressing philosophical and interpretative challenges in many-valued logic.

Findings

Clarifies the connection to related four-valued systems.

Identifies issues with meaning and truth values in many-valued logic.

Highlights the underdetermination in the proof system's interpretations.

Abstract

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.