1.1 논리학의 어원과 개념적 정의

1.1 논리학의 어원과 개념적 정의

1. 절의 학술적 목표

본 절의 학술적 목표는 논리학(logic)이라는 학문 명칭의 어원적 기원을 그리스어 전통에서 추적하고, 이 개념이 고대로부터 현대에 이르기까지 어떤 방식으로 학술적으로 정의되어 왔는지 학습자가 정확히 진술할 수 있도록 하는 것이다. 본 절은 어원적 분석에서 출발하여 표준적·현대적 정의에 이르는 단계적 진행을 통해 학습자가 논리학의 개념적 외연(extension)과 내포(intension)를 동시에 파악하도록 한다.

2. 어원적 기원

논리학의 명칭은 고대 그리스어 ‘λόγος(lógos)’에서 유래한다. ‘λόγος’는 본래 ‘말’, ‘말함’, ‘이성’, ‘설명’, ‘비율’, ‘근거’ 등 다양한 의미를 포괄하는 다의적 어휘이다. 이로부터 형성된 형용사형 ‘λογικός(logikós)’는 ‘말에 관한’, ‘이성에 관한’이라는 뜻을 가지며, 여기에 ‘기술(技術)’ 또는 ‘학(學)’을 의미하는 ‘τέχνη(technē)’가 결합된 ‘λογικὴ τέχνη(logikē technē)’가 ‘논리적 기술’ 또는 ‘이성에 관한 학문’의 의미로 사용되었다. 라틴어로는 ‘logica’로 옮겨졌으며, 이후 유럽 학술 언어에서 ‘logic’, ‘logique’, ‘Logik’ 등으로 정착하였다. 한자어 ‘논리(論理)’는 일본 메이지 시기 학술 번역 과정에서 ‘logic’의 역어로 채택되어 동아시아 학계에 도입된 것으로 알려져 있다.

3. 고대적 정의

아리스토텔레스(Aristotle)는 자신의 저작 모음인 『Organon』에서 추론(syllogismos)의 형식적 구조를 체계적으로 분석하였다. 다만 ‘logikē’라는 명칭을 학문 분과의 정식 명칭으로 확립한 것은 아리스토텔레스 이후의 후기 페리파토스 학파(Peripatetics)와 스토아 학파(Stoics)이며, 후자는 논리학을 변증술(dialectic)과 수사학(rhetoric)을 포괄하는 ‘말과 추론에 관한 학’으로 규정하였다. 이러한 고대적 정의에서 논리학은 추론의 올바름을 다루는 ‘기술(technē)’이자 동시에 ‘학(epistēmē)’으로 이해되었다.

4. 중세적 정의

중세 스콜라 철학(scholasticism) 전통에서 논리학은 ‘참된 추론과 거짓된 추론을 구별하는 기술(ars)’ 또는 ‘올바른 사고의 기술(ars recte cogitandi)’로 정의되었다. 페트루스 히스파누스(Petrus Hispanus)의 『Summulae Logicales』(13세기), 윌리엄 오컴(William of Ockham)의 『Summa Logicae』(14세기) 등은 이러한 정의 아래에서 명사론(theory of terms), 명제론(theory of propositions), 추론론(theory of consequences)을 체계화하였다. 17세기 포르루아얄(Port-Royal) 학파의 앙투안 아르노(Antoine Arnauld)와 피에르 니콜(Pierre Nicole)이 저술한 『La logique, ou l’art de penser』(1662)는 논리학을 ‘잘 사고하기 위한 기술(l’art de penser)’로 규정하였으며, 이러한 정의는 근대 초기 유럽 학계에서 표준적 위치를 차지하였다.

5. 근대적 정의

이마누엘 칸트(Immanuel Kant)는 『Logik: Ein Handbuch zu Vorlesungen』(1800)에서 논리학을 ‘오성(Verstand)의 일반적 사용에 관한 규칙들의 학(Wissenschaft von den Regeln des Verstandesgebrauchs überhaupt)’으로 정의하였다. 그는 논리학을 일반 논리학(allgemeine Logik)과 응용 논리학(angewandte Logik)으로 구분하고, 일반 논리학을 사고의 형식에 한정된 순수 학문으로 규정하였다. 이러한 정의는 19세기까지 유럽 대학의 논리학 교육에서 표준적 정의로 통용되었다.

6. 현대적 정의

19세기 후반 고틀로프 프레게(Gottlob Frege)의 『Begriffsschrift』(1879), 조지 불(George Boole)의 『The Mathematical Analysis of Logic』(1847)과 『An Investigation of the Laws of Thought』(1854) 이후 논리학은 형식적 기호 체계를 통해 추론 관계를 분석하는 형식 과학(formal science)으로 재정의되었다. 알프레트 타르스키(Alfred Tarski)는 『Introduction to Logic and to the Methodology of Deductive Sciences』(1941)에서 논리학을 ‘연역적 학문의 일반 이론’으로 규정하였다. 윌라드 밴 오먼 콰인(Willard Van Orman Quine)은 『Philosophy of Logic』(1970)에서 논리학을 ‘진리 보존적 추론(truth-preserving inference)의 형식적 조건을 다루는 학문’으로 진술하였다.

현대 표준 입문서들의 정의 또한 이러한 흐름을 따른다. 어빙 코피와 칼 코헨의 『Introduction to Logic』은 논리학을 ‘옳은 추론과 그른 추론을 구별하는 데 사용되는 방법과 원리에 대한 연구(the study of the methods and principles used to distinguish correct from incorrect reasoning)’로 정의한다. 패트릭 헐리의 『A Concise Introduction to Logic』 또한 같은 취지의 정의를 채택한다. 그레이엄 프리스트의 『Logic: A Very Short Introduction』은 논리학을 ‘무엇이 무엇으로부터 따라 나오는가(what follows from what)에 대한 학문’으로 규정한다.

7. 표준적 개념적 정의의 정식화

이상의 어원적·역사적 검토에 기반하여 본 절은 논리학의 표준적 개념적 정의를 다음과 같이 정식화한다.

논리학은 추론(inference)의 형식적 타당성(formal validity)을 다루는 형식 과학이며, 명제(proposition) 사이의 귀결(consequence) 관계를 규명하고, 올바른 추론과 그릇된 추론을 구별하는 원리와 방법을 학술적으로 연구하는 학문이다.

이 정의는 다음의 세 요소로 구성된다. 첫째, 연구 대상은 추론과 명제 사이의 관계이다. 둘째, 연구 기준은 형식적 타당성이다. 셋째, 학문적 위상은 형식 과학이다. 이러한 세 요소는 본 절 이후의 절에서 보다 상세히 분석된다.

8. 정의에 관한 학술적 유의점

본 절에서 제시한 정의는 논리학을 ‘올바른 사고의 기술’로 규정하는 심리주의적(psychologistic) 정의와 구분되어야 한다. 프레게는 『Die Grundlagen der Arithmetik』(1884) 서문과 『Grundgesetze der Arithmetik』(1893) 서문에서 논리학의 대상이 사고의 심리적 과정이 아니라 객관적 명제와 그 사이의 논리적 관계임을 강조함으로써 심리주의적 정의를 학술적으로 비판하였다. 에드문트 후설(Edmund Husserl) 또한 『Logische Untersuchungen』(1900–1901)에서 동일한 취지의 비판을 제시하였다. 본 절의 정의는 이러한 반(反)심리주의적 전통을 따른다.

9. 출처

  • Aristotle. Organon. 기원전 4세기.
  • 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.
  • Boole, G. (1854). An Investigation of the Laws of Thought. London: Walton and Maberly.
  • Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
  • Frege, G. (1884). Die Grundlagen der Arithmetik. Breslau: Wilhelm Koebner.
  • Frege, G. (1893). Grundgesetze der Arithmetik (Vol. 1). Jena: Hermann Pohle.
  • Husserl, E. (1900–1901). Logische Untersuchungen. Halle: Max Niemeyer.
  • Tarski, A. (1941). Introduction to Logic and to the Methodology of Deductive Sciences. New York: Oxford University Press.
  • Quine, W. V. O. (1970). Philosophy of Logic. Englewood Cliffs: Prentice-Hall.
  • Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
  • Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.). Boston: Cengage Learning.
  • Priest, G. (2017). Logic: A Very Short Introduction (2nd ed.). Oxford: Oxford University Press.

10. 버전

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