7.13 귀결 관계의 형식적 성질

1. 절의 학술적 목표

본 절은 논리적 귀결 관계 “⊨“의 형식적 성질을 학술적으로 검토하는 것을 목표로 한다. 귀결 관계는 단순한 이항 관계를 넘어서 반사성, 단조성, 이식성 등 일련의 형식적 성질을 만족하는 구조적 관계이다. 이러한 성질들은 귀결 관계의 메타이론적 분석과 증명 체계의 설계에 기초가 된다. 본 절은 귀결 관계의 주요 형식적 성질을 체계적으로 정리하고, 그 학술적 의의를 검토한다.

2. 귀결 관계의 형식적 틀

귀결 관계는 일반적으로 “Γ ⊨ Q“의 형식으로 표기되며, 여기서 Γ는 전제 집합이고 Q는 결론 명제이다. 귀결 관계는 메타 언어 차원의 관계이며, 대상 언어의 명제들 사이의 논리적 관계를 기술한다. 알프레트 타르스키(Alfred Tarski)는 1936년의 고전적 논문에서 귀결 관계의 형식적 정의와 성질을 체계적으로 제시하였다(Tarski, 1936).

3. 반사성

반사성(reflexivity)은 귀결 관계의 가장 기본적 성질이다. 형식적으로 반사성은 “A ⊨ A“로 표현된다. 즉, 임의의 명제는 자기 자신의 귀결이다. 반사성은 전제 집합에 결론이 포함되어 있을 경우 그 결론이 귀결 관계를 성립시킴을 의미한다. 일반화된 형태로는 “A ∈ Γ이면 Γ ⊨ A“로 표현된다. 반사성은 귀결 관계의 직관적 의미와 부합하며, 거의 모든 논리 체계에서 채택된다(Tarski, 1936).

4. 단조성

단조성(monotonicity)은 전제 집합의 확장이 귀결 관계를 보존하는 성질이다. 형식적으로 “Γ ⊨ Q이고 Γ ⊆ Γ′이면 Γ′ ⊨ Q“로 표현된다. 즉, 이미 성립한 귀결 관계에 새로운 전제를 추가하여도 그 귀결 관계는 유지된다. 단조성은 고전 논리 체계의 기본 특성이며, 전제의 추가가 기존의 논리적 결론을 무효화하지 않음을 보장한다(Gabbay, 1985).

5. 이식성

이식성(cut) 또는 전이성(transitivity)은 귀결 관계의 합성에 관한 성질이다. 형식적으로 “Γ ⊨ A이고 Γ, A ⊨ Q이면 Γ ⊨ Q“로 표현된다. 즉, Γ로부터 A를 도출할 수 있고 A와 Γ를 결합하여 Q를 도출할 수 있다면, A를 거치지 않고도 Γ로부터 Q를 도출할 수 있다. 이식성은 증명의 합성과 분해의 기초이며, 게르하르트 겐첸(Gerhard Gentzen)의 컷 제거 정리(cut-elimination theorem)에서 중심 역할을 한다(Gentzen, 1935).

6. 타르스키의 세 가지 조건

타르스키는 귀결 관계의 본질을 포착하기 위하여 세 가지 조건, 즉 반사성, 단조성, 그리고 폐포성(closure)을 제시하였다. 폐포성은 Γ의 귀결들의 집합이 그 자체로 귀결 연산에 대하여 닫혀 있다는 성질이다. 이 세 조건을 만족하는 관계는 “타르스키적 귀결 관계(Tarskian consequence relation)“로 불리며, 고전 논리뿐만 아니라 여러 비고전 논리 체계에도 적용된다(Tarski, 1936).

7. 구조적 규칙

귀결 관계의 형식적 성질은 증명 이론에서 “구조적 규칙(structural rules)“으로 표현된다. 겐첸의 시퀀트 계산(sequent calculus)에서는 약화(weakening), 축약(contraction), 교환(exchange), 컷(cut)의 네 가지 구조적 규칙이 핵심을 이룬다. 약화는 단조성에 대응하고, 컷은 이식성에 대응하며, 축약과 교환은 전제 집합의 구조적 처리에 관한 규칙이다. 이러한 규칙의 선택에 따라 다양한 논리 체계가 구분된다(Gentzen, 1935).

8. 컴팩트성

컴팩트성(compactness)은 귀결 관계의 중요한 메타이론적 성질이다. 형식적으로 “Γ ⊨ Q이면 Γ의 어떤 유한 부분 집합 Γ′에 대하여 Γ′ ⊨ Q가 성립한다“로 표현된다. 즉, 임의의 귀결 관계는 유한한 전제로부터의 귀결로 환원될 수 있다. 컴팩트성은 일계 술어 논리의 기본 성질이며, 모델 이론의 주요 정리 중 하나이다(Kleene, 1952).

9. 연역 정리

연역 정리(deduction theorem)는 귀결 관계와 조건문의 관계를 설명하는 메타정리이다. 형식적으로 “Γ, A ⊨ Q이면 Γ ⊨ A → Q“로 표현되며, 그 역도 성립한다. 연역 정리는 전제로부터의 귀결과 조건문의 귀결을 상호 변환 가능하게 하며, 고전 논리와 대부분의 표준 논리 체계에서 성립한다(Kleene, 1952).

10. 치환 보존성

치환 보존성(substitution invariance)은 귀결 관계가 명제 변항의 일관된 치환에 대하여 보존되는 성질이다. 형식적으로 “Γ ⊨ Q이고 σ가 치환이라면 σ(Γ) ⊨ σ(Q)“로 표현된다. 치환 보존성은 논리적 귀결 관계의 형식적 성격, 즉 귀결 관계가 논리적 형식에 의존하고 명제의 특정 내용에 의존하지 않는다는 직관을 반영한다(Etchemendy, 1990).

11. 폭발 원리와 귀결 관계

고전 논리의 폭발 원리(ex falso quodlibet)는 모순적 전제 집합으로부터 임의의 명제가 귀결로 도출되는 성질이다. 형식적으로 “Γ ⊨ A이고 Γ ⊨ ¬A이면 임의의 Q에 대하여 Γ ⊨ Q“로 표현된다. 폭발 원리는 고전 논리의 표준적 성질이지만, 초일관성 논리(paraconsistent logic)에서는 이를 제한하거나 거부한다. 이러한 제한은 모순을 포함하는 이론의 비자명한 분석을 가능하게 한다(Priest, 1979).

12. 형식적 성질과 논리 체계의 다양성

귀결 관계의 형식적 성질 중 일부를 거부하거나 수정하면 다양한 비고전 논리 체계가 도출된다. 예를 들어 단조성을 제한하면 비단조 논리가, 이식성을 제한하면 하위 구조 논리(substructural logic)가, 폭발 원리를 거부하면 초일관성 논리가, 반사성을 제한하면 특수한 형식 체계가 얻어진다. 이러한 다양성은 귀결 관계의 형식적 성질이 논리 체계의 본질을 결정하는 중심 요소임을 보여 준다(Restall, 2000).

13. 본 절의 결론적 정리

귀결 관계 “⊨“는 단순한 이항 관계가 아니라 반사성, 단조성, 이식성, 컴팩트성, 연역 정리, 치환 보존성 등의 형식적 성질을 가지는 구조적 관계이다. 이러한 성질들은 고전 논리의 표준적 성격을 정의하며, 증명 이론과 모델 이론의 메타이론적 분석의 기반을 제공한다. 귀결 관계의 특정 성질을 수정하거나 제한하면 다양한 비고전 논리 체계가 도출된다. 학습자는 귀결 관계의 형식적 성질들을 체계적으로 이해하고, 각 성질의 논리적 의미와 메타이론적 함의를 정확히 파악할 수 있어야 한다.

14. 출처

• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
• Gentzen, G. (1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176–210, 405–431.
• Kleene, S. C. (1952). Introduction to Metamathematics. Amsterdam: North-Holland.
• Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8(1), 219–241.
• Gabbay, D. M. (1985). Theoretical foundations for non-monotonic reasoning in expert systems. In K. R. Apt (Ed.), Logics and Models of Concurrent Systems (pp. 439–457). Berlin: Springer.
• Etchemendy, J. (1990). The Concept of Logical Consequence. Cambridge, MA: Harvard University Press.
• Restall, G. (2000). An Introduction to Substructural Logics. London: Routledge.

15. 버전

• 문서 버전: 1.0
• 작성 기준일: 2026-04-15