관계형 삼단논법을 위한 논리 체계

논문은 아리스토텔레스식 삼단논법이 관계적 사실을 다루지 못한다는 오래된 비판을 현대의 계산 이론적 관점에서 재조명한다. 서론에서는 관계적 추론의 역사적 사례와 현대의 표현력·복잡도 트레이드오프 문제를 제시한다. 이어서 저자는 여섯 개의 논리 조각을 정의한다. 첫 번째 축은 명사에 대한 부정 허용 여부이며, S는 부정 없이 전통적인 전칭·특칭을, S†는 부정을 허용한다. 두 번째 축은 주어 구에 관계절 포함 여부이며, R은 동사를 도입해 이항 관계를 표현하고, R†는 여기에 명사 부정을 더한다. R*는 주어에 관계절을 허용해 ‘모든 사람이 어떤 동물을 죽인다’와 같은 문장을 공식화하고, R*†는 그에 명사 부정까지 포함한다. 각 조각의 문법은 일관된 형식으로 제시되며, 의미론은 도메인 집합과 명사·동사의 해석을 통해 정의된다. 특히 부정은 집합 보충으로 해석되어 absurdity 형태의 모순을 형성한다. 다음으로 증명 체계의 두 종류를 도입한다. 직접 체계는 전통적인 삼단논법 규칙만을 사용하고, reductio ad absurdum을 최종 단계에서만 허용하거나 전혀 사용하지 않는다. 간접 체계는 이 규칙을 증명 과정 중 언제든지 적용할 수 있다. 저자는 각 조각에 대해 이러한 체계의 존재 여부를 체계적으로 조사한다. S와 S†는 직접 체계만으로도 완전성을 확보한다는 긍정적 결과를 얻는다. 반면 R 조각은 직접 체계만으로는 완전하지 않으며, reductio를 한 번만 허용하는 refutation‑complete 체계가 필요함을 보인다. R* 조각은 복잡도 이론에 의해 직접 체계가 존재하지 않음이 증명되고, 대신 완전한 간접 체계를 제시한다. 마지막으로 R†와 R*†는 어떠한 직접·간접 체계도 완전성을 가질 수 없다는 부정 결과를 도출한다. 복잡도 분석에서는 각 조각의 타당성 판단 문제를 결정론적 복잡도 클래스와 연결한다. S, S†, R 조각은 로그스페이스 완전이며, 이는 전통적인 삼단논법과 동일한 낮은 복잡도를 유지함을 의미한다. R* 조각은 공동 NP 완전으로, 존재성 검증이 NP에 해당하지만 부정 검증이 coNP에 해당한다는 중간 복잡도를 가진다. R†와 R*†는 지수시간 완전으로, 관계절과 명사 부정이 결합될 때 계산 난이도가 급격히 상승함을 보여준다. 이러한 복잡도 결과는 증명 체계의 존재 여부와도 일치한다. 즉, 낮은 복잡도 조각은 직접 체계가 가능하고, 높은 복잡도 조각은 간접 체계조차도 불가능하거나 제한된 형태만 가능하다. 마지막으로 관련 연구와의 비교를 통해 기존의 2‑변량 논리, 양화 전치 논리와의 차별점을 강조하고, 전통적인 삼단논법을 현대의 형식 논리와 연결하는 새로운 관점을 제시한다. 결론에서는 관계형 삼단논법의 가능성과 한계를 정리하고, 향후 연구 방향으로 더 풍부한 관계 구조와 효율적인 자동 증명 기법 개발을 제안한다.