Volume 1. 논리학 기초

Volume 1. 논리학 기초

1. 권의 학술적 위상

본 권은 논리학(logic)이라는 학문 분과의 가장 기본적인 토대를 다룬다. 논리학은 추론(inference)의 타당성(validity)을 다루는 형식 과학(formal science)으로서, 철학(philosophy)과 수학(mathematics)의 교차 영역에 위치한다. 아리스토텔레스(Aristotle)의 『Organon』 이래로 논리학은 명제(proposition) 사이의 함의(implication) 관계와 추론 규칙(inference rules)을 체계화하는 학문으로 발전해 왔으며, 19세기 후반 고틀로프 프레게(Gottlob Frege)의 『Begriffsschrift』(1879)와 20세기 초 버트런드 러셀(Bertrand Russell)·앨프리드 노스 화이트헤드(Alfred North Whitehead)의 『Principia Mathematica』(1910–1913)를 거치며 현대적 형식 체계로 정립되었다. 본 권은 이러한 학문사적 흐름 위에서 논리학의 기본 개념과 기초 형식 체계를 학습 순서에 맞추어 제시한다.

2. 학습 목표

본 권의 학술적 목표는 다음과 같이 설정된다. 첫째, 학습자는 명제의 정의, 진리치(truth value), 논리적 결합사(logical connectives)에 대한 정확한 개념을 이해한다. 둘째, 학습자는 명제 논리(propositional logic)와 술어 논리(predicate logic)의 통사론(syntax)과 의미론(semantics)을 구분하여 기술할 수 있다. 셋째, 학습자는 타당한 논증(valid argument)과 건전한 논증(sound argument)을 구별하고, 형식적 증명(formal proof)의 기본 절차를 수행할 수 있다. 넷째, 학습자는 동치(equivalence), 일관성(consistency), 충족 가능성(satisfiability) 등 메타논리적(metalogical) 개념을 식별할 수 있다.

3. 다루는 주제 범위

본 권에서 다루는 주제는 형식 논리(formal logic)의 입문적 영역에 한정된다. 구체적으로는 명제와 논증의 정의, 진리 함수(truth function)와 진리표(truth table) 작성법, 자연 연역(natural deduction)과 공리계(axiomatic system)의 구조, 양화사(quantifier)를 포함한 1차 술어 논리(first-order predicate logic)의 기초, 그리고 동일성(identity) 관계 등이 포함된다. 비형식 논리(informal logic), 논증 도식(argumentation scheme), 오류론(theory of fallacies)과 같은 응용적 영역은 후속 권에서 별도로 다루어지므로, 본 권은 이와 중복되지 않는 형식적 토대 영역에 집중한다.

4. 학습 순서의 원칙

본 권의 서술 순서는 학습자가 추상도(abstraction level)를 점진적으로 높여 갈 수 있도록 구성된다. 즉 일상 언어(natural language)에서 출발하여 명제의 형식화(formalization)를 학습하고, 단순 명제 논리에서 복잡한 술어 논리로, 그리고 의미론적 평가(semantic evaluation)에서 통사론적 증명(syntactic proof)으로 단계적 이동을 거친다. 이러한 배열은 베나세라프(Paul Benacerraf), 처치(Alonzo Church), 클린(Stephen Cole Kleene) 등의 표준 교과서적 전통에서 채택되어 온 학습 순서를 따른다.

5. 본 권의 서술 원칙

본 권은 학술적 정확성을 최우선으로 하여 서술된다. 모든 정의는 표준 학술 용어(standard academic terminology)에 따라 제시되며, 인용되는 문헌과 개념의 출처는 본문 또는 각주에서 명시된다. 또한 본 권은 차분한 어조를 유지하며, 과장이나 수사적 강조 없이 객관적 사실과 형식적 규칙만을 기술한다. 본 권에서 사용되는 기호 체계는 ISO 80000-2의 수학 기호 표기 권고와 학계의 일반적 관행에 따른다.

6. 후속 권과의 관계

본 권에서 정초되는 형식 논리의 개념은 이후 권에서 다루어질 논증 분석, 인식론, 과학적 추론, 인지 편향, 수사학적 설득, 화용론, 비판적 사고 교육 등 모든 응용적 논의의 전제가 된다. 본 권의 형식적 토대를 충분히 숙지하는 일은 후속 권의 비형식적·응용적 논의를 정확히 이해하기 위한 필수 조건이 된다.

7. 출처

  • Aristotle. Organon. 기원전 4세기.
  • Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
  • Whitehead, A. N., & Russell, B. (1910–1913). Principia Mathematica (Vols. 1–3). Cambridge: Cambridge University Press.
  • Church, A. (1956). Introduction to Mathematical Logic. Princeton: Princeton University Press.
  • Kleene, S. C. (1967). Mathematical Logic. New York: Wiley.
  • International Organization for Standardization. (2019). ISO 80000-2: Quantities and units — Part 2: Mathematics.

8. 버전

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