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

Grigoriev과 Zaitsev의 시스템 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 (Non-Classical Logics Theory and Applications), EPTCS 415, 2024
  • 논문 링크: https://arxiv.org/abs/2501.00500

초록

본 논문은 Oleg Grigoriev과 Dmitry Zaitsev가 최근 제시한 4값 논리 시스템 CNL42^2_4를 심층적으로 연구한다. 저자들은 이 시스템과 Paul Ruet 및 Norihiro Kamide가 개발한 관련 시스템 간의 연관성을 명확히 할 뿐만 아니라, 두 가지 중요한 철학적 문제를 논의한다: 첫째는 "Haackian 주제"로서 다값 논리에서 연결사의 의미와 진리값의 본질을 이해하는 방법이고, 둘째는 "Carnap 문제"의 심화로서 동일한 증명 시스템이 최소 네 가지의 서로 다르고 양립 불가능한 해석을 가질 수 있다는 것이다.

연구 배경 및 동기

핵심 문제

  1. 연결사 의미의 이해 가능성 문제: 다값 논리 시스템에서 고전 논리학자가 비고전 연결사의 의미와 진리값의 본질을 어떻게 이해할 수 있는가.
  2. 의미론적 불확정성 문제: 동일한 형식 시스템이 여러 양립 불가능한 의미론적 해석을 가질 수 있으며, 이는 의미의 불확정성을 초래한다.

연구의 중요성

  • 비고전 논리 시스템은 고전 표준에서 벗어나지만, 연결사와 논리적 귀결에 대한 이해를 유지해야 한다
  • Susan Haack이 제시한 전략: "유사-고전적" 해석을 제공함으로써 비고전 시스템의 신비성을 제거한다
  • 형식 시스템과 그 해석 간의 관계를 탐구하는 것은 논리 철학의 핵심 문제이다

기존 방법의 한계

  • CNL42^2_4 시스템과 다른 관련 4값 논리 시스템 간의 관계에 대한 체계적 분석 부족
  • 다중 해석 문제에 대한 심층적 철학적 논의 부족
  • 비고전 논리 시스템의 이해 가능성을 증진하기 위한 더 나은 전략 필요

핵심 기여

  1. CNL42^2_4 시스템의 자연 연역 증명 시스템을 제시하고 그 건전성과 완전성을 증명
  2. CNL42^2_4 시스템의 정의적 완전성과 Post 완전성을 증명
  3. CNL42^2_4 시스템의 네 가지 서로 다른 해석 방식을 규명하며, 각각 다른 의미론적 이해에 대응
  4. CNL42^2_4와 Ruet 시스템 및 Kamide 시스템 간의 정확한 연관성을 확립
  5. "Carnap 문제"와 "Haackian 주제"가 해당 시스템에서 어떻게 나타나는지 심층 분석
  6. 관계 의미론 방법을 제시하여 시스템의 고전적 이해 가능성을 증진

방법론 상세 설명

시스템 정의

언어: CNL42^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

증명 시스템

저자들은 다음 규칙을 포함하는 자연 연역 시스템 RCNL42^2_4를 제시한다:

표준 규칙:

  • 합취 도입/소거
  • 선취 도입/소거

특수 규칙:

  • (∼∼1): A ∼∼A / B
  • (∼∼2): A∨∼∼A
  • De Morgan 법칙의 여러 형태

네 가지 해석 방식

저자들은 CNL42^2_4 시스템이 네 가지 서로 다른 해석을 가질 수 있음을 발견했다:

선택지1의 해석0의 해석i의 해석j의 해석대응 시스템
O1tfbnRuet 시스템
O2tfnbKamide 시스템(비거짓성 보존)
O3bntf정보 연결사+Kamide 부정
O4bnft정보 연결사+Ruet 부정

여기서: t=참, f=거짓, b=참이면서 동시에 거짓, n=참도 거짓도 아님

기술적 혁신점

1. 통일된 틀

관계 의미론(Dunn 의미론)을 통해 네 가지 해석을 이해하기 위한 통일된 틀을 제시하며, 4값 {1,i,j,0}을 으로 재작성한다.

2. 함수 완전성 증명

CNL42^2_4 시스템이 함수적으로 완전함을 증명했으며, 이는 다음을 포함한 모든 가능한 4원 함수를 정의할 수 있음을 의미한다:

  • 모든 δ 함수: δₐ(b) = 1 당且仅当 a = b
  • 모든 상수 함수: Cₐ(b) = a

3. 고전 부정의 정의 가능성

시스템 내에서 고전 부정을 정의할 수 있으며, 이는 고전 논리학자에게 친숙한 도구를 제공한다.

실험 설정

이론적 검증

저자들은 다음 방식으로 이론적 결과를 검증했다:

  1. 건전성과 완전성 증명:
    • 표준 Lindenbaum 보조정리 사용
    • 규범적 할당 구성
    • 확장 보조정리 증명
  2. 함수 완전성 검증:
    • Słupecki 정리 적용
    • 모든 일원 함수의 정의 가능성 검증
    • 본질적 이원 함수의 존재 증명

실험 결과

주요 이론적 결과

정리 1 (건전성): 모든 Γ∪{A} ⊆ Form에 대해, Γ ⊢ A이면 Γ |=CNL42^2_4 A이다.

정리 2 (완전성): 모든 Γ∪{A} ⊆ Form에 대해, Γ |=CNL42^2_4 A이면 Γ ⊢ A이다.

정리 5 (정의적 완전성): CNL42^2_4는 정의적으로 완전하다.

추론 1 (Post 완전성): CNL42^2_4는 Post 완전하다.

타당성 결과

명제 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

관련 연구

4값 논리 시스템

  1. FDE (First-Degree Entailment): Belnap-Dunn 논리의 기초
  2. Ruet 시스템: FDE를 기반으로 특수 부정 연산자 추가
  3. Kamide 시스템: 또 다른 4값 논리 접근법

철학적 배경

  1. Susan Haack의 전략: 고전적 해석을 통해 비고전 시스템의 이해 가능성 증진
  2. Carnap 문제: 증명 시스템이 의도된 해석을 유일하게 결정할 수 없음
  3. Quine의 의미 변이 논제: 논리의 변화가 의미의 변화를 초래하는가

결론 및 논의

주요 결론

  1. 시스템 동등성: CNL42^2_4는 서로 다른 해석 하에서 알려진 논리 시스템(Ruet, Kamide 등)과 동등하다.
  2. 의미 불확정성: 동일한 증명 시스템이 네 가지 근본적으로 다른 의미론적 이해를 지원할 수 있으며, 이는 Carnap 문제의 심화를 구성한다.
  3. 고전적 이해 가능성: Haackian 전략과 관계 의미론을 통해 고전 논리학자가 해당 시스템을 이해할 수 있다.
  4. 부정의 지위: ∼이 참된 부정인지 여부는 어떤 해석을 채택하고 부정에 대한 어떤 요구사항을 가지는지에 달려 있다.

한계

  1. 해석 선택 문제: 네 가지 해석 중 어느 것을 선택할 순수 논리적 이유가 없다.
  2. 의사소통의 어려움: 동일한 시스템을 사용하는 서로 다른 사람들이 이를 인식하지 못한 채 완전히 다른 이해를 가질 수 있다.
  3. 의미 고정 문제: 시스템 자체가 연결사의 의미를 고정할 수 없다.

향후 방향

  1. 다른 다값 시스템으로의 확장: 분석 방법을 다른 비고전 논리에 적용
  2. 실용적 기준: 특정 해석을 선택하기 위한 실용적 기준 개발
  3. 철학적 심화: 형식 시스템과 의미 간의 관계에 대한 추가 탐구

심층 평가

장점

  1. 이론적 기여의 깊이: 기술적 결과뿐만 아니라 중요한 논리 철학 문제를 심층적으로 논의
  2. 포괄적 분석: 증명론, 의미론, 철학의 여러 관점에서 시스템 분석
  3. 명확한 연관성: 기존 시스템과의 관계를 명확히 확립
  4. 방법론적 혁신: Haackian 전략을 4값 논리 분석에 적용

부족한 점

  1. 제한된 실용성: 주로 이론적 분석이며 응용 측면 고려 부족
  2. 불완전한 해결책: 문제를 지적하지만 의미 불확정성 문제를 완전히 해결하지 못함
  3. 기술적 복잡성: 네 가지 해석의 복잡성이 시스템의 실제 응용을 제한할 수 있음

영향력

  1. 높은 이론적 가치: 다값 논리의 철학적 분석에 새로운 관점 제시
  2. 방법론적 기여: 비고전 논리 시스템을 체계적으로 분석하는 방법 제시
  3. 학제간 의의: 형식 논리와 논리 철학을 연결

적용 분야

  1. 논리 철학 연구: 의미, 진리값, 논리 시스템의 관계 논의에 사례 제시
  2. 다값 논리 이론: 다른 다값 시스템 분석을 위한 방법론 제시
  3. 형식 시스템 설계: 설계자에게 의미론적 불확정성 문제 상기

참고문헌

논문은 24편의 중요 문헌을 인용하며, 다음을 포함한다:

  • Susan Haack의 《Philosophy of Logics》
  • Quine의 논리 편차에 관한 고전 저작
  • Belnap-Dunn 논리 관련 연구
  • Ruet과 Kamide의 4값 논리 시스템
  • 함수 완전성의 고전적 결과(Słupecki 정리)

종합 평가: 이는 높은 수준의 논리학 이론 논문으로, 견고한 기술적 결과뿐만 아니라 중요한 철학적 문제를 심층적으로 탐구한다. 논문의 주요 가치는 형식 논리 시스템에서 의미 불확정성의 심층적 문제를 규명하고 이해 가능성을 증진하기 위한 전략을 제시하는 데 있다. 주로 이론적이지만, 논리학과 논리 철학의 발전에 중요한 기여를 한다.