Part 1. 논리학 입문

1. 부의 학술적 위치

본 부는 논리학(logic)이라는 학문 분과에 처음 접근하는 학습자를 위한 입문적 단계로 설정된다. 논리학은 추론(inference)의 형식적 타당성(formal validity)을 연구 대상으로 하는 형식 과학(formal science)이며, 본 부는 이 학문의 정의, 연구 대상, 역사적 형성 과정, 인접 학문과의 관계, 그리고 학습 방법론을 총괄적으로 제시한다. 본 부는 형식 논리학(formal logic)의 본격적 전개에 선행하여 학습자가 갖추어야 할 개념적 준비를 마련하는 위치를 점한다.

2. 학술적 목표

본 부의 학술적 목표는 다음의 네 가지로 명시된다. 첫째, 학습자는 논리학의 표준적 정의를 학술적 용어로 진술할 수 있다. 둘째, 학습자는 논증(argument), 명제(proposition), 진리치(truth value), 추론(inference)과 같은 핵심 용어를 정확히 식별하고 구분할 수 있다. 셋째, 학습자는 논리학의 학문사적 흐름을 고대 그리스의 아리스토텔레스(Aristotle) 전통에서부터 중세 스콜라 논리학(scholastic logic), 19세기 수리 논리학(mathematical logic)의 형성, 20세기 이후의 현대 논리학까지 시간적 순서에 따라 개략적으로 기술할 수 있다. 넷째, 학습자는 논리학이 철학(philosophy), 수학(mathematics), 언어학(linguistics), 전산학(computer science), 인지 과학(cognitive science) 등 인접 학문과 어떤 방식으로 관계하는지 학술적으로 진술할 수 있다.

3. 학습 내용의 범위

본 부에서 다루는 주제는 본격적인 형식 체계 학습에 앞서 요구되는 입문적 영역에 한정된다. 즉 논리학의 정의와 분류, 논리학사(history of logic)의 주요 흐름, 논리학의 분과 구분(연역 논리(deductive logic)와 귀납 논리(inductive logic), 형식 논리와 비형식 논리(informal logic)), 논리학의 응용 영역 등을 포함한다. 명제 논리(propositional logic), 술어 논리(predicate logic), 양상 논리(modal logic) 등의 형식 체계와 비형식 추론 유형에 대한 본격적인 기술적 분석은 본 권의 후속 부에서 별도로 다루어지므로, 본 부에서는 이러한 주제를 중복적으로 기술하지 아니한다.

4. 학습 순서의 원칙

본 부의 서술 순서는 학습자가 학문의 외형적 윤곽으로부터 내부적 핵심 개념으로 이행할 수 있도록 구성된다. 먼저 논리학이 무엇인가에 대한 정의적 진술을 제시하고, 이어서 논리학의 역사적 형성 과정을 시간순으로 개관하며, 그 다음으로 논리학의 분류 체계를 제시한 뒤, 마지막으로 논리학의 인접 학문과의 관계 및 응용 영역을 기술한다. 이러한 순서는 어빙 코피(Irving M. Copi), 패트릭 헐리(Patrick J. Hurley), 그레이엄 프리스트(Graham Priest) 등의 표준적 논리학 입문 교재에서 일반적으로 채택되어 온 입문부 구성 방식을 따른다.

5. 서술의 원칙

본 부는 학술적 정확성과 객관성을 우선 원칙으로 한다. 모든 정의는 학계에서 통용되는 표준 학술 용어에 따라 제시되며, 인용되는 인물과 문헌은 본문 또는 출처 항목에서 명시된다. 본 부는 차분한 어조를 유지하며, 과장된 표현이나 비공식적 어휘를 사용하지 아니한다. 또한 본 부는 상상이나 자의적 추론을 배제하고, 학문사적·개념적으로 확립된 사실에 한정하여 기술된다.

6. 후속 부와의 연계

본 부에서 정초된 논리학의 정의와 학문사적 맥락은 후속 부에서 다루어질 형식 체계와 비형식 추론 분석의 전제가 된다. 본 부의 입문적 내용을 충분히 이해하는 일은 이후 부에서 전개되는 통사론(syntax), 의미론(semantics), 증명 이론(proof theory) 및 추론 유형 분석을 정확히 학습하기 위한 필수적 기반이 된다.

7. 출처

  • Aristotle. Organon. 기원전 4세기.
  • Kneale, W., & Kneale, M. (1962). The Development of Logic. Oxford: Clarendon Press.
  • Bocheński, I. M. (1961). A History of Formal Logic. Notre Dame: University of Notre Dame Press.
  • 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.

8. 버전

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