다이얼렉틱 모델링: 유한·무한 구조의 비교와 한계

초록

본 논문은 1·2·3번의 세 가지 1차 논리적 다이얼렉틱 스키마를 정의하고, 스키마 1·2는 서로 다른 유한 모델을 가짐을 증명한다. 또한 자연수 전체를 이용한 무한 모델을 제시하며, 스키마 3은 어떠한 유한 모델도 존재하지 않음을 보인다.

상세 요약

논문은 먼저 다이얼렉틱 스키마를 1차 술어 논리의 공리 집합으로 형식화한다. 스키마 1은 기본적인 삼항 관계 T(x,y,z)와 이항 관계 S(x,y)를 이용해 ‘정제‑반정제‑합성’의 전통적 구조를 모델링하고, 스키마 2는 추가적인 전이 규칙 P(x,y)와 제한 조건 R(x)로 복잡성을 높인다. 두 스키마 모두 유한 구조에서 만족 가능한 해를 찾을 수 있지만, 구성 가능한 원소의 수와 관계의 배치가 현저히 다르다. 저자는 유한 집합 A={a₁,…,aₙ}에 대해 스키마 1은 순환적 삼중항 관계를 통해 모든 원소가 동일한 합성 패턴에 참여하도록 설계할 수 있음을 보인다. 반면 스키마 2는 전이 P가 비대칭성을 강제하므로, 동일한 크기의 집합이라도 관계 그래프가 비정형적이며, 특정 n에서는 전혀 모델링이 불가능함을 사례로 제시한다.

다음으로 무한 모델 구축에서는 자연수 집합 ℕ을 기본 도메인으로 삼고, T(x,y,z)≡(z=x+y), S(x,y)≡(y=x+1) 등 산술적 정의를 부여한다. 이렇게 하면 스키마 1·2·3 모두가 동시에 만족되는 구조가 형성된다. 특히 스키마 3은 추가적인 고차 관계 Q(x,y,z)와 전제 ∀x∃y ¬S(x,y) 등을 포함하는데, 이는 유한 집합에서는 모순을 일으켜 모델 존재가 불가능함을 증명한다. 증명은 귀류법을 사용해, 가정된 유한 모델에서 무한히 증가하는 전이 사슬을 강제하는 조건이 충돌함을 보인다.

결과적으로 논문은 다이얼렉틱 스키마의 형식적 차이가 모델 존재성에 미치는 영향을 명확히 규명한다. 스키마 1·2는 유한·무한 모두에서 구현 가능하지만, 구조적 제약이 다르므로 적용 분야가 구분된다. 스키마 3은 순수히 무한적 성격을 띠어, 논리적·철학적 논의에서 ‘무한 합성’ 혹은 ‘무한 진행’ 개념을 형식화하는 데 적합함을 시사한다.