1.4 규범적 학문으로서의 논리학

1.4 규범적 학문으로서의 논리학

1. 절의 학술적 목표

본 절의 학술적 목표는 논리학(logic)이 가지는 ‘규범적(normative) 학문’으로서의 성격을 학술적으로 규명하는 것이다. 학습자는 본 절을 통하여 규범적 학문과 기술적(descriptive) 학문의 구분을 정확히 진술할 수 있어야 하며, 이 구분에 근거하여 논리학이 어떤 의미에서 규범적 학문으로 분류되는가를 학술적으로 설명할 수 있어야 한다. 또한 학습자는 논리학의 규범성을 둘러싼 학술적 논쟁의 주요 입장들을 표준적 견해 수준에서 파악할 수 있어야 한다.

2. 규범적 학문과 기술적 학문의 구분

학문 분과는 그 일차적 성격에 따라 기술적(descriptive) 학문과 규범적(normative) 학문으로 구분되어 왔다. 기술적 학문은 ‘무엇이 어떠한가(what is the case)’를 진술하는 데 일차 목적을 둔다. 자연 과학(natural sciences)과 경험적 사회 과학(empirical social sciences)이 이 부류에 속한다. 규범적 학문은 ‘무엇이 어떠해야 하는가(what ought to be the case)’를 진술하는 데 일차 목적을 둔다. 윤리학(ethics), 미학(aesthetics), 그리고 본 절에서 다루는 의미에서의 논리학이 이 부류에 속한다. 이러한 구분은 데이비드 흄(David Hume)의 『A Treatise of Human Nature』(1739–1740) 제3권에서 ‘이다(is)’와 ‘이어야 한다(ought)’ 사이의 논리적 비대칭에 대한 지적 이래 학술적 표준 구분으로 정착되었다.

3. 논리학의 규범성에 대한 표준적 견해

논리학이 규범적 학문이라는 견해는 다음의 의미에서 학술적으로 정립된다. 첫째, 논리학은 추론자가 ‘실제로 어떻게 추론하는가’가 아니라 ‘어떻게 추론해야 하는가’에 관한 기준을 제공한다. 둘째, 이 기준은 형식적 타당성(formal validity)과 진리 보존(truth preservation)이라는 객관적 척도에 의해 정초된다. 셋째, 따라서 논리학의 규범성은 도덕적·미적 규범성과 동일하지 아니하며, 합리적 추론자에 대한 이론 내적 규범성으로 이해된다.

고틀로프 프레게(Gottlob Frege)는 『Grundgesetze der Arithmetik』(1893) 서문에서 논리학의 법칙들을 ‘참됨의 법칙(Gesetze des Wahrseins)’으로 규정하면서, 이 법칙들이 사고(thought)의 사실적 진행을 기술하는 심리학적 일반화가 아니라, 사고가 따라야 할 규범적 원리임을 강조하였다. 길버트 하먼(Gilbert Harman)은 『Change in View: Principles of Reasoning』(1986)에서 논리학과 합리적 추론의 규범 사이의 관계를 비판적으로 검토하면서, 논리적 귀결 관계가 직접적으로 추론의 규범을 구성하지는 않는다는 견해를 제시하였다. 존 맥파레인(John MacFarlane)의 박사학위 논문 「What Does It Mean to Say That Logic is Formal?」(2000)와 후속 연구는 논리학의 규범성을 규명하는 현대적 논의의 중요한 출발점이 되었다.

4. 규범성의 두 차원

논리학의 규범성은 다음의 두 차원에서 이해된다.

4.1 이론 내적 규범성

이론 내적 규범성은 형식 체계 안에서 정의되는 규범성을 말한다. 즉 어떤 추론이 형식적으로 타당하다는 것은 그 추론이 해당 형식 체계의 추론 규칙(rules of inference)에 따라 도출 가능하다는 것을 의미한다. 이 차원의 규범성은 형식 체계 자체의 정의로부터 직접 도출된다.

4.2 합리적 추론자에 대한 규범성

합리적 추론자에 대한 규범성은 형식 체계 외부의 인식 주체가 자신의 신념(belief) 체계를 어떻게 갱신해야 하는가에 대한 규범성을 말한다. 이 차원에서는 논리학이 직접적으로 신념 갱신의 규범을 결정하는가, 아니면 다른 인식적 규범과 함께 작용하는가에 관한 학술적 논쟁이 존재한다. 길버트 하먼은 전자의 견해를 비판하며, 논리적 귀결과 신념 갱신의 규범 사이에 직접적 일치가 성립하지 않는다고 주장하였다. 하르티 필드(Hartry Field)의 「What is the Normative Role of Logic?」(2009)는 이 논쟁의 현대적 정리에 해당한다.

5. 심리주의 비판과 규범성

논리학의 규범성에 대한 강조는 19세기 말과 20세기 초의 심리주의(psychologism) 비판과 깊이 결부되어 있다. 심리주의는 논리학의 법칙을 사고의 경험적 일반화로 간주하는 견해이며, 이 견해에 따르면 논리학은 본질적으로 기술적 학문이 된다. 프레게와 에드문트 후설(Edmund Husserl)은 이러한 견해를 강하게 비판하였다. 후설은 『Logische Untersuchungen』(1900–1901) 제1권 『Prolegomena zur reinen Logik』에서 심리주의가 논리 법칙의 객관성과 보편 타당성을 설명할 수 없다고 논증하였다. 본 절은 이러한 반(反)심리주의적 전통을 학술적 표준으로 삼아 논리학의 규범성을 정립한다.

6. 규범성과 형식성의 관계

논리학의 규범성은 그 형식성(formality)과 분리되어 이해되지 아니한다. 형식성은 논리학의 분석 대상이 명제와 추론의 내용이 아니라 그 형식이라는 사실을 가리키며, 이러한 형식성이야말로 논리학의 규범적 기준이 특정한 분과 학문이나 주제 영역에 국한되지 않고 보편적으로 적용될 수 있게 하는 근거가 된다. 존 맥파레인은 논리학의 형식성과 규범성의 결합 양상을 학술적으로 분석함으로써 이 둘이 분리될 수 없는 한 쌍의 본질적 특성임을 보였다.

7. 본 절의 결론적 정리

본 절은 다음과 같이 정리된다. 첫째, 논리학은 표준적 학술 견해에 따라 규범적 학문으로 분류된다. 둘째, 이때의 규범성은 윤리적·미적 규범성과 구분되는 추론에 관한 이론 내적·합리적 규범성이다. 셋째, 논리학의 규범성은 그 형식성과 결부되어 보편적 적용 가능성을 갖는다. 넷째, 다만 논리적 귀결 관계가 신념 갱신의 규범과 어떤 방식으로 연결되는가에 대해서는 현대 학계에 다양한 견해가 존재한다. 본 절에서 정립된 규범성의 개념은 이후 절에서 논리학이 다른 학문 분과와 맺는 관계를 검토하는 데 전제로 사용된다.

8. 출처

  • Hume, D. (1739–1740). A Treatise of Human Nature. London: John Noon (Vols. 1–2); Thomas Longman (Vol. 3).
  • Frege, G. (1893). Grundgesetze der Arithmetik (Vol. 1). Jena: Hermann Pohle.
  • Husserl, E. (1900). Logische Untersuchungen, Erster Teil: Prolegomena zur reinen Logik. Halle: Max Niemeyer.
  • Harman, G. (1986). Change in View: Principles of Reasoning. Cambridge, MA: MIT Press.
  • MacFarlane, J. (2000). What Does It Mean to Say That Logic is Formal? (Doctoral dissertation, University of Pittsburgh).
  • Field, H. (2009). What is the Normative Role of Logic?. Proceedings of the Aristotelian Society, Supplementary Volumes, 83, 251–268.
  • Quine, W. V. O. (1970). Philosophy of Logic. Englewood Cliffs: Prentice-Hall.

9. 버전

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