1.5 추론 계산법(Calculus Ratiocinator)의 구조와 작동 원리

1. 추론 계산법의 정의

추론 계산법(Calculus Ratiocinator)은 라이프니츠가 구상한 형식적 추론 체계로서, 보편 기호학(Characteristica Universalis)으로 표현된 명제들에 대해 기계적 규칙을 적용하여 새로운 참인 명제를 도출하는 절차적 체계이다. 보편 기호학이 개념과 명제의 형식적 표현(Representation)을 담당한다면, 추론 계산법은 그 표현들 사이의 논리적 관계를 조작(Manipulation)하는 역할을 담당한다.

라이프니츠에게 “계산(Calculus)“이라는 용어는 단순한 수치적 산술을 넘어, 기호에 대한 규칙 기반의 체계적 조작 일반을 지칭한다. 그가 미적분학(Calculus)이라는 동일한 용어를 사용하여 연속적 변화의 수학적 체계를 명명한 것도 이 넓은 의미에서이다. 추론 계산법은 이 일반적 의미의 계산을 논리적 추론 영역에 적용한 것이다.

2. 추론 계산법의 구조

추론 계산법은 현대 형식 논리학의 용어로 재구성하면 다음의 구성 요소로 이루어진다.

2.1 기호 언어(Formal Language)

추론 계산법이 작동하는 기반은 보편 기호학이 제공하는 형식 언어이다. 이 언어는 다음의 요소를 포함한다:

개념 기호(Concept Symbols): 원초적 개념에 대응하는 기본 기호와, 이들의 규칙적 조합으로 구성된 복합 개념 기호
명제 형성 연산자(Proposition-Forming Operators): 개념 기호들을 결합하여 명제를 구성하는 논리적 연결사(Logical Connective)
적격 식(Well-Formed Formula): 위의 기호와 연산자를 문법 규칙에 따라 결합하여 구성한 형식적 표현

2.2 공리(Axioms)

추론 계산법에서 공리는 증명 없이 참으로 받아들여지는 기본 명제이다. 라이프니츠는 공리가 다음의 조건을 충족해야 한다고 규정하였다:

자명성(Self-Evidence): 공리는 그 자체로 명백하게 참이어야 한다. 라이프니츠는 이를 “동일 명제(Identical Proposition)“로 환원하였다. 동일 명제란 “ $A$ 는 $A$ 이다” 형태의 명제로서, 그 진리가 개념의 의미 분석만으로 확인되는 분석적 진리(Analytic Truth)이다.
독립성(Independence): 각 공리는 다른 공리들로부터 도출되지 않아야 한다.
원초성(Primitiveness): 공리는 더 단순한 진리로 환원될 수 없는 기본적 진리여야 한다.

라이프니츠가 제시한 논리적 공리의 예는 다음과 같다:

동일률(Law of Identity): $A = A$
모순율(Law of Non-Contradiction): $\neg(A \wedge \neg A)$
배중률(Law of Excluded Middle): $A \vee \neg A$
대입 공리(Substitution Axiom): $A = B$ 이면 $A$ 가 나타나는 모든 맥락에서 $B$ 로 대체 가능하다.

2.3 추론 규칙(Rules of Inference)

추론 규칙은 기존 명제로부터 새로운 명제를 도출하는 형식적 변환 규칙이다. 추론 계산법의 핵심 규칙들을 기술하면 다음과 같다.

규칙 1: 개념 포함에 의한 추론

라이프니츠의 논리학에서 가장 기본적인 추론 형태는 주어-술어 명제에 대한 개념 포함(Conceptual Containment) 관계에 기반한다. 명제 “모든 $S$ 는 $P$ 이다“는 술어 개념 $P$ 가 주어 개념 $S$ 에 포함됨을 의미한다. 수적 부호화 체계에서 이는 다음과 같이 표현된다:

$\sigma(P) \mid \sigma(S) \implies \text{"모든 } S \text{는 } P \text{이다"는 참}$

이 규칙에 의해 삼단논법(Syllogism)이 산술적 계산으로 환원된다. 예를 들어:

전제 1: “모든 $S$ 는 $M$ 이다” → $\sigma(M) \mid \sigma(S)$
전제 2: “모든 $M$ 은 $P$ 이다” → $\sigma(P) \mid \sigma(M)$
결론: $\sigma(P) \mid \sigma(M)$ 이고 $\sigma(M) \mid \sigma(S)$ 이면 $\sigma(P) \mid \sigma(S)$
따라서: “모든 $S$ 는 $P$ 이다”

약수 관계의 추이성(Transitivity of Divisibility)이 삼단논법의 타당성을 보장한다.

규칙 2: 개념 결합과 분리

두 명제 “ $S$ 는 $A$ 이다“와 “ $S$ 는 $B$ 이다“가 모두 참이면, “ $S$ 는 $AB$ 이다“가 참이다. 수적 부호화에서 이는 $\sigma(A) \mid \sigma(S)$ 이고 $\sigma(B) \mid \sigma(S)$ 이면 $\text{lcm}(\sigma(A), \sigma(B)) \mid \sigma(S)$ 로 표현된다. 여기서 $\text{lcm}$ 은 최소공배수이다.

역으로, “ $S$ 는 $AB$ 이다“가 참이면 “ $S$ 는 $A$ 이다“와 “ $S$ 는 $B$ 이다“가 각각 참이다. 이는 $\text{lcm}(\sigma(A), \sigma(B)) \mid \sigma(S)$ 이면 $\sigma(A) \mid \sigma(S)$ 이고 $\sigma(B) \mid \sigma(S)$ 인 것으로 표현된다.

규칙 3: 대입 규칙(Rule of Substitution)

동일한 개념에 대한 두 개의 동등한 표현이 존재할 때, 한 표현이 나타나는 모든 위치에서 다른 표현으로 대체할 수 있다. 형식적으로, $A = B$ 이면, 명제 $\Phi(A)$ 로부터 $\Phi(B)$ 를 도출할 수 있다.

추론 계산법의 작동 원리

추론 계산법의 작동은 다음의 순차적 단계로 이루어진다.

단계 1: 명제의 형식화

자연 언어로 표현된 전제와 결론을 보편 기호학의 형식 언어로 번역한다. 각 개념은 해당하는 기호로, 명제 구조는 해당하는 형식적 연결 관계로 변환된다.

단계 2: 수적 부호화

형식화된 명제의 각 개념 기호를 대응하는 수로 변환한다. 원초적 개념은 소수로, 복합 개념은 소수의 곱으로 부호화된다.

단계 3: 산술적 검증

명제의 진위를 산술적 관계(약수 관계, 최대공약수, 최소공배수 등)의 검증으로 판정한다. 이 단계에서 추론은 순전히 기계적인 수 계산으로 환원된다.

단계 4: 규칙 적용

추론 규칙을 기계적으로 적용하여 전제로부터 새로운 명제를 도출한다. 각 규칙 적용 단계에서 적용할 규칙은 현재 명제의 형식적 구조에 의해 결정된다.

단계 5: 결론의 복호화

최종적으로 도출된 형식적 표현을 해석하여 의미 있는 결론으로 변환한다.

추론 계산법의 기계적 성격

추론 계산법의 핵심적 특징은 그 기계적(Mechanical) 성격에 있다. 기계적이라 함은 다음의 세 가지 속성을 의미한다.

첫째, **의미 독립성(Semantic Independence)**이다. 추론 과정의 각 단계는 기호의 의미에 대한 이해를 필요로 하지 않는다. 기호의 형식적 구조만으로 규칙의 적용이 결정된다. 라이프니츠는 이를 “맹인의 사유(Cogitatio Caeca)“라 불렀다.

둘째, **결정론적 성격(Deterministic Character)**이다. 동일한 전제에 동일한 규칙을 적용하면 항상 동일한 결론이 도출된다. 추론 과정에 판단자의 주관적 해석이 개입할 여지가 없다.

셋째, **유한 종결성(Finite Termination)**이다. 추론 과정은 유한한 수의 규칙 적용 단계 이후에 종결된다. 각 단계는 명확히 정의된 조작이며, 무한한 과정을 요구하지 않는다.

이 세 속성은 현대 컴퓨터 과학에서 알고리즘(Algorithm)의 정의적 속성—명확성(Definiteness), 결정론적 실행(Deterministic Execution), 유한 종결(Finite Termination)—과 정확히 대응한다. 추론 계산법은 알고리즘이라는 개념이 형식적으로 정의되기 2세기 이전에 구상된 알고리즘적 추론 체계이다.

라이프니츠의 논리적 계산 체계의 구체적 예시

라이프니츠가 남긴 미발표 원고들에서 그의 논리적 계산 체계의 구체적 구현을 확인할 수 있다. 라이프니츠는 여러 차례에 걸쳐 논리적 계산 체계를 정교화하였으며, 그 중 하나를 재구성하면 다음과 같다.

원초적 개념 ’이성적(Rational)’에 소수 $2$ 를, ’감각적(Sentient)’에 소수 $3$ 을, ’물질적(Material)’에 소수 $5$ 를, ’생명적(Living)’에 소수 $7$ 을 대응시킨다.

동물(Animal) = 감각적 $\wedge$ 물질적 $\wedge$ 생명적 → $\sigma(\text{Animal}) = 3 \times 5 \times 7 = 105$
인간(Human) = 이성적 $\wedge$ 감각적 $\wedge$ 물질적 $\wedge$ 생명적 → $\sigma(\text{Human}) = 2 \times 3 \times 5 \times 7 = 210$

명제 “모든 인간은 동물이다“의 검증:

$\sigma(\text{Animal}) \mid \sigma(\text{Human}) \iff 105 \mid 210 \iff 210 = 105 \times 2$

$105$ 은 $210$ 의 약수이므로 명제는 참이다. 이 판정은 순전히 산술적 연산에 의해 기계적으로 수행되었다.

3. 추론 계산법의 이론적 한계

라이프니츠의 추론 계산법은 주어-술어 형식의 긍정적 보편 명제(Universal Affirmative Proposition)에 대해서는 효과적으로 작동하나, 여러 이론적 한계를 갖는다.

첫째, **관계 명제(Relational Proposition)**의 처리가 불완전하다. “ $A$ 는 $B$ 보다 크다“와 같이 두 개 이상의 항 사이의 관계를 표현하는 명제는 주어-술어 형식으로 환원이 어렵다. 이 한계는 이후 프레게에 의해 관계 논리학(Logic of Relations)과 다항 술어(Polyadic Predicate)의 도입으로 극복되었다.

둘째, **부정 명제(Negative Proposition)**와 **특칭 명제(Particular Proposition)**의 처리가 복잡하다. 소수 부호화 체계에서 부정의 표현은 추가적인 장치를 필요로 하며, 라이프니츠 자신도 이 문제에 대해 여러 차례 해결 방안을 수정하였다.

셋째, **양화사(Quantifier)**의 체계적 처리가 부재하다. “어떤 $S$ 는 $P$ 이다“와 “모든 $S$ 는 $P$ 이다“의 구별은 라이프니츠의 체계에서 완전히 형식화되지 못하였다. 이 문제의 해결은 프레게의 양화 논리학(Quantificational Logic)의 등장을 기다려야 하였다.

4. 추론 계산법의 학문사적 위상

이러한 한계에도 불구하고, 추론 계산법은 형식적 추론 체계의 최초의 체계적 구상으로서 지대한 학문사적 의의를 갖는다. 추론을 기호의 기계적 조작으로 환원한다는 핵심 원리는 이후 부울의 논리 대수, 프레게의 개념기법, 힐베르트의 형식주의(Formalism), 그리고 궁극적으로 튜링의 계산 이론과 자동 정리 증명(Automated Theorem Proving)의 직접적 사상적 원천이다.

현대의 컴퓨터 프로그램은 본질적으로 추론 계산법의 물리적 구현이다. 프로그래밍 언어로 작성된 명령어가 컴퓨터에 의해 기계적으로 실행되는 것은 라이프니츠가 구상한 “기호의 기계적 조작에 의한 결론의 도출“과 구조적으로 동일한 과정이다.