현대 집합 이론: 고전 논리와 퍼지 논리를 초월한 일반화

본 논문은 “현대 집합(Modern Set)”이라는 새로운 수학적 개념을 도입하여, 전통적인 집합론이 전제로 삼는 배타법칙, 모순법칙, 교환법칙, 분배법칙 등을 자유롭게 포기하고 보다 일반적인 논리 체계를 구축하고자 한다. 1. 서론에서는 고전 집합론과 퍼지 집합 이론을 비교하면서, 퍼지 집합이 배타법칙과 모순법칙을 포기했지만 여전히 교환·분배 법칙을 유지한다는 점을 지적한다. 저자는 자연 언어와 물리적 현상이 시간 순서와 비가역성을 포함하므로, 이러한 법칙들을 포기한 새로운 집합 개념이 필요하다고 주장한다. 2. 격자 이론에 대한 예비 섹션에서는 격자(L,∧,∨)의 기본 성질(교환, 결합, 흡수, 분배)과 완비 하이팅 대수(cHa), 불 대수 등을 정의한다. 특히 정의 1에서 cHa는 무한 합에 대해 분배가 가능한 완비 격자로, 이후 현대 집합의 기반이 된다. 3. 일반화된 퍼지 집합 섹션에서는 GF(X)라는 “일반화 퍼지 집합의 링”을 정의하고, L‑퍼지 집합과의 동등성을 정리 1을 통해 증명한다. 여기서 각 원소 x∈X마다 격자 Lₓ가 할당되고, Lₓ가 cHa이면 전체 집합들의 모임 LF(X)는 GF(X)의 링 구조를 만족한다는 것이 핵심이다. 4. 현대 집합의 정의(정의 6)에서는 약한 불 대수(H,∗∧,∗∨)를 도입한다. 각 원소 x마다 서로 다른 대수 Hₓ를 할당하고, 집합 A는 멤버십 함수 μ_A(x)∈Hₓ 로 표현된다. 연산 ∨와 ∧는 각각 Hₓ 내부의 ∗∨ₓ, ∗∧ₓ 로 정의되며, Oₓ와 Iₓ는 최소·최대 원소이다. 이때 Hₓ가 교환·분배 등 고전 법칙을 만족하면 전체 현대 집합도 해당 법칙을 만족한다(정리 2‑5). 5. 정리 2에서는 멤버십 값이 Oₓ 또는 Iₓ인 경우에만 교환·분배·흡수 법칙이 성립함을 경우별 검증으로 보여준다. 정리 3‑5는 Hₓ 전체가 교환·분배·흡수 등을 만족할 때 전체 현대 집합이 동일한 성질을 갖는다는 “obvious” 증명을 제시한다. 6. 이어지는 예시에서는 비가환 현대 집합을 구체화한다. 예시 6에서는 힐베르트 공간 위의 유한선형 연산자를 Hₓ로 두고, 연산 ∗∧ₓ를 합성, ∗∨ₓ를 덧셈으로 정의한다. 등가 관계 ∼ 를 도입해 0·I=0, I·0=0 등 기본적인 항등성을 확보하고, 비가환성을 유지한다. 예시 7에서는 n×n 행렬 공간을 이용해 동일한 구조를 만든다. 7. 이후 Gelfand 정리와 Gelfand‑Neumark 정리를 인용해, 가환 C*‑대수는 연속함수 공간 C(X)와 동형이며, 따라서 이러한 대수로부터 언제든지 가환 현대 집합을 구성할 수 있음을 제시한다. 이는 현대 집합이 연산자 대수와 깊은 연관성을 가짐을 시사한다. 8. 결론에서는 비가환·시간 순서가 있는 사고를 모델링하기 위해 현대 집합이 필요하다고 강조하고, 이러한 논리 체계가 인공지능(AI) 연구에 새로운 가능성을 열어줄 것이라고 전망한다. 또한 “be”, “have”, “own” 같은 속성 동사는 고전 논리에서 잘 다루어지지만, 대부분의 동사는 비가환성을 요구한다는 점을 언급한다. 전체적으로 논문은 기존 퍼지·L‑퍼지 이론을 포괄하는 보다 일반적인 집합 구조를 제시하고, 격자·대수·연산자 이론과 연결함으로써 수학적 토대를 마련한다. 그러나 정의와 증명의 엄밀성이 부족하고, 실제 적용을 위한 구체적 알고리즘이나 사례 연구가 결여돼 있다. 향후 연구에서는 비가환 연산을 이용한 구체적 모델링, 계산 복잡도 분석, 그리고 AI 시스템에의 통합 방안을 탐구할 필요가 있다.