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

Заметка о системе CNL42^2_4 Григорьева и Зайцева

Основная информация

  • ID статьи: 2501.00500
  • Название: A note on Grigoriev and Zaitsev's system CNL42^2_4
  • Авторы: Hitoshi Omori (Университет Тохоку), Jonas R. B. Arenhart (Федеральный университет Санта-Катарины)
  • Классификация: cs.LO (Логика)
  • Дата публикации/Конференция: NCL'24 (Теория и приложения неклассических логик), EPTCS 415, 2024
  • Ссылка на статью: https://arxiv.org/abs/2501.00500

Аннотация

В данной статье проводится глубокое исследование четырёхзначной логической системы CNL42^2_4, недавно предложенной Олегом Григорьевым и Дмитрием Зайцевым. Авторы не только уточняют связи между этой системой и смежными системами, разработанными Полем Руэтом и Норихиро Камидой, но также обсуждают два важных философских вопроса: первый — «хаакианская тематика» о понимании смысла связок и природы истинностных значений в многозначных логиках; второй — углубление «проблемы Карнапа» о том, что одна и та же формальная система допускает по крайней мере четыре различных и несовместимых интерпретации.

Исследовательский контекст и мотивация

Основные проблемы

  1. Проблема понятности смысла связок: Как сделать понятным для классических логиков смысл неклассических связок и природу истинностных значений в системах многозначной логики.
  2. Проблема семантической неопределённости: Одна и та же формальная система может допускать несколько несовместимых семантических интерпретаций, что приводит к неопределённости значения.

Значимость исследования

  • Неклассические логические системы отклоняются от классических стандартов, однако необходимо сохранить понимание связок и логического следования
  • Стратегия, предложенная Сьюзан Хаак: устранение загадочности неклассических систем путём предоставления «квазиклассических» интерпретаций
  • Исследование отношения между формальными системами и их интерпретациями — центральная проблема философии логики

Ограничения существующих подходов

  • Отсутствие систематического анализа связей между системой CNL42^2_4 и другими смежными четырёхзначными логиками
  • Недостаточное философское обсуждение проблемы множественных интерпретаций
  • Необходимость в лучших стратегиях для повышения понятности неклассических логических систем

Основные вклады

  1. Предоставлена система естественного вывода для CNL42^2_4 с доказательствами корректности и полноты
  2. Доказана дефиниционная полнота и полнота по Посту для системы CNL42^2_4
  3. Выявлены четыре различные интерпретации системы CNL42^2_4, соответствующие различным семантическим пониманиям
  4. Установлены точные связи между CNL42^2_4 и системами Руэта и Камиды
  5. Проведён глубокий анализ проявления «проблемы Карнапа» и «хаакианской тематики» в данной системе
  6. Предложен метод реляционной семантики для повышения классической понятности системы

Подробное описание методов

Определение системы

Язык: Язык L системы CNL42^2_4 содержит:

  • Множество связок: {∼, ∧, ∨}
  • Счётное множество пропозициональных переменных: 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

Система доказательства

Авторы предоставляют систему естественного вывода RCNL42^2_4, включающую следующие правила:

Стандартные правила:

  • Введение/исключение конъюнкции
  • Введение/исключение дизъюнкции

Специальные правила:

  • (∼∼1): A ∼∼A / B
  • (∼∼2): A∨∼∼A
  • Различные формы законов де Моргана

Четыре способа интерпретации

Авторы обнаруживают, что система CNL42^2_4 допускает четыре различные интерпретации:

ВариантИнтерпретация 1Интерпретация 0Интерпретация iИнтерпретация jСоответствующая система
O1илбнСистема Руэта
O2илнбСистема Камиды (сохранение неложности)
O3бнилИнформационные связки + отрицание Камиды
O4бнлиИнформационные связки + отрицание Руэта

Где: и=истинно, л=ложно, б=и истинно и ложно, н=ни истинно ни ложно

Технические инновации

1. Единая структура

Через реляционную семантику (семантика Данна) предоставлена единая структура для понимания четырёх различных интерпретаций, переписывая четыре значения {1,i,j,0} как .

2. Доказательство функциональной полноты

Доказано, что система CNL42^2_4 функционально полна, то есть можно определить все возможные четырёхместные функции, включая:

  • Все δ-функции: δₐ(b) = 1 тогда и только тогда, когда a = b
  • Все константные функции: Cₐ(b) = a

3. Определимость классического отрицания

Классическое отрицание может быть определено внутри системы, предоставляя классическим логикам знакомый инструмент.

Экспериментальная установка

Теоретическая верификация

Авторы проверяют теоретические результаты следующим образом:

  1. Доказательства корректности и полноты:
    • Использование стандартной леммы Линденбаума
    • Конструирование канонического присваивания
    • Доказательство леммы расширения
  2. Верификация функциональной полноты:
    • Применение теоремы Słupecki
    • Верификация определимости всех унарных функций
    • Доказательство существования существенно бинарной функции

Результаты исследования

Основные теоретические результаты

Теорема 1 (Корректность): Для всех Γ∪{A} ⊆ Form, если Γ ⊢ A, то Γ |=CNL42^2_4 A

Теорема 2 (Полнота): Для всех Γ∪{A} ⊆ Form, если Γ |=CNL42^2_4 A, то Γ ⊢ A

Теорема 5 (Дефиниционная полнота): CNL42^2_4 дефиниционно полна

Следствие 1 (Полнота по Посту): CNL42^2_4 полна по Посту

Результаты валидности

Предложение 1: Следующее верно в CNL42^2_4:

  • B |=CNL42^2_4 (A∨∼∼A)
  • B |=CNL42^2_4 ∼(A∨∼∼A)
  • A∧∼∼A |=CNL42^2_4 B
  • ∼(A∧∼∼A) |=CNL42^2_4 B

Предложение 2: Следующее неверно в CNL42^2_4:

  • q ⊭CNL42^2_4 p∨∼p
  • p∧∼p ⊭CNL42^2_4 q
  • ∼∼p ⊭CNL42^2_4 p
  • p ⊭CNL42^2_4 ∼∼p

Связанные работы

Системы четырёхзначной логики

  1. FDE (First-Degree Entailment): Основа логики Белнапа-Данна
  2. Система Руэта: Добавление специального оператора отрицания к FDE
  3. Система Камиды: Альтернативный подход к четырёхзначной логике

Философский контекст

  1. Стратегия Сьюзан Хаак: Повышение понятности неклассических систем через классические интерпретации
  2. Проблема Карнапа: Система доказательства не может однозначно определить предполагаемую интерпретацию
  3. Тезис Куайна об изменении значения: Приводит ли изменение логики к изменению значения

Заключение и обсуждение

Основные выводы

  1. Эквивалентность систем: CNL42^2_4 при различных интерпретациях эквивалентна известным логическим системам (Руэта, Камиды и др.)
  2. Неопределённость значения: Одна и та же система доказательства может поддерживать четыре принципиально различных семантических понимания, что представляет углубление проблемы Карнапа
  3. Классическая понятность: Через хаакианскую стратегию и реляционную семантику классические логики могут понять данную систему
  4. Статус отрицания: Является ли ∼ подлинным отрицанием, зависит от выбранной интерпретации и требований к отрицанию

Ограничения

  1. Проблема выбора интерпретации: Нет чисто логических оснований для выбора какой-либо из четырёх интерпретаций
  2. Трудности коммуникации: Люди, использующие одну и ту же систему, могут иметь совершенно различные понимания, не осознавая этого
  3. Проблема фиксации значения: Сама система не может зафиксировать значение связок

Направления будущих исследований

  1. Расширение на другие многозначные системы: Применение методов анализа к другим неклассическим логикам
  2. Практические критерии: Разработка практических стандартов для выбора конкретной интерпретации
  3. Философское углубление: Дальнейшее исследование отношения между формальными системами и значением

Глубокая оценка

Преимущества

  1. Глубокий теоретический вклад: Не только технические результаты, но и глубокое обсуждение важных проблем философии логики
  2. Всесторонний анализ: Анализ системы с точек зрения теории доказательств, семантики и философии
  3. Ясные связи: Чёткое установление отношений с существующими системами
  4. Методологическая инновация: Применение хаакианской стратегии к анализу четырёхзначной логики

Недостатки

  1. Ограниченная практическая применимость: Главным образом теоретический анализ, недостаточное внимание к приложениям
  2. Неполные решения: Хотя проблемы указаны, неопределённость значения не полностью разрешена
  3. Техническая сложность: Сложность четырёх интерпретаций может ограничить практическое применение системы

Влияние

  1. Высокая теоретическая ценность: Предоставляет новую перспективу для философского анализа многозначных логик
  2. Методологический вклад: Демонстрирует, как систематически анализировать неклассические логические системы
  3. Междисциплинарное значение: Связывает формальную логику и философию логики

Применимые сценарии

  1. Исследования философии логики: Предоставляет примеры для обсуждения значения, истинности и отношения логических систем
  2. Теория многозначных логик: Предоставляет методологию для анализа других многозначных систем
  3. Проектирование формальных систем: Напоминает разработчикам о проблеме семантической неопределённости

Библиография

Статья цитирует 24 важных источника, включая:

  • «Philosophy of Logics» Сьюзан Хаак
  • Классические работы Куайна об отклонениях логики
  • Исследования логики Белнапа-Данна
  • Системы четырёхзначной логики Руэта и Камиды
  • Классические результаты о функциональной полноте (теорема Słupecki)

Общая оценка: Это высококачественная теоретическая статья по логике, которая не только предоставляет надёжные технические результаты, но и глубоко исследует важные философские проблемы. Главная ценность статьи заключается в выявлении глубокой проблемы неопределённости значения в формальных логических системах и предоставлении стратегий для повышения понятности. Хотя работа в основном теоретическая, она вносит важный вклад в развитие логики и философии логики.