1.11 연역 논리와 귀납 논리의 구분

1. 절의 학술적 목표

본 절의 학술적 목표는 연역 논리(deductive logic)와 귀납 논리(inductive logic)의 구분을 학술적으로 정립하는 것이다. 학습자는 본 절을 통하여 두 분과의 정의, 평가 기준, 학문사적 위치를 표준적 학술 견해 수준에서 진술할 수 있어야 하며, 두 분과가 일상적·과학적 추론 활동에서 어떤 역할을 분담하는가를 학술적으로 식별할 수 있어야 한다.

2. 연역 논리의 학술적 정의

연역 논리는 전제(premise)가 참일 때 결론(conclusion)이 반드시 참이 되는 추론을 다루는 분과이다. 즉 연역적 추론에서는 전제가 결론을 ‘논리적 필연성(logical necessity)’으로 함축한다. 이러한 추론을 ‘타당한(valid) 추론’이라 하며, 그 타당성은 전제와 결론의 형식적 구조에 의해 결정된다. 아리스토텔레스(Aristotle)의 『Prior Analytics』에서 정초된 삼단 논법(syllogism) 분석은 연역 논리의 학문사적 출발점이다. 19세기 후반 이후 형식 논리학의 발전을 통해 연역 논리는 명제 논리(propositional logic)와 술어 논리(predicate logic)의 형식 체계로 정식화되었다.

3. 귀납 논리의 학술적 정의

귀납 논리는 전제가 결론을 필연적으로 함축하지 않으면서도 일정한 정도로 결론을 지지(support)하는 추론을 다루는 분과이다. 즉 귀납적 추론에서는 전제가 참이라 하더라도 결론은 거짓일 수 있으며, 다만 전제가 결론에 대하여 일정한 ‘귀납적 강도(inductive strength)’ 또는 ‘확률적 지지(probabilistic support)’를 제공한다. 귀납 논리의 학문사적 출발점은 프랜시스 베이컨(Francis Bacon)의 『Novum Organum』(1620)이며, 19세기에는 존 스튜어트 밀(John Stuart Mill)의 『A System of Logic, Ratiocinative and Inductive』(1843)에서 ‘밀의 다섯 가지 방법(Mill’s methods)’이 정식화되었다. 20세기에는 루돌프 카르나프(Rudolf Carnap)의 『Logical Foundations of Probability』(1950)가 귀납 논리를 확률 논리(probabilistic logic)로 정식화하는 학술적 시도를 대표한다.

4. 두 분과의 평가 기준 비교

연역 논리와 귀납 논리는 서로 다른 평가 기준에 의해 추론을 평가한다.

이러한 차이는 두 분과가 서로 다른 학문적 목적을 갖고 있음을 보여 준다.

5. 두 추론의 사례적 비교

다음의 두 사례는 연역 추론과 귀납 추론의 구조적 차이를 학술적으로 예시한다.

5.1 연역 추론의 표준 사례

• 전제 1: 모든 인간은 사멸한다.
• 전제 2: 소크라테스는 인간이다.
• 결론: 그러므로 소크라테스는 사멸한다.

이 추론은 전제가 모두 참이라면 결론이 거짓일 수 없는 구조를 가진다. 따라서 이 추론은 형식적으로 타당하다.

5.2 귀납 추론의 표준 사례

• 전제: 지금까지 관찰된 모든 백조는 흰색이었다.
• 결론: 그러므로 모든 백조는 흰색이다.

이 추론은 전제가 결론을 필연적으로 함축하지 아니한다. 실제로 18세기 후반 이후 호주에서 검은 백조(Cygnus atratus)가 보고됨으로써 이 결론이 거짓임이 밝혀졌다. 이 사례는 귀납적 일반화가 가지는 학술적 한계를 보여 주는 표준적 예시로 사용된다.

6. 귀납의 문제

데이비드 흄(David Hume)은 『A Treatise of Human Nature』(1739–1740)와 『An Enquiry concerning Human Understanding』(1748)에서 귀납적 추론이 그 자체로 정당화될 수 없다는 학술적 문제를 제기하였다. 이 문제는 ‘귀납의 문제(problem of induction)’ 또는 ‘흄의 문제’로 알려져 있으며, 카를 포퍼(Karl R. Popper)의 『The Logic of Scientific Discovery』(1959), 넬슨 굿맨(Nelson Goodman)의 『Fact, Fiction, and Forecast』(1955)에서의 ‘새로운 귀납의 수수께끼(new riddle of induction)’ 등 후속 학술적 논의의 출발점이 되었다. 이 문제는 본 절의 일차적 주제는 아니나, 귀납 논리의 학술적 위치를 이해하기 위해 필수적으로 언급되어야 할 표준적 학술 사실이다.

7. 비단조성과 가추 추론

20세기 후반 이후 학계에서는 연역과 귀납의 이분법을 보완하는 다양한 추론 유형이 학술적으로 식별되었다. 그 가운데 다음 두 가지가 대표적이다.

7.1 비단조 추론(non-monotonic reasoning)

비단조 추론은 새로운 전제가 추가될 때 이전에 도출된 결론이 철회될 수 있는 추론을 말한다. 존 매카시(John McCarthy)와 레이먼드 라이터(Raymond Reiter)의 작업은 비단조 논리(non-monotonic logic)의 형식 체계를 정초하였다. 이 유형의 추론은 일상적·상식적 추론과 인공 지능에서의 지식 표현에 광범위하게 적용된다.

7.2 가추 추론(abductive inference)

가추 추론은 주어진 관찰을 가장 잘 설명하는 가설(hypothesis)을 결론으로 선택하는 추론이다. 찰스 샌더스 퍼스(Charles S. Peirce)는 「Deduction, Induction, and Hypothesis」(1878) 등 일련의 논문에서 이 추론 유형을 ‘abduction’으로 명명하고, 연역과 귀납에 이은 제3의 추론 유형으로 학술적으로 정식화하였다. 길버트 하먼(Gilbert Harman)의 「The Inference to the Best Explanation」(1965)는 이 추론을 ‘최선의 설명으로의 추론(inference to the best explanation, IBE)’으로 정식화하여 현대 과학철학과 인식론에서 표준적 학술 어휘로 정착시켰다.

8. 본 절의 결론적 정리

본 절은 다음과 같이 정리된다. 첫째, 연역 논리는 전제가 결론을 필연적으로 함축하는 추론을 다루며, 형식적 타당성과 건전성을 평가 기준으로 삼는다. 둘째, 귀납 논리는 전제가 결론을 확률적으로 지지하는 추론을 다루며, 강도와 설득력을 평가 기준으로 삼는다. 셋째, 두 분과는 서로 다른 학문적 목적을 가지고 있으며, 서로 환원될 수 없는 독자적 분석 영역을 형성한다. 넷째, 흄의 귀납의 문제, 비단조 추론, 가추 추론에 대한 학술적 논의는 두 분과의 단순 이분법을 보완하는 표준적 학술 자원으로 다루어진다.

9. 출처

• Aristotle. Prior Analytics. 기원전 4세기.
• Bacon, F. (1620). Novum Organum. London: John Bill.
• Hume, D. (1739–1740). A Treatise of Human Nature. London: John Noon; Thomas Longman.
• Hume, D. (1748). An Enquiry concerning Human Understanding. London: A. Millar.
• Mill, J. S. (1843). A System of Logic, Ratiocinative and Inductive. London: John W. Parker.
• Peirce, C. S. (1878). Deduction, Induction, and Hypothesis. Popular Science Monthly, 13, 470–482.
• Carnap, R. (1950). Logical Foundations of Probability. Chicago: University of Chicago Press.
• Goodman, N. (1955). Fact, Fiction, and Forecast. Cambridge, MA: Harvard University Press.
• Popper, K. R. (1959). The Logic of Scientific Discovery. London: Hutchinson.
• Harman, G. (1965). The Inference to the Best Explanation. The Philosophical Review, 74(1), 88–95.

10. 버전

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