1.16 근대 논리학의 전환

1.16 근대 논리학의 전환

1. 절의 학술적 목표

본 절의 학술적 목표는 르네상스 이후부터 19세기 전반에 이르는 시기에 논리학이 어떤 학술적 전환을 겪었는가를 정리하는 것이다. 학습자는 본 절을 통하여 ‘근대 논리학의 침체기’라는 표준적 평가, 인식론과 결합된 새로운 논리학 모델의 형성, 그리고 라이프니츠(Gottfried Wilhelm Leibniz)와 칸트(Immanuel Kant)에 의한 이론적 재구성을 표준적 학술 견해 수준에서 진술할 수 있어야 한다.

2. 르네상스기와 인문주의의 영향

15세기 후반에서 16세기에 걸친 인문주의(humanism) 운동은 중세 후기 스콜라 논리학의 정밀하고 기술적 분석 양식을 학술적 비판의 대상으로 삼았다. 로렌초 발라(Lorenzo Valla)는 『Repastinatio Dialectice et Philosophie』에서 스콜라 논리학의 형식적 정교함을 자연 언어와 수사학적 사용에서 멀어진 학문이라고 비판하였다. 페트뤼스 라무스(Petrus Ramus, Pierre de la Ramée)는 『Dialecticae Institutiones』(1543)와 후속 저작들을 통해 논리학을 단순한 분류와 다이어그램 중심의 ‘발견(inventio)과 판단(iudicium)의 기술’로 재정의하였다. 라무스의 학술적 모형은 17세기 유럽의 대학 교육에 광범위한 영향을 미쳤으나, 이는 후기 스콜라 논리학의 형식적 정밀성을 부분적으로 포기하는 결과를 동반하였다.

3. ‘침체기’의 평가와 그 학술적 의미

윌리엄 닐과 마사 닐(William and Martha Kneale)의 『The Development of Logic』(1962), 보헨스키(I. M. Bocheński)의 『A History of Formal Logic』(1961)은 르네상스 이후 19세기 중반까지의 시기를 형식 논리학의 ‘침체기(stagnation period)’로 평가하였다. 이러한 평가는 이 시기에 형식 논리학의 구조적 혁신이 상대적으로 적었다는 학술적 사실에 근거한다. 다만 이 평가는 이 시기에 논리학적 사유 일반이 정체되었다는 의미는 아니다. 이 시기에는 인식론적·방법론적 측면에서 새로운 형태의 논리학이 발전하였으며, 그것은 후속 시기 형식 논리학의 부흥을 위한 학술적 토양이 되었다.

4. 포르루아얄 논리학과 인식론적 전환

17세기 중반 프랑스 포르루아얄(Port-Royal)의 학술 공동체에 속했던 앙투안 아르노(Antoine Arnauld)와 피에르 니콜(Pierre Nicole)은 『La logique, ou l’art de penser』(1662)를 출간하였다. 이 저작은 후에 ‘포르루아얄 논리학(Port-Royal Logic)’으로 불리며, 르네 데카르트(René Descartes)의 인식론적 입장과 결합하여 논리학을 ‘잘 사고하기 위한 기술(l’art de penser)’로 재정의하였다.

이 저작의 학술적 핵심은 다음과 같이 정리된다. 첫째, 논리학을 사고의 네 가지 작용, 즉 ‘개념(concevoir)’, ‘판단(juger)’, ‘추론(raisonner)’, ‘질서 짓기(ordonner)’의 분석으로 구성한다. 둘째, 명사를 개념의 표현으로, 명제를 판단의 표현으로, 삼단 논법을 추론의 표현으로 다룬다. 셋째, 외연(extension)과 내포(comprehension)의 구분을 학술적으로 정식화한다. 이러한 정식화는 후대 의미 이론(theory of meaning)과 외연·내포 구분의 학술사적 출발점 가운데 하나로 평가된다.

포르루아얄 논리학은 18세기 유럽 학계에서 표준적 논리학 교과서의 위치를 점하였으며, 이 시기 ‘논리학’이라는 학문 명칭은 대체로 이러한 인식론적·심리적 이해의 모형 안에서 사용되었다.

5. 라이프니츠의 학술적 선구

17세기 후반 고트프리트 빌헬름 라이프니츠는 형식 논리학의 학술사적 선구를 마련하였다. 그는 『Dissertatio de Arte Combinatoria』(1666)와 『Generales Inquisitiones de Analysi Notionum et Veritatum』(1686년경) 등의 저작과 다수의 단편에서 ‘보편 기호(characteristica universalis)’와 ‘추론 계산(calculus ratiocinator)’의 구상을 제시하였다.

라이프니츠의 학술적 구상은 다음의 두 가지로 요약된다. 첫째, 인간의 모든 개념과 명제를 일정한 기호 체계로 환원할 수 있는 ‘보편 기호’를 구축한다. 둘째, 이 기호 체계 위에서 추론을 기계적·계산적 절차로 수행할 수 있는 ‘추론 계산’을 정초한다. 이러한 구상은 라이프니츠 자신이 학술적으로 완전히 구현하지 못하였으나, 19세기 후반의 형식 논리학의 부흥과 20세기 형식 체계 및 계산 가능성 이론(computability theory)에 학술사적 영감을 제공한 것으로 평가된다.

라이프니츠의 학술적 단편들 가운데 다수는 그의 사후 오래도록 학계에 알려지지 아니하였으며, 19세기 후반 이후 루이 쿠튀라(Louis Couturat)의 『La logique de Leibniz d’après des documents inédits』(1901)와 후속 학술 작업을 통해 본격적으로 연구되었다.

6. 칸트의 일반 논리학 정의

18세기 후반 임마누엘 칸트는 『Logik: Ein Handbuch zu Vorlesungen』(1800)에서 논리학을 다시 한번 학술적으로 정의하였다. 칸트는 논리학을 ‘오성(Verstand)의 일반적 사용에 관한 규칙들의 학(Wissenschaft von den Regeln des Verstandesgebrauchs überhaupt)’으로 규정하고, 그것을 ‘일반 논리학(allgemeine Logik)’과 ‘응용 논리학(angewandte Logik)’으로 나누었다. 일반 논리학은 사고의 형식만을 다루는 순수 분과로, 응용 논리학은 인간 인지의 경험적 조건 아래에서의 사고 규칙을 다루는 분과로 규정되었다.

칸트의 정의는 19세기 유럽 대학의 논리학 교육에서 표준적 정의로 통용되었다. 다만 칸트는 자신이 정초한 일반 논리학이 아리스토텔레스 이래 본질적으로 큰 발전이 없었다고 평가하였으며, 이러한 평가는 이후 19세기 후반 형식 논리학의 본격적 부흥에 의해 학술사적으로 갱신되었다.

7. 18세기 후반의 다양한 형식적 시도

18세기 후반에는 형식 논리학의 부분적 혁신을 시도한 학자들이 등장하였다. 레온하르트 오일러(Leonhard Euler)는 『Lettres à une Princesse d’Allemagne』(1768–1772)에서 정언 명제의 외연 관계를 시각화하는 ‘오일러 다이어그램(Euler diagram)’을 도입하였다. 이러한 시각적 표현은 후에 존 벤(John Venn)의 ‘벤 다이어그램(Venn diagram)’으로 발전하였다. 요한 하인리히 람베르트(Johann Heinrich Lambert)는 『Neues Organon』(1764)에서 추론의 형식적 분석에 대한 새로운 시도들을 제시하였다.

이러한 작업들은 19세기 중반 이후 본격적으로 이루어지는 형식 논리학의 부흥에 학술사적 다리 역할을 하였다.

8. 본 절의 결론적 정리

본 절은 다음과 같이 정리된다. 첫째, 르네상스 이후 19세기 전반까지의 시기는 표준적 학술 견해에 따르면 형식 논리학의 ‘침체기’로 평가되며, 이 시기 동안 학문적 무게 중심은 형식적 분석에서 인식론적·방법론적 분석으로 이동하였다. 둘째, 포르루아얄 논리학은 ‘잘 사고하기 위한 기술’로서의 논리학 모형을 정초하였다. 셋째, 라이프니츠의 보편 기호와 추론 계산 구상은 후대 형식 논리학과 계산 이론의 학술사적 선구로 평가된다. 넷째, 칸트의 일반 논리학 정의는 19세기 유럽 학계의 표준적 정의로 통용되었다. 다섯째, 이 시기의 학술적 작업들은 19세기 후반 형식 논리학의 본격적 부흥을 위한 학술사적 토대가 되었다.

9. 출처

  • Valla, L. (1439). Repastinatio Dialectice et Philosophie. (학술 비판본: G. Zippel ed., 1982, Padova: Antenore.)
  • Ramus, P. (1543). Dialecticae Institutiones. Paris: Jacobus Bogardus.
  • Arnauld, A., & Nicole, P. (1662). La logique, ou l’art de penser. Paris: Charles Savreux.
  • Leibniz, G. W. (1666). Dissertatio de Arte Combinatoria. Leipzig.
  • Leibniz, G. W. (c. 1686). Generales Inquisitiones de Analysi Notionum et Veritatum. (학술 출판: 19세기 후반 이후.)
  • Lambert, J. H. (1764). Neues Organon. Leipzig: Johann Wendler.
  • Euler, L. (1768–1772). Lettres à une Princesse d’Allemagne sur divers sujets de Physique et de Philosophie. St. Petersburg.
  • Kant, I. (1800). Logik: Ein Handbuch zu Vorlesungen. Königsberg: Friedrich Nicolovius.
  • Couturat, L. (1901). La logique de Leibniz d’après des documents inédits. Paris: Félix Alcan.
  • 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.
  • Ong, W. J. (1958). Ramus, Method, and the Decay of Dialogue. Cambridge, MA: Harvard University Press.

10. 버전

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