🔢 mathematics

Classical Logic as Intuitionistic Logic with Duality

이 논문은 원자적 명제 대신 원시적 쌍대 리터럴(primitive dual literals)을 기반으로 작동함으로써 직관주의 논리를 확장하는 고전 논리에 대한 새로운 증명론적 의미론을 제안하며, 이를 통해 고전 논리가 추론적으로 인코딩된 쌍대성 원리(principle of duality)가 보완된 직관주의 논리로 이해될 수 있음을 입증한다.

원저자: Alexander V. Gheorghiu, Yll Buzoku

게시일 2026-06-03

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Alexander V. Gheorghiu, Yll Buzoku

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

핵심 아이디어: "예"와 "아니오"의 게임으로서의 논리학

당신이 친구에게 논리학이 어떻게 작동하는지 설명하려고 한다고 상상해 보세요. 보통 우리는 논리학을 무엇이 **참(True)**이고 무엇이 **거짓(False)**인지를 결정하는 규칙들의 집합이라고 생각합니다.

이 논문은 이를 바라보는 다른 방식을 제안합니다. "이 문장이 참인가?"라고 묻는 대신, 저자들은 다음과 같이 묻습니다. "내가 이것을 주장할 수 있는가?" (예라고 말하기) 또는 "내가 이것을 부정할 수 있는가?" (아니오라고 말하기).

그들의 주요 슬로건은 다음과 같습니다:

고전 논리학 = 직관주의 논리학 + 쌍대성(Duality)

쉬운 말로 풀어서 설명하자면: 저자들은 우리가 수학과 과학에서 사용하는 복잡한 "고전적" 논리가 사실은 더 단순한 "직관주의적" 논리(매우 엄격한 증명을 요구하는 논리)에, "예"와 "아니오"를 시작부터부터 두 개의 대등하고 반대되는 힘으로 취급하는 특별한 규칙을 더한 것이라고 말하고 있습니다.

등장인물 소개

그들의 논증을 이해하기 위해서는 이야기 속의 세 가지 주요 등장인물을 만나야 합니다.

내용 (The "What"): 이것은 "콘서트는 좋다"와 같은 가공되지 않은 아이디어입니다.
힘 (The "How"): 이것은 아이디어를 전달하는 방식입니다. 당신은 그것을 **주장(Assert)**하거나(예: "콘서트는 좋다!") **부정(Deny)**할 수 있습니다(예: "콘서트는 나쁘다!").
공식 (The "Structure"): 이것은 "콘서트가 좋다면, 나는 머무를 것이다"와 같이 그 아이디어들로부터 만들어진 복잡한 문장입니다.

옛날 방식 vs 새로운 방식

옛날 방식 (전통적 논리학):
당신에게 전등 스위치가 있다고 상상해 보세요. 그것은 ON(참)이거나 OFF(거짓)입니다.

만약 "아니오"라고 말하고 싶다면, 당신은 그냥 스위치를 OFF로 내리면 됩니다.
이 관점에서는 "부정하는 것"이 단지 "그것의 반대를 주장하는 것"과 같습니다.
문제점: 저자들은 이것이 너무 단순하다고 말합니다. 이는 우리가 논쟁을 시작하기도 전에 이미 답이 예 혹은 아니오 중 하나라는 것을 이미 알고 있다고 가정하는 것입니다. 이는 마치 전등 스위치를 콘센트에 꽂기도 전에 스위치가 반드시 작동할 것이라고 가정하는 것과 같습니다.

새로운 방식 (저자들의 접근법):
"예라고 말하는 사람"과 "아니오라고 말하는 사람" 사이의 대화를 상상해 보세요.

그들은 전등 스위치에서 시작하지 않습니다. 그들은 **리터럴(Literal, 문장 성분)**에서 시작합니다.
리터럴은 기본적인 발화 행위입니다.
- 긍정 리터럴: "나는 주장한다: 콘서트는 좋다."
- 부정 리터럴: "나는 부정한다: 콘서트는 좋다" (이는 "콘서트는 나쁘다"라고 말하는 것과 같습니다).
결정적인 점: 이 둘은 서로에 의해 정의되지 않습니다. 당신은 "부정은 단지 주장의 반대이다"라고 말하지 않습니다. 이들은 망치와 드라이버처럼 서로 별개이며 원초적인 도구입니다. 당신은 망치를 뒤집는다고 해서 드라이버로 바꿀 수 없습니다. 그것들은 근본적으로 다른 도구입니다.

"쌍대성"이라는 비법 소스

이 논문은 단순한 논리(직관주의)에서 복잡한 논리(고전적)로 넘어가기 위해서, 아주 기초적인 수준(원자적 수준)에서 이 "예"와 "아니오"라는 도구들이 어떻게 상호작용하는지에 대한 규칙을 추가하기만 하면 된다고 주장합니다.

그들은 이 기초적인 도구들을 위해 두 가지 간단한 규칙을 도입합니다:

"배제(Exclusion)" 규칙: 당신은 똑같은 것에 대해 동시에 "예"라고 하면서 "아니오"라고 말할 수 없습니다. 만약 당신이 "콘서트는 좋다"라고 주장하면서 동시에 "콘서트는 좋다"라고 부정하려 한다면, 시스템은 충돌합니다(모순 또는 불능 상태가 됩니다).
"경우의 수 분석(Case Analysis)" 규칙: 만약 당신이 "예"라고 가정하든 혹은 "아니오"라고 가정하든 상관없이 어떤 결과를 증명할 수 있다면, 당신은 그중 무엇이 참인지 알 필요 없이 그 결과를 얻을 수 있습니다. 당신은 그저 "어느 쪽이든 증명되었다"라고 말할 수 있습니다.

비유:
당신이 클럽에 들어가려고 한다고 상상해 보세요.

직관주의 논리학: 당신은 들어가기 위해 구체적인 초대장(증명)이 필요합니다. 그것이 없다면 들어갈 수 없습니다.
고전 논리학 (쌍대성을 포함한): 당신은 "예" 패스를 가졌거나, 혹은 "아니오" 패스(이것은 "아니오, 나는 밖에 머물지 않겠다"라는 패스로 작용함)를 가졌다면 들어갈 수 있습니다.
저자들은 만약 당신에게 이 두 가지 패스(주장과 부정)가 있고 위의 두 규칙이 있다면, 미리 존재하는 "참/거짓"의 세계를 가정하지 않고도 전체적인 고전 논리의 구조를 구축할 수 있음을 보여줍니다.

이것이 왜 중요한가? (관심을 가져야 할 이유)

저자들은 철학적인 퍼즐을 풀고 있습니다.

퍼즐: 만약 우리가 "반실재론자"(진리란 우리가 증명을 통해 구성하는 것이지, 하늘에 떠 있는 것처럼 실재하는 것이 아니라고 믿는 사람들)라면, 어떻게 우리는 모든 것이 참 혹은 거짓이라고 가정하는 고전 논리를 사용할 수 있을까요?
해결책: "예"와 "아니오"를 두 개의 대등하고 원초적인 발화 행위로 취급함으로써, 저자들은 고전 논리가 미리 존재하는 "참/거짓"의 세계를 가정할 필요가 없음을 보여줍니다. 단지 우리가 "예"와 "아니오"를 가지고 어떻게 논쟁하는지에 대한 규칙만 있으면 됩니다.

기술적 성취

이 논문은 수학적으로 매우 영리한 일을 해냈습니다:

그들은 이미 잘 알려진 표준적이고 단순한 직관주의 논리의 규칙들을 가져옵니다.
그 후, 오직 가장 낮은 단계(리터럴)에서만 "쌍대성" 규칙(배제와 경우의 수 분석)을 추가합니다.
이 단순한 추가가 완전하고 강력한 고전 논리 체계를 만들어낸다는 것을 증명합니다.

그들은 이를 **기저 확장 의미론(Base-Extension Semantics)**이라고 부릅니다. 집을 짓는 것에 비유해 보세요:

직관주의 논리학은 기초와 뼈대입니다.
고전 논리학은 동일한 집이지만, 맨 아래에 특별한 "이중 문(Dual Door)"이 설치된 것입니다.
일단 이 문이 설치되면, 집 전체가 다르게 작동하여 우리가 고전 수학에서 사용하는 모든 복잡한 추론을 가능하게 하지만, 이 집은 오직 직관주의 논리의 단순하고 구성적인 벽돌들만을 사용하여 지어졌습니다.

요약

이 논문의 결론은 다음과 같습니다: 고전 논리는 신비롭고 이미 존재하는 진리가 아닙니다. 그것은 단지 직관주의 논리(증명에 기반한 논리)에, "예"와 "아니오"가 우리가 복잡한 논증을 구축하는 데 사용할 수 있는 두 개의 대등하고 반대되는 힘이라는 간단한 합의를 더한 것입니다.

"부정"을 단순히 "반대를 주장하는 것"이 아니라 하나의 원초적인 도구로 취함으로써, 저자들은 우리가 마법 같은 "참/거짓"의 세계를 믿지 않고도 고전적 추론이 어떻게 작동하는지를 이해할 수 있는 신선하고 구성적인 방법을 제공합니다.

기술 요약: 이원적 대칭성을 가진 직관주의 논리로서의 고전 논리

1. 문제 제나락
본 논문은 의미론의 기초적 과제, 즉 이가성(bivalence)이나 검증 초월적 진리를 전제하지 않으면서도 고전 논리에 대한 증명론적 의미론(P-tS)을 제공하는 문제를 다룬다. Sandqvist는 직관주의 논리(IPL)를 위한 기저 확장 의미론(B-eS)과 고전 논리(CPL)를 위한 버전을 성공적으로 개발했으나, 여មាន 한계가 존재한다. Sandqvist의 CPL 의미론은 특정 연결사( $\to, \bot, \forall$ )로 제한되어 있으며, 바 인덕션(bar induction)을 포함한 기술적으로 복잡한 완전성 증명에 의존한다. 또한, 기존의 접근법들은 전체 명제 언어(특히 $\lor$ 및 $\exists$ 포함)를 구성주의적으로 다루는 데 어려움을 겪는 경우가 많다. 저자들은 완전한 고전 명제 논리에 대한 B-eS를 제공함으로써, 고전적 추론과 반실재론적 의미 사이의 화해에 관한 Dummett의 도전에 답하고, 이를 통해 보다 기초적이고 구성적인 완전성 증명을 제시하고자 한다.

2. 방법론 및 철학적 틀
저자들은 고전 논리가 "직관주의 논리 + 대칭성(Duality)"으로 개념화되는 양방향적(bilateralist) 틀을 제안한다. 이 접근법은 원자적 수준에서 '내용(content)'과 '화행적 힘(illocutonary force)'을 구분하고, 복합 공식은 그 자체로 힘을 갖는 명제가 아니라 논리-문법적 구조로 취급함으로써 전통적인 관점에서 벗어난다.

리터럴로서의 명제: 이 체계는 "리터럴( $L$ )"을 유일한 주장(assertion)과 부정(denial)의 대상으로 도입한다. 내용 $c$ 는 힘과 결합하여 양의 리터럴( $c^+$ , 주장) 또는 음의 리터럴( $c^-$ , 부정)을 형성한다. 결정적으로, 대칭성은 원초적이다: $c^+$ 와 $c^-$ 는 부정( $\neg$ )을 통해 정의되는 것이 아니라 독립적인 원자적 화행이다.
논리-문법적 구조: 복합 공식(예: $\phi \land \psi$ )은 주장되거나 부정되어야 할 명제가 아니라 추론을 조직하는 구조이다. 따라서 양방향적 구별(주장 대 부정)은 원자적 수준(리터럴)으로 제한된다.
추론적 대칭성: 고전성은 단순히 진릿값을 추가함으로써가 아니라, 원자적 수준에서 두 가지 조화로운 추론 원칙(Negri와 von Plato를 따름)을 도입함으로써 회복된다:
1. 배제(Exclusion, EXC1): 동일한 내용을 주장함과 동시에 부정하는 것은 불능(absurdity)으로 이어진다 ( $l, l^\perp \vdash \bot$ ).
2. 경우 분석(Case Analysis, EXC2): 만약 어떤 결론이 하나의 주장과 그 쌍대적 부정 모두로부터 도출된다면, 그 결론은 당연히 도출된다 ( $l \vdash \phi, l^\perp \vdash \phi \implies \vdash \phi$ ).

3. 기술적 전개

자연 연역 체계 ( $NK^\pm$ ): 저자들은 표준적인 직관주의 규칙($NJ$)에 원자적 대칭 규칙(EXC1, EXC2)을 더한 자연 연역 체계를 정의한다. 이 체계는 리터럴을 기초로 하며, 복합 공식은 표준적인 연결사를 통해 구축된다.
기저 확장 의미론 (B-eS):
- 기저 (Bases, $B$ ): 기저는 원자적 규칙들(리터럴 간의 추론 관계)의 집합이다.
- 도출 가능성 ( $\vdash_B$ ): 기저에서의 도출 가능성은 귀납적으로 정의된다. 여기에는 표준적인 구조적 규칙(반사성, 적용)과 대칭성을 리터럴 수준에서 강제하는 두 가지 새로운 절(exc1, exc2)이 포함된다.
- 지지 (Support, $\Vdash_B$ ): 공식의 타당성은 공식의 구조에 따라 귀납적으로 정의된다. 결정적으로, 연결사( $\to, \land, \lor$ )에 대한 지지 절은 Sandqvist의 직관주의적 정의와 동일하다. 고전적 성격은 복합 공식의 지지 절이 아니라, 기저 내의 도출 가능성 정의에 포함된 대칭 절에 의해 전적으로 실현된다.
- 타당성 ( $\Gamma \Vdash \phi$ ): 공식은 모든 기저에서 지지될 때 타당하다.

4. 주요 결과

건전성 (정리 5.1): 이 체계는 건전하다: 만약 $\Gamma \vdash_{NK^\pm} \phi$ 이면, $\Gamma \Vdash \phi$ 이다. 증명은 유도 과정에 대한 귀납법을 통해 진행되며, 고전적 규칙(EXC1, EXC2)이 지지를 보존함을 보여준다.
완전성 (정리 6.2): 이 체계는 완전하다: 만 if $\Gamma \Vdash \phi$ $Γ ⊩ ϕ$ 이면, $\Gamma \vdash_{NK^\pm} \phi$ $Γ ⊢_{N K^{\pm}} ϕ$ 이다.
- 증명은 직관주의 논리에 대한 Sandqvist의 기초적인 방법을 응용한다.
- 시뮬레이션 기저( $\mathcal{N}$ )를 사용하며, 이는 서열(sequent)의 부분 공식들로부터 구성된다.
- "평탄화(flattening)" 연산자는 복합 공식을 시뮬레이션 기저 내의 원자적 리터럴로 매핑한다.
- "자연화(Naturalizing)" 보조정리는 시뮬레이션 기저에서의 도출 가능성이 $NK^\pm$ 에서의 도출 가능성으로 다시 번역될 수 있음을 입증한다.
- 이전의 접근법들과 달리, 이 증명은 전체 명제 언어( $\lor$ 포함)를 다루며, 바 인덕션이나 정형 모델(canonical models)을 피하고 기초적인 수학적 자원에 의존한다.

5. 의의 및 주장
본 논문은 다음과 같은 특징을 가진 고전 논리에 대한 새로운 증명론적 의미론을 제공한다고 주장한다:

IPL과 CPL의 통합: 고전 논리가 원자적 수준에서 원초적인 대칭 원칙이 보강된 직관주의 논리로 이해될 수 있음을 보여준다.
반실재론 존중: 진릿값과 이가성을 피하고 구성적인 완전성 증명을 사용함으로써, 고전 논리에 대한 진정한 반실재론적 토대를 제공하여 Dummett의 기초적 도전에 응답한다.
기술적 복잡성 단순화: 양방향성을 리터럴로 제한하고 복합 공식을 구조적으로 취급함으로써, 저자들은 Sandqvist의 직관주의 연구와 견줄 만한 "현저히 기초적인 성격"의 완전성 증명을 달성하였으며, 이전의 고전적 B-eS 시도들이 가졌던 기술적 어려움을 극복하였다.
모델 이론에 대한 대안 제시: 저자들은 이 연구를 모델 이론적 의미론 및 Makinson이나 Eckhardt와 Pym의 모델 이론적 개념에 의존하는 기존의 P-tS 접근법에 대한 대안으로 위치시키며, 고전 논리에 대한 순수하게 추론적인 설명을 확립하고자 한다.

본 논문은 이 틀이 P-tS 전통 내에서 이미 확립된 직관주의 논리에 대한 체계적 처리와 유사하게, 고전 논리에 대한 체계적 처리를 위한 가능성을 열어준다고 결론짓는다.