Part 3. 형식 논리학: 술어 논리와 양상 논리

1. 본 부의 학술적 목표

본 부는 형식 논리학의 두 핵심 체계인 술어 논리(predicate logic)와 양상 논리(modal logic)를 학술적으로 검토하는 것을 목표로 한다. 명제 논리가 명제 전체를 원자적 단위로 취급하는 데 반하여, 술어 논리는 명제의 내부 구조(주어, 술어, 개체, 관계, 양화)를 형식적으로 분석한다. 양상 논리는 “필연적으로”, “가능적으로“와 같은 양상 개념을 형식화하는 논리 체계이다. 본 부는 학습자가 이 두 체계의 구문론, 의미론, 증명 이론, 메타이론적 성질, 철학적 의의를 체계적으로 이해하도록 기초를 제공한다.

2. 본 부의 학술적 배경

술어 논리는 프레게(Gottlob Frege)의 1879년 저작 Begriffsschrift에서 처음으로 체계적으로 제시되었으며, 러셀(Bertrand Russell)과 화이트헤드(Alfred North Whitehead)의 1910~1913년 저작 Principia Mathematica에서 더욱 정교하게 발전되었다. 이후 힐베르트(David Hilbert)와 아커만(Wilhelm Ackermann)의 1928년 저작 Grundzüge der theoretischen Logik은 1차 술어 논리의 공리 체계를 제시하였으며, 괴델(Kurt Gödel)의 1929년 박사 논문 Über die Vollständigkeit des Logikkalküls는 1차 술어 논리의 완전성 정리를 증명하였다. 양상 논리는 루이스(C. I. Lewis)의 1918년 저작 A Survey of Symbolic Logic에서 엄격 함의(strict implication)의 논리로 시작되었으며, 크립키(Saul Kripke)의 1963년 논문 “Semantical considerations on modal logic“에서 가능 세계 의미론이 확립되었다(Frege, 1879; Gödel, 1929; Kripke, 1963).

3. 술어 논리의 핵심 개념

술어 논리는 명제의 내부 구조를 분석하기 위하여 개체 변항, 술어 기호, 함수 기호, 양화사(전칭 양화사 ∀, 존재 양화사 ∃)를 도입한다. 이를 통하여 “모든 x에 대하여 P(x)”, “어떤 x가 존재하여 Q(x)“와 같은 명제를 형식적으로 표현할 수 있다. 1차 술어 논리(first-order predicate logic)는 개체에 대한 양화만을 허용하는 체계이며, 고차 술어 논리(higher-order predicate logic)는 술어와 함수에 대한 양화를 허용한다. 술어 논리의 의미론은 타르스키(Alfred Tarski)의 1933년 논문 “Der Wahrheitsbegriff in den formalisierten Sprachen“에서 형식화된 모델 이론적 의미론에 기반한다(Tarski, 1933).

4. 양상 논리의 핵심 개념

양상 논리는 필연성(necessity, □)과 가능성(possibility, ◇)의 양상 개념을 형식 체계에 도입한다. 기본 양상 논리 체계 K는 분배 공리(□(A → B) → (□A → □B))와 필연화 규칙(A로부터 □A를 도출)을 추가한 체계이며, 여기에 추가 공리를 도입함으로써 T, S4, S5 등 다양한 양상 체계가 정의된다. 양상 논리의 가능 세계 의미론은 “필연성“을 “모든 접근 가능한 세계에서의 참“으로, “가능성“을 “어떤 접근 가능한 세계에서의 참“으로 해석한다. 접근 관계(accessibility relation)의 성질(반사성, 대칭성, 이행성 등)은 각 양상 체계의 특성을 결정한다(Kripke, 1963).

5. 형식 체계의 메타이론적 성질

본 부에서 검토되는 두 논리 체계는 메타이론적 성질에서 뚜렷한 차이를 보인다. 1차 술어 논리는 완전성(괴델, 1929)과 일관성을 가지지만, 1936년 처치(Alonzo Church)와 튜링(Alan Turing)에 의하여 결정 불가능성이 증명되었다. 이는 명제 논리의 결정 가능성과 대조되며, 술어 논리의 더 풍부한 표현력의 대가이다. 양상 논리의 메타이론적 성질은 각 체계에 따라 다르며, K, T, S4, S5 등의 체계는 일관성과 완전성을 가지고 결정 가능성도 성립한다. 이러한 메타이론적 차이의 이해는 논리 체계의 표현력과 계산 가능성의 트레이드오프를 학습자에게 명료히 전달한다(Church, 1936; Turing, 1936).

6. 술어 논리의 철학적 의의

술어 논리는 철학과 수학 기초론에 깊은 영향을 미쳤다. 프레게는 술어 논리를 통하여 수학을 논리로 환원하려는 논리주의(logicism) 프로그램을 추진하였으며, 러셀과 화이트헤드는 이 프로그램을 Principia Mathematica에서 발전시켰다. 술어 논리는 현대 수학의 공리화, 모델 이론, 증명 이론의 형식적 기초가 되었다. 또한 콰인(Willard Van Orman Quine)의 존재론적 개입 논제(“존재한다는 것은 양화 변항의 값이 됨이다”)는 술어 논리의 양화 구조에 기반한 존재론적 논의를 제공하였다. 술어 논리는 언어 철학, 수학 철학, 분석 철학의 공통 도구로 자리 잡았다(Quine, 1948).

7. 양상 논리의 철학적 의의

양상 논리는 철학의 여러 영역에서 활용된다. 형이상학에서는 필연성과 가능성의 분석에 사용되며, 크립키의 1980년 저작 Naming and Necessity는 양상 개념을 통하여 본질, 지칭, 고정 지시어(rigid designator)의 철학적 분석을 제공하였다. 인식론에서는 지식과 믿음의 양상적 분석(인식 논리, epistemic logic)이 이루어지며, 힌티카(Jaakko Hintikka)의 1962년 저작 Knowledge and Belief가 대표적이다. 윤리학에서는 의무와 허용의 양상적 분석(의무 논리, deontic logic)이 수행되며, 폰 리히트(Georg Henrik von Wright)의 1951년 논문 “Deontic logic“이 기초가 된다. 시간 논리(tense logic)는 과거와 미래의 시간 양상을 형식화하며, 프라이어(Arthur Prior)의 1957년 저작 Time and Modality에서 확립되었다(Kripke, 1980; Hintikka, 1962; Prior, 1957).

8. 본 부의 구성과 학습 순서

본 부는 술어 논리와 양상 논리를 학습 순서에 따라 단계적으로 전개한다. 먼저 술어 논리의 구문론(언어, 항, 원자식, 합성식)을 정의하고, 이어서 해석과 모델, 만족 관계, 진리 정의를 통하여 의미론을 제시한다. 다음으로 자연 연역, 공리 체계, 귀결 연산 등 증명 이론을 다루며, 메타이론적 성질(건전성, 완전성, 결정 불가능성)을 검토한다. 양상 논리는 기본 체계 K로부터 출발하여 T, S4, S5 등 주요 체계를 소개하며, 가능 세계 의미론과 크립키 모델을 다룬다. 이후 인식 논리, 의무 논리, 시간 논리 등 응용 양상 논리를 개관한다. 이러한 학습 순서는 명제 논리에서 술어 논리로, 고전 논리에서 양상 논리로의 점진적 확장을 반영한다.

9. 선행 학습 전제와 본 부의 위치

본 부의 학습은 명제 논리의 구문론, 의미론, 증명 이론, 메타이론에 대한 선행 이해를 전제로 한다. 술어 논리는 명제 논리의 확장으로 이해될 수 있으며, 명제 논리의 명제 변항을 원자식(원자 술어)로 대체하고 양화사를 추가함으로써 구성된다. 양상 논리는 명제 논리에 양상 연산자를 추가한 체계로서, 명제 논리의 기본 성질을 상속하며 확장된다. 따라서 학습자는 본 부의 내용에 진입하기 전에 명제 논리의 핵심 개념을 충분히 이해하고 있어야 한다. 본 부는 형식 논리학의 고급 주제로의 전환점이며, 현대 수학, 컴퓨터 과학, 언어학, 철학의 논리적 기초를 제공한다(van Dalen, 2013).

10. 본 부의 학술적 의의

본 부의 학술적 의의는 다음과 같이 정리된다. 첫째, 그것은 학습자에게 술어 논리와 양상 논리의 구문론, 의미론, 증명 이론의 체계적 이해를 제공한다. 둘째, 그것은 이 두 체계의 메타이론적 성질과 철학적 의의를 통합적으로 다룬다. 셋째, 그것은 명제 논리로부터 술어 논리와 양상 논리로의 확장을 통하여 형식 논리학의 표현력의 증가와 메타이론적 성질의 변화를 명료히 한다. 넷째, 그것은 논리학의 응용(수학 기초론, 언어 철학, 인식론, 윤리학, 컴퓨터 과학)에 대한 기초를 제공한다. 이러한 의의는 본 부가 형식 논리학의 중심적 학습 단계임을 보여 준다(Mendelson, 2015).

11. 본 부의 결론적 개관

본 부는 술어 논리와 양상 논리의 형식적 체계와 그 철학적·수학적 의의를 체계적으로 다룬다. 술어 논리는 명제의 내부 구조를 양화사와 술어 기호를 통하여 분석하며, 프레게로부터 괴델에 이르는 역사적 발전을 거쳐 현대 형식 논리의 표준 체계로 확립되었다. 1차 술어 논리는 완전성을 가지지만 결정 불가능하며, 이는 명제 논리와 구별되는 중요한 메타이론적 특성이다. 양상 논리는 필연성과 가능성의 양상 개념을 형식화하며, 크립키의 가능 세계 의미론을 통하여 현대적 형태가 확립되었다. 양상 논리는 형이상학, 인식론, 윤리학, 시간 철학 등 다양한 철학적 영역에 응용되며, 인식 논리, 의무 논리, 시간 논리 등 풍부한 확장을 가진다. 학습자는 본 부를 통하여 형식 논리학의 두 핵심 체계를 체계적으로 이해하고, 각 체계의 구문론, 의미론, 증명 이론, 메타이론적 성질, 철학적 의의를 통합적으로 파악해야 한다.

12. 출처

• Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
• Whitehead, A. N., & Russell, B. (1910–1913). Principia Mathematica (Vols. 1–3). Cambridge: Cambridge University Press.
• Lewis, C. I. (1918). A Survey of Symbolic Logic. Berkeley: University of California Press.
• Hilbert, D., & Ackermann, W. (1928). Grundzüge der theoretischen Logik. Berlin: Springer.
• Gödel, K. (1929). Über die Vollständigkeit des Logikkalküls. Doctoral dissertation, University of Vienna.
• Tarski, A. (1933). Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, 1, 261–405.
• Church, A. (1936). An unsolvable problem of elementary number theory. American Journal of Mathematics, 58(2), 345–363.
• Turing, A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42, 230–265.
• Quine, W. V. O. (1948). On what there is. Review of Metaphysics, 2(5), 21–38.
• von Wright, G. H. (1951). Deontic logic. Mind, 60(237), 1–15.
• Prior, A. N. (1957). Time and Modality. Oxford: Oxford University Press.
• Hintikka, J. (1962). Knowledge and Belief: An Introduction to the Logic of the Two Notions. Ithaca: Cornell University Press.
• Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83–94.
• Kripke, S. A. (1980). Naming and Necessity. Cambridge, MA: Harvard University Press.
• van Dalen, D. (2013). Logic and Structure (5th ed.). Berlin: Springer.
• Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.

13. 버전

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