1.17 현대 기호논리학의 성립

1. 절의 학술적 목표

본 절의 학술적 목표는 19세기 중반부터 20세기 중반까지에 걸쳐 형성된 현대 기호논리학(symbolic logic)의 성립 과정을 학술적으로 정리하는 것이다. 학습자는 본 절을 통하여 대수 논리(algebraic logic)의 흐름, 프레게(Gottlob Frege)의 결정적 전환, 논리주의 프로그램과 메타논리적 결과의 성립을 표준적 학술 견해 수준에서 진술할 수 있어야 한다.

2. 19세기 중반의 대수 논리

현대 기호논리학의 학술사적 출발점은 19세기 중반 영국에서 형성된 ‘대수 논리(algebraic logic)’의 흐름이다. 조지 불(George Boole)은 『The Mathematical Analysis of Logic』(1847)과 『An Investigation of the Laws of Thought』(1854)에서 명제 논리(propositional logic)의 연산을 대수적 구조로 표현하였다. 그가 정초한 ‘불 대수(Boolean algebra)’는 명제 결합과 외연 관계를 동일한 형식으로 다룰 수 있게 하였다.

오거스터스 드 모르간(Augustus De Morgan)의 『Formal Logic』(1847)은 불의 작업과 거의 동시에 출간되었으며, ‘드 모르간 법칙(De Morgan’s laws)’의 학술적 정식화를 포함한다. 찰스 샌더스 퍼스(Charles Sanders Peirce)는 1870년대 이후 일련의 논문에서 관계 논리(logic of relations)와 양화사(quantifier)에 관한 학술적 분석을 독자적으로 제시하였다. 에른스트 슈뢰더(Ernst Schröder)의 『Vorlesungen über die Algebra der Logik』(1890–1905)는 대수 논리의 흐름을 광범위하게 종합한 저작이다.

3. 프레게의 결정적 전환

대수 논리의 전통과 부분적으로 독립하여, 고틀로프 프레게는 『Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens』(1879)에서 양화사를 포함한 1차 술어 논리(first-order predicate logic)를 정초하였다. 프레게의 학술적 혁신은 다음과 같이 정리된다.

첫째, 명제를 ‘주어-술어’ 구조가 아니라 ‘함수-논항’ 구조로 분석하였다. 즉 ‘a는 P이다’라는 명제를 ‘P(a)’의 형식으로 표현함으로써 함수 관념을 명제 분석에 도입하였다.

둘째, 양화사 ‘모든’과 ‘어떤’을 별도의 형식적 표현으로 정식화하고, 양화사 사이의 결합과 범위(scope)를 형식적으로 다루었다. 이는 다중 일반성(multiple generality)의 표현 문제를 해결한 학술사적 결정 사항이다.

셋째, 명제 논리와 술어 논리를 통합하는 형식 체계를 정초하였다.

프레게는 『Die Grundlagen der Arithmetik』(1884)와 『Grundgesetze der Arithmetik』(1893–1903)에서 이 체계를 산술의 기초 정초에 적용하였으며, 이는 ‘논리주의(logicism)’ 프로그램의 학술적 출발점이 되었다.

4. 페아노와 그 학파

같은 시기 이탈리아의 주세페 페아노(Giuseppe Peano)는 『Arithmetices principia, nova methodo exposita』(1889)에서 산술의 공리화(axiomatization)를 수행하였다. 페아노는 자연수, 후속자(successor), 수학적 귀납법(mathematical induction)에 관한 다섯 가지 공리를 형식적으로 제시하였으며, 이는 후대 형식 산술의 표준적 출발점이 되었다. 페아노 학파는 이후 『Formulario Mathematico』(1895–1908)를 통해 수학 명제의 형식적 표기를 광범위하게 전개하였다.

페아노의 표기법은 프레게의 표기법보다 단순하고 학습하기 쉬웠으며, 이후 러셀(Bertrand Russell)과 다른 학자들이 페아노의 표기법에서 출발하여 학술 작업을 이어 갔다.

5. 러셀, 화이트헤드와 『Principia Mathematica』

20세기 초 버트런드 러셀과 앨프리드 노스 화이트헤드(Alfred North Whitehead)는 『Principia Mathematica』(1910–1913)를 출간하였다. 이 저작은 프레게의 논리주의 프로그램을 계승하고, 페아노의 표기법과 자신들이 발전시킨 형식 체계를 사용하여 수학을 논리학적 토대 위에서 정초하려 시도하였다.

러셀은 1902년에 프레게에게 보낸 서신에서 ‘러셀 역설(Russell’s paradox)’을 보고하였으며, 이는 프레게의 원래 체계의 일관성 결함을 드러냈다. 러셀과 화이트헤드는 이 문제를 회피하기 위하여 ‘유형 이론(theory of types)’을 도입하였다. 유형 이론은 술어와 그 술어의 술어를 서로 다른 유형으로 구분함으로써, 자기 지시적 정의가 야기하는 역설을 형식적으로 회피한다.

『Principia Mathematica』는 20세기 전반의 형식 논리학 작업의 표준적 참조점이 되었으며, 그 표기법과 형식 체계는 이후의 학자들에게 광범위한 영향을 미쳤다.

6. 힐베르트와 형식 체계의 표준화

다비트 힐베르트(David Hilbert)와 빌헬름 아커만(Wilhelm Ackermann)의 『Grundzüge der theoretischen Logik』(1928)는 명제 논리와 1차 술어 논리의 형식 체계를 현대적 의미에서의 ‘힐베르트 양식(Hilbert-style)’ 공리계로 정리한 표준적 교과서이다. 이 저작은 형식 체계의 ‘공리(axiom)’와 ‘추론 규칙(rule of inference)’의 구분, 그리고 그 위에서 도출되는 ‘정리(theorem)’의 개념을 명료하게 제시하였다.

힐베르트는 또한 ‘힐베르트 프로그램(Hilbert’s programme)’을 통해 형식 체계 자체의 일관성과 완전성에 관한 메타수준의 분석, 즉 ‘메타수학(metamathematics)’의 필요성을 학술적으로 강조하였다.

7. 메타논리적 결과의 정초

20세기 전반의 후반부에는 메타논리(metalogic)의 결정적 결과들이 제시되었다.

7.1 괴델의 완전성과 불완전성 정리

쿠르트 괴델(Kurt Gödel)의 박사학위 논문 「Über die Vollständigkeit des Logikkalküls」(1929)와 그 출판본 「Die Vollständigkeit der Axiome des logischen Funktionenkalküls」(1930)는 1차 술어 논리의 의미론적 완전성(semantic completeness), 즉 의미론적으로 타당한 모든 식이 형식 체계 안에서 증명 가능함을 학술적으로 보였다. 이어 그의 「Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I」(1931)는 충분히 강한 형식 체계 안에서 그 체계의 일관성을 증명할 수 없으며, 결정 불가능한 명제가 존재함을 형식적으로 증명하였다.

7.2 타르스키의 진리 정의

알프레트 타르스키(Alfred Tarski)는 「Pojęcie prawdy w językach nauk dedukcyjnych」(1933, 독일어판 「Der Wahrheitsbegriff in den formalisierten Sprachen」, 1935)에서 형식 언어에 대한 진리 개념을 형식 의미론적으로 정의하였다. 이 정의는 형식 언어 안의 ‘만족(satisfaction)’ 관계를 통해 ‘참(true)’을 학술적으로 정의하며, 모형 이론(model theory)의 학술적 출발점이 되었다.

7.3 처치와 튜링의 결정 가능성 결과

알론조 처치(Alonzo Church)의 「An Unsolvable Problem of Elementary Number Theory」(1936)와 앨런 튜링(Alan Turing)의 「On Computable Numbers, with an Application to the Entscheidungsproblem」(1936)은 1차 술어 논리의 보편 타당성에 관한 결정 문제(Entscheidungsproblem)에 부정적 답변을 학술적으로 제시하였다. 이는 동시에 ‘계산 가능성(computability)’ 개념의 형식적 정의를 마련함으로써 컴퓨터 과학의 학술사적 출발점을 제공하였다.

7.4 겐첸의 자연 연역과 시퀀트 계산

게르하르트 겐첸(Gerhard Gentzen)의 「Untersuchungen über das logische Schließen」(1934–1935)은 자연 연역(natural deduction)과 시퀀트 계산(sequent calculus)이라는 두 형식적 증명 체계를 학술적으로 정초하였다. 겐첸은 ‘잘림 제거 정리(Hauptsatz, cut-elimination theorem)’를 증명함으로써 형식적 증명의 구조에 관한 학술적 분석의 새로운 길을 열었다.

8. 20세기 중반 이후의 확장

20세기 중반 이후 현대 기호논리학은 다음과 같은 방향으로 학술적으로 확장되었다.

첫째, 솔 크립키(Saul Kripke)의 양상 의미론(modal semantics) 작업, 특히 「A Completeness Theorem in Modal Logic」(1959)과 「Semantical Considerations on Modal Logic」(1963)는 양상 논리(modal logic)에 관한 표준적 의미론적 토대를 정초하였다.

둘째, 아브라함 로빈슨(Abraham Robinson)의 『Non-Standard Analysis』(1966)는 모형 이론을 통해 비표준 해석학(non-standard analysis)을 정초하였다.

셋째, 폴 코헨(Paul J. Cohen)의 「The Independence of the Continuum Hypothesis」(1963, 1964)는 강제법(forcing)을 통해 집합론(set theory)의 메타수준 결과를 학술적으로 보였다.

이러한 확장은 현대 기호논리학을 단순한 토대 작업의 영역에서 자율적이고 풍부한 학문 분과로 발전시킨 학술사적 흐름으로 평가된다.

9. 본 절의 결론적 정리

본 절은 다음과 같이 정리된다. 첫째, 현대 기호논리학의 학술사적 출발점은 19세기 중반 불, 드 모르간, 퍼스, 슈뢰더의 대수 논리 전통과 프레게의 술어 논리 정초에 있다. 둘째, 페아노, 러셀, 화이트헤드, 힐베르트와 아커만의 작업을 통해 형식 체계가 표준화되었다. 셋째, 괴델, 타르스키, 처치, 튜링, 겐첸의 메타논리적 결과는 형식 체계 자체의 학술적 분석을 가능하게 하였다. 넷째, 20세기 중반 이후의 확장은 기호논리학을 자율적이고 풍부한 학문 분과로 발전시켰다.

10. 출처

Boole, G. (1847). The Mathematical Analysis of Logic. Cambridge: Macmillan, Barclay, & Macmillan.
De Morgan, A. (1847). Formal Logic. London: Taylor & Walton.
Boole, G. (1854). An Investigation of the Laws of Thought. London: Walton and Maberly.
Frege, G. (1879). Begriffsschrift. Halle: Louis Nebert.
Frege, G. (1884). Die Grundlagen der Arithmetik. Breslau: Wilhelm Koebner.
Peano, G. (1889). Arithmetices principia, nova methodo exposita. Torino: Bocca.
Schröder, E. (1890–1905). Vorlesungen über die Algebra der Logik (Vols. 1–3). Leipzig: Teubner.
Frege, G. (1893–1903). Grundgesetze der Arithmetik (Vols. 1–2). Jena: Hermann Pohle.
Whitehead, A. N., & Russell, B. (1910–1913). Principia Mathematica (Vols. 1–3). Cambridge: Cambridge University Press.
Hilbert, D., & Ackermann, W. (1928). Grundzüge der theoretischen Logik. Berlin: Springer.
Gödel, K. (1930). Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik, 37, 349–360.
Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38, 173–198.
Tarski, A. (1933, 1935). Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, 1, 261–405.
Gentzen, G. (1934–1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176–210, 405–431.
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(1), 230–265.
Kripke, S. A. (1959). A Completeness Theorem in Modal Logic. Journal of Symbolic Logic, 24(1), 1–14.
Kripke, S. A. (1963). Semantical Considerations on Modal Logic. Acta Philosophica Fennica, 16, 83–94.
Cohen, P. J. (1963, 1964). The Independence of the Continuum Hypothesis. Proceedings of the National Academy of Sciences, 50, 1143–1148; 51, 105–110.
Robinson, A. (1966). Non-Standard Analysis. Amsterdam: North-Holland.

11. 버전

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