시형 논증을 위한 도식적 연산 체계

초록

**
본 논문은 전통적인 삼단 논법을 시각적 도식으로 표현하고, 그 위에 형식적인 연산 규칙을 부여한 새로운 논리 계산법을 제시한다. 제시된 계산법은 완전성과 건전성을 증명하여, 논법이 타당함은 곧 계산법 내에서 증명 가능함과 동치임을 보인다.

**

상세 요약

**
이 연구는 고대 아리스토텔레스식 삼단 논법을 현대 논리학의 형식화와 결합하려는 시도이다. 기존의 Venn·Euler 도식은 직관적인 시각화를 제공하지만, 정형화된 연산 규칙이 부족해 증명 체계로 활용하기엔 한계가 있었다. 저자는 이러한 한계를 극복하기 위해 ‘도식적 연산(calculus)’이라는 새로운 프레임워크를 설계한다. 먼저, 기본 단위인 ‘항목(terminus)’과 ‘관계(relation)’를 정의하고, 이를 선과 점으로 구성된 그래프 형태로 표현한다. 각 선은 전제의 종류(A, E, I, O)를 색상 혹은 방향으로 구분하고, 점은 주어와 술어를 나타낸다.

연산 규칙은 크게 두 종류로 나뉜다. 첫째, ‘연결(rule of connection)’은 두 전제 사이에 공통된 항목이 존재할 때 이를 연결해 새로운 도식을 생성하는 규칙이며, 이는 전통적인 ‘중간 용어’를 제거하는 과정과 동일시된다. 둘째, ‘축소(rule of reduction)’는 불필요한 중간 구조를 단순화하여 최종 결론 도식을 도출한다. 이 두 규칙은 각각 결합법칙과 교환법칙을 만족하도록 설계돼, 연산 순서에 관계없이 동일한 결론에 도달한다는 ‘연산의 교환성’을 보장한다.

논문은 이러한 연산 체계가 ‘건전성(soundness)’과 ‘완전성(completeness)’을 만족함을 형식적으로 증명한다. 건전성 증명에서는 각 연산이 실제 논리적 추론 규칙(예: 모드 포넨스, 모드 토르멘스)과 일치함을 보이며, 완전성 증명에서는 모든 타당한 삼단 논법이 위 연산을 통해 재구성될 수 있음을 귀납적으로 보여준다. 특히, 저자는 전통적인 24개의 정형 삼단 논법을 모두 도식화하고, 각 경우에 대해 연산 과정을 단계별로 제시함으로써 실용성을 강조한다.

또한, 계산법의 복잡도 분석을 통해 연산 단계가 전제 수에 대해 선형 시간 안에 수행될 수 있음을 입증한다. 이는 기존의 문자 기반 증명 시스템보다 직관적이고 효율적인 추론 도구로 활용될 가능성을 시사한다. 마지막으로, 저자는 이 체계가 교육용 도구, 자동화된 논리 프로그램, 그리고 인공지능의 자연어 추론 모듈에 적용될 수 있는 확장성을 논의한다. 전체적으로 이 논문은 형식 논리와 시각적 도식 사이의 간극을 메우는 중요한 학술적 기여이며, 논리학·철학·컴퓨터 과학 분야 모두에 파급 효과를 기대할 수 있다.

**