1.13 논리학의 역사적 발전 개관

1. 절의 학술적 목표

본 절의 학술적 목표는 논리학(logic)의 역사적 발전 과정을 학술적으로 개관하는 것이다. 학습자는 본 절을 통하여 고대로부터 현대에 이르는 논리학의 주요 단계와 각 단계의 학술적 핵심을 표준적 학술 견해 수준에서 진술할 수 있어야 한다. 본 절은 이후의 절에서 다루어질 각 시대별 상세 분석에 앞서 전체 흐름을 통합적으로 제시하는 위치를 점한다.

2. 시대 구분의 표준적 도식

논리학사의 학술적 시대 구분으로는 윌리엄 닐(William Kneale)과 마사 닐(Martha Kneale)의 『The Development of Logic』(1962), 이오시프 마리아 보헨스키(I. M. Bocheński)의 『A History of Formal Logic』(1961)에서 사용된 도식이 표준적 참고가 된다. 이 도식에 따르면 논리학사는 대체로 다음의 다섯 시대로 구분된다.

이 표는 학습자의 개관을 돕기 위한 도식적 정리이며, 각 시대 사이의 경계는 학자에 따라 다소 달리 설정된다.

3. 고대 그리스 논리학

논리학은 고대 그리스에서 학문 분과로서 처음 형성되었다. 아리스토텔레스(Aristotle)의 『Prior Analytics』, 『Posterior Analytics』, 『Categories』, 『De Interpretatione』, 『Topics』, 『Sophistical Refutations』를 포함하는 『Organon』은 삼단 논법(syllogism)의 형식적 분석을 정초하였다. 같은 시기 메가라 학파(Megarian school)와 스토아 학파(Stoics)는 명제 논리(propositional logic)의 초기 형태를 발전시켰다. 크리시포스(Chrysippus of Soli)가 그 대표적 인물로 알려져 있다. 이러한 두 흐름은 서로 다른 출발점에서 형성되었으며, 후대 논리학사에 깊은 영향을 미쳤다.

4. 중세 스콜라 논리학

중세 라틴 서구의 스콜라 논리학은 보에티우스(Boethius)의 라틴어 번역을 통해 아리스토텔레스 전통을 수용하면서 시작되었다. 12세기 이후에는 페트루스 아벨라르두스(Petrus Abaelardus), 13세기에는 페트루스 히스파누스(Petrus Hispanus)의 『Summulae Logicales』, 14세기에는 윌리엄 오컴(William of Ockham)의 『Summa Logicae』, 장 뷔리당(Jean Buridan)의 일련의 저작이 학술적 정점을 형성하였다. 이 시대에는 명사 이론(theory of supposition), 결과 이론(theory of consequences), 의무론(obligationes), 자기 지시 역설(insolubilia)에 관한 학술적 분석이 정밀하게 이루어졌다.

5. 근대 논리학의 침체와 재구성

15세기 후반에서 18세기 사이의 시기는 닐 부부와 보헨스키가 ‘논리학의 침체기’로 평가한 시대이며, 이 시기 동안 형식 논리의 학문적 발전은 상대적으로 정체되었다. 그러나 이 시기에도 17세기 포르루아얄(Port-Royal) 학파의 앙투안 아르노(Antoine Arnauld)와 피에르 니콜(Pierre Nicole)의 『La logique, ou l’art de penser』(1662)는 인식론과 결합된 ‘잘 사고하기 위한 기술’로서의 논리학을 정초하였다. 18세기 후반 임마누엘 칸트(Immanuel Kant)는 『Logik: Ein Handbuch zu Vorlesungen』(1800)에서 일반 논리학(allgemeine Logik)을 사고의 형식만을 다루는 순수 분과로 한정하였다. 한편 17세기 후반 고트프리트 빌헬름 라이프니츠(Gottfried Wilhelm Leibniz)는 보편 기호(characteristica universalis)와 추론 계산(calculus ratiocinator)의 구상을 통해 후대 형식 논리학의 학술적 선구를 마련하였다.

6. 19세기 수리 논리학의 형성

19세기 중반 이후 수리 논리학(mathematical logic)의 형성은 논리학사의 결정적 전환점이었다. 조지 불(George Boole)의 『The Mathematical Analysis of Logic』(1847)과 『An Investigation of the Laws of Thought』(1854)는 명제 논리의 대수적 표현을 정초하였다. 오거스터스 드 모르간(Augustus De Morgan)의 『Formal Logic』(1847), 찰스 샌더스 퍼스(Charles Sanders Peirce)의 일련의 논문, 에른스트 슈뢰더(Ernst Schröder)의 『Vorlesungen über die Algebra der Logik』(1890–1905)는 대수 논리(algebraic logic)의 전통을 형성하였다. 고틀로프 프레게(Gottlob Frege)의 『Begriffsschrift』(1879)는 양화사(quantifier)를 포함하는 1차 술어 논리(first-order predicate logic)를 정초함으로써 현대 논리학의 결정적 출발점을 마련하였다. 주세페 페아노(Giuseppe Peano)의 『Arithmetices principia, nova methodo exposita』(1889)는 산술의 공리화 작업을 수행하였다.

7. 20세기 현대 논리학과 그 확장

20세기 초 버트런드 러셀(Bertrand Russell)과 앨프리드 노스 화이트헤드(Alfred North Whitehead)의 『Principia Mathematica』(1910–1913)는 프레게의 작업을 계승하여 수학을 논리학적 토대 위에서 정초하려는 ‘논리주의(logicism)’ 프로그램을 학술적으로 정식화하였다. 다비트 힐베르트(David Hilbert)와 빌헬름 아커만(Wilhelm Ackermann)의 『Grundzüge der theoretischen Logik』(1928)는 현대적 의미의 형식 체계 제시 양식의 표준을 정립하였다.

20세기 중반에는 메타논리(metalogic)의 결과들이 본격적으로 제시되었다. 쿠르트 괴델(Kurt Gödel)의 「Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I」(1931), 알프레트 타르스키(Alfred Tarski)의 형식 언어 진리 정의(1933, 1935), 알론조 처치(Alonzo Church)와 앨런 튜링(Alan Turing)의 결정 가능성에 관한 결과(1936), 게르하르트 겐첸(Gerhard Gentzen)의 「Untersuchungen über das logische Schließen」(1934–1935)에서 정초된 자연 연역(natural deduction)과 시퀀트 계산(sequent calculus) 등이 그 대표적 학술 성과이다.

20세기 후반 이후 논리학은 비고전 논리(non-classical logic)의 발전, 컴퓨터 과학과의 결합, 비형식 논리학과 논증 이론의 자율적 분과화 등 다양한 방향으로 확장되어 왔다. 양상 논리, 직관주의 논리, 다치 논리, 부적합 논리, 비단조 논리, 동적 논리, 시간 논리 등은 그 대표적 사례이다.

8. 비서구 논리학 전통

논리학의 발전사는 서구 전통에 한정되지 아니한다. 인도에서는 고대로부터 니야야(Nyāya) 학파의 추론 이론과 후기 디그나가(Dignāga), 다르마키르티(Dharmakīrti)의 불교 논리학(buddhist logic) 전통이 발전하였으며, 9세기 이후 나비야-니야야(Navya-Nyāya) 학파에 의해 정밀화되었다. 중국과 한국, 일본에서는 묵가(墨家)의 변(辯)과 명가(名家)의 학술적 분석이 고대 논리적 사유의 사례로 식별된다. 이러한 비서구 전통은 비탈 마티랄(Bimal Krishna Matilal)의 『The Character of Logic in India』(1998), 츠지 나오미치의 후기 학술 연구 등을 통해 학술적으로 검토되어 왔다. 본 절은 이러한 비서구 전통의 존재를 명시적으로 밝히되, 그 상세 분석은 본 절의 범위를 넘어선다.

9. 본 절의 결론적 정리

본 절은 다음과 같이 정리된다. 첫째, 논리학사는 고대 그리스, 중세 스콜라, 근대 재구성, 19세기 수리 논리학 형성, 20세기 이후 현대 논리학과 그 확장의 다섯 시대로 표준적으로 구분된다. 둘째, 각 시대의 학술적 핵심은 형식 체계의 발전, 메타논리의 정초, 응용 영역의 확장이라는 세 측면에서 정리될 수 있다. 셋째, 비서구 논리학 전통 또한 학술적으로 인정되는 별도의 흐름을 형성한다. 넷째, 본 절에서 개관한 흐름은 본 절 이후의 절에서 시대별로 보다 상세히 검토된다.

10. 출처

• Aristotle. Organon. 기원전 4세기.
• Boethius. Commentaria in Porphyrium; In Categorias Aristotelis. 6세기.
• Petrus Hispanus. Summulae Logicales. 13세기.
• William of Ockham. Summa Logicae. 14세기.
• Arnauld, A., & Nicole, P. (1662). La logique, ou l’art de penser. Paris: Charles Savreux.
• Kant, I. (1800). Logik: Ein Handbuch zu Vorlesungen. Königsberg: Friedrich Nicolovius.
• 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.
• 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.
• 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. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38, 173–198.
• Gentzen, G. (1934–1935). Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39, 176–210, 405–431.
• Bocheński, I. M. (1961). A History of Formal Logic. Notre Dame: University of Notre Dame Press.
• Kneale, W., & Kneale, M. (1962). The Development of Logic. Oxford: Clarendon Press.
• Matilal, B. K. (1998). The Character of Logic in India. Albany: State University of New York Press.

11. 버전

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