1.12 이론 논리학과 응용 논리학의 구분

1.12 이론 논리학과 응용 논리학의 구분

1. 절의 학술적 목표

본 절의 학술적 목표는 이론 논리학(theoretical logic)과 응용 논리학(applied logic)의 구분을 학술적으로 정립하는 것이다. 학습자는 본 절을 통하여 두 분과의 정의와 학술적 위상을 표준적 학술 견해 수준에서 진술할 수 있어야 하며, 응용 논리학의 주요 분야들을 식별할 수 있어야 한다.

2. 이론 논리학의 학술적 정의

이론 논리학은 형식 체계(formal system) 자체의 구조와 성질을 학술적으로 연구하는 분과이다. 그 주된 연구 대상은 형식 언어의 통사론(syntax), 의미론(semantics), 증명 이론(proof theory), 모형 이론(model theory), 그리고 메타논리적(metalogical) 성질, 즉 일관성(consistency), 완전성(completeness), 결정 가능성(decidability), 콤팩트성(compactness) 등이다. 이론 논리학은 응용을 일차 목적으로 하지 않으며, 형식 체계의 학문 내적 정합성과 일반 이론의 구축을 학술적 목표로 한다. 쿠르트 괴델(Kurt Gödel), 알프레트 타르스키(Alfred Tarski), 게르하르트 겐첸(Gerhard Gentzen), 알론조 처치(Alonzo Church), 스티븐 콜 클린(Stephen Cole Kleene), 솔 크립키(Saul Kripke) 등의 작업이 이 분과의 학술적 토대를 이룬다.

이러한 의미에서의 이론 논리학은 칸트(Immanuel Kant)가 『Logik: Ein Handbuch zu Vorlesungen』(1800)에서 사용한 ‘일반 논리학(allgemeine Logik)’ 또는 ‘순수 논리학(reine Logik)’의 개념과 부분적으로 부합한다. 다만 칸트의 ‘일반 논리학’은 18세기적 인식론과 결합된 개념인 반면, 현대적 의미의 이론 논리학은 19세기 후반 이후 형식 논리학의 발전 위에서 정초되었다.

3. 응용 논리학의 학술적 정의

응용 논리학은 이론 논리학에서 정초된 형식 체계와 그 결과를 다른 학문 분과 또는 실제 문제 영역에 적용하는 분과이다. 이는 단순한 ‘응용’이 아니라, 적용 대상의 특수성에 맞추어 형식 체계를 조정·확장·수정하는 학술적 작업을 포함한다. 응용 논리학은 도브 가베이(Dov M. Gabbay)와 동료들이 편집한 『Handbook of Philosophical Logic』(여러 권, 1983년부터)와 그 후속 시리즈인 『Handbook of the Logic of Argument and Inference』(2002), 『Handbook of Logic in Computer Science』(여러 권, 1992년부터), 『Handbook of Logic in Artificial Intelligence and Logic Programming』(여러 권, 1993년부터)의 표준 참고 문헌 체계를 통해 학문 분과로서 자율성을 확보하였다.

4. 두 분과의 학술적 관계

이론 논리학과 응용 논리학의 관계는 위계적 관계가 아니라 상호 보완적 관계이다. 즉 이론 논리학은 응용 논리학에 형식적 자원과 메타 수준의 분석 도구를 제공하며, 응용 논리학은 이론 논리학에 새로운 형식 체계의 개발 동기와 적용 검증의 장을 제공한다. 예컨대 양상 논리(modal logic)는 처음에는 이론 논리학의 한 분과로 발전하였으나, 이후 컴퓨터 과학에서 시간 논리(temporal logic), 동적 논리(dynamic logic), 인식 논리(epistemic logic) 등으로 응용·확장되었다. 반대로 컴퓨터 과학의 검증 요구는 새로운 형식 체계의 개발과 메타논리적 결과의 학술적 산출을 촉진하였다.

5. 응용 논리학의 주요 분야

응용 논리학의 주요 분야는 다음과 같이 표준적으로 식별된다.

5.1 철학적 논리(philosophical logic)

철학적 논리는 형식 논리의 자원을 철학적 문제, 특히 양상, 시간, 의무, 인식, 진리, 지시 등의 분석에 적용하는 분과이다. C. I. 루이스(C. I. Lewis)의 양상 논리, 솔 크립키의 양상 의미론, 야코 힌티카(Jaakko Hintikka)의 인식 논리 등이 이 분과의 대표적 작업이다.

5.2 컴퓨터 과학 논리(logic in computer science)

컴퓨터 과학 논리는 형식 논리의 자원을 프로그램 검증, 시스템 명세, 자동 정리 증명, 모형 검사, 데이터베이스 이론, 타입 이론, 인공 지능 등에 적용하는 분과이다. 사뮈손 아바스왐디(Samson Abramsky), 도브 가베이, 토머스 마이바움(Thomas S. E. Maibaum)이 편집한 『Handbook of Logic in Computer Science』가 이 분과의 표준 참고 문헌이다.

5.3 법 논리(legal logic)와 의무 논리(deontic logic)

법 논리와 의무 논리는 형식 논리의 자원을 법적 추론과 규범적 명제의 분석에 적용하는 분과이다. 게오르크 헨리크 폰 브리흐트(Georg Henrik von Wright)의 「Deontic Logic」(1951)는 의무 논리의 학술적 출발점이다.

5.4 귀납 논리와 확률 논리(inductive and probabilistic logic)

귀납 논리와 확률 논리는 형식 논리의 자원을 과학적 추론과 통계적 추론에 적용하는 분과이다. 루돌프 카르나프(Rudolf Carnap)의 『Logical Foundations of Probability』(1950)와 후속 작업이 이 분과의 토대를 이룬다.

5.5 논증 이론과 비형식 논리(argumentation theory and informal logic)

논증 이론과 비형식 논리는 형식 논리의 자원과 비형식적 분석 도구를 결합하여 자연 언어 논증을 학술적으로 분석·평가하는 분과이다. 스티븐 툴민(Stephen Toulmin)의 『The Uses of Argument』(1958), 더글러스 월턴(Douglas Walton), 프란스 판 에메렌(Frans van Eemeren)과 롭 흐로텐도르스트(Rob Grootendorst)의 작업이 이 분야의 표준적 학술 자원이다.

6. 칸트적 구분과의 비교

본 절의 ‘이론 논리학’과 ‘응용 논리학’의 구분은 칸트의 ‘일반 논리학’과 ‘응용 논리학’의 구분과 명칭상 유사하나, 그 학술적 내용은 동일하지 아니하다. 칸트의 응용 논리학은 사고의 일반 규칙을 인간 인지의 경험적 조건 아래에서 다루는 분과로 규정되었으며, 이는 사실상 인지 심리학적 성격을 가진다. 본 절에서 사용되는 응용 논리학 개념은 이러한 칸트적 의미와 다르며, 형식 체계를 다양한 분과 영역에 적용하는 현대적 의미를 따른다.

7. 본 절의 결론적 정리

본 절은 다음과 같이 정리된다. 첫째, 이론 논리학은 형식 체계 자체의 구조와 메타 수준의 성질을 다루는 분과이며, 응용 논리학은 그 결과를 다른 학문과 문제 영역에 적용하는 분과이다. 둘째, 두 분과는 상호 보완적 관계이며, 어느 한쪽이 다른 한쪽에 종속되지 아니한다. 셋째, 응용 논리학은 철학적 논리, 컴퓨터 과학 논리, 법 논리·의무 논리, 귀납 논리·확률 논리, 논증 이론·비형식 논리 등 다양한 분야로 구성된다. 넷째, ‘응용 논리학’이라는 명칭은 칸트적 전통의 동명 개념과 구분되어 이해되어야 한다.

8. 출처

  • Kant, I. (1800). Logik: Ein Handbuch zu Vorlesungen. Königsberg: Friedrich Nicolovius.
  • Carnap, R. (1950). Logical Foundations of Probability. Chicago: University of Chicago Press.
  • von Wright, G. H. (1951). Deontic Logic. Mind, 60(237), 1–15.
  • Toulmin, S. E. (1958). The Uses of Argument. Cambridge: Cambridge University Press.
  • Gabbay, D. M., & Guenthner, F. (Eds.). (1983–). Handbook of Philosophical Logic. Dordrecht: Reidel; Springer.
  • Abramsky, S., Gabbay, D. M., & Maibaum, T. S. E. (Eds.). (1992–). Handbook of Logic in Computer Science. Oxford: Oxford University Press.
  • Gabbay, D. M., Hogger, C. J., & Robinson, J. A. (Eds.). (1993–). Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford: Oxford University Press.
  • Gabbay, D. M., & Woods, J. (Eds.). (2002). Handbook of the Logic of Argument and Inference: The Turn Towards the Practical. Amsterdam: Elsevier.

9. 버전

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