7.11 함의와 추론의 관계

1. 절의 학술적 목표

본 절은 함의(implication)와 추론(inference)의 개념적 관계를 학술적으로 검토하는 것을 목표로 한다. 함의와 추론은 논리학의 가장 기본적 개념이지만, 동일하지 않은 개념이다. 함의는 명제들 사이의 논리적 관계를 가리키는 의미론적 개념인 반면, 추론은 전제로부터 결론을 도출하는 인식론적·인지적 활동을 가리킨다. 본 절은 두 개념의 구분, 상호 관계, 그리고 학술적 의의를 체계적으로 정리한다.

2. 함의의 개념 복습

함의는 두 명제 또는 명제 집합과 단일 명제 사이의 논리적 관계이다. “Γ가 Q를 함의한다“는 것은 Γ의 모든 명제가 참이라면 Q도 반드시 참이라는 관계를 가리킨다. 함의는 명제들 사이의 정태적이고 객관적인 관계이며, 인식 주체의 활동과 무관하게 성립한다(Tarski, 1936).

3. 추론의 개념

추론은 전제로부터 결론을 도출하는 정신적 활동 또는 언어적 행위이다. 추론자는 전제로 주어진 명제들을 받아들이고, 이로부터 새로운 명제인 결론을 이끌어낸다. 추론은 동적이고 시간적이며 인식 주체에 귀속되는 활동이다. 추론 행위는 논리적 규칙에 의하여 정당화되거나 제약될 수 있다(Harman, 1986).

4. 함의와 추론의 기본 구분

함의와 추론의 기본 구분은 다음과 같다. 첫째, 존재론적 차원에서 함의는 명제들 사이의 관계이고, 추론은 인식 주체의 활동이다. 둘째, 시간적 차원에서 함의는 시간 독립적이고, 추론은 시간 의존적이다. 셋째, 주체성의 차원에서 함의는 객관적 관계이고, 추론은 주관적 활동이다. 이러한 구분은 두 개념의 학술적 분석을 위한 기초이다(Harman, 1986).

5. 함의가 추론의 근거가 되는 방식

함의는 추론의 규범적 근거를 제공한다. Γ가 Q를 함의한다면, 추론자는 Γ로부터 Q로 이동하는 추론을 수행할 권리를 가진다. 따라서 함의는 타당한 추론의 의미론적 기반이며, 추론의 정당성을 평가하는 기준이 된다. 그러나 함의 관계가 성립한다고 해서 추론자가 반드시 추론을 수행해야 한다는 의미는 아니다(Harman, 1986).

6. 함의와 추론의 비대칭성

함의와 추론은 대칭적 관계가 아니다. 모든 함의 관계가 실제 추론의 대상이 되는 것은 아니다. 예를 들어 어떤 명제 집합 Γ는 무한히 많은 함의를 가지지만, 추론자는 그 중 극소수만을 실제로 추론한다. 또한 인식적 관련성이나 실용적 중요성에 의하여 어떤 함의는 추론 대상이 되고 다른 함의는 그렇지 않다. 이러한 비대칭성은 함의와 추론의 구분을 더욱 명료하게 한다(Harman, 1986).

7. 하먼의 논리와 추론의 구분

길버트 하먼(Gilbert Harman)은 1986년의 저서 “Change in View: Principles of Reasoning“에서 논리와 추론의 구분을 명시적으로 주장하였다. 하먼에 따르면, 논리학은 명제들 사이의 함의 관계를 연구하지만, 추론 이론은 인식 주체가 어떻게 자신의 믿음을 수정해야 하는지에 관한 규범적 이론이다. 이 구분은 논리학이 곧바로 추론의 규범을 제공하지 않는다는 중요한 철학적 주장이다(Harman, 1986).

8. 추론의 규범적 문제

함의와 추론의 구분은 추론의 규범적 문제를 제기한다. 논리학이 명제들 사이의 함의 관계를 제공한다고 하더라도, 추론자가 어떤 함의를 실제로 믿음에 포함시켜야 하는지는 별도의 문제이다. 예를 들어 추론자는 모순을 발견했을 때 어떤 전제를 포기해야 하는지 결정해야 하며, 이는 단순한 함의 관계로는 결정되지 않는다. 이러한 문제는 인식론과 믿음 수정 이론의 주요 주제이다(Harman, 1986).

9. 함의와 추론의 연결: 타당한 추론

함의와 추론의 연결은 타당한 추론(valid inference)의 개념을 통해 이루어진다. 타당한 추론은 결론이 전제의 함의가 되는 추론이다. 즉, 추론의 전제와 결론 사이에 함의 관계가 성립하면 그 추론은 타당하다. 이러한 의미에서 타당한 추론의 개념은 함의 관계를 추론의 규범으로 연결하는 개념적 다리 역할을 한다(Copi, Cohen, & McMahon, 2014).

10. 함의와 실제 인지적 추론

실제 인지적 추론은 형식적 함의 관계와 완전히 일치하지 않을 수 있다. 인간의 추론은 휴리스틱, 편향, 제한된 계산 자원 등의 영향을 받으며, 형식 논리의 기준에서 볼 때 부분적으로만 “타당“하다. 인지심리학은 인간의 추론이 형식 논리와 어떻게 괴리되는지를 경험적으로 연구한다. 이러한 괴리는 규범적 논리와 기술적 인지심리학의 차이를 보여 준다(Johnson-Laird, 1983).

11. 추론의 유형과 함의

추론은 연역적 추론(deductive inference)과 귀납적 추론(inductive inference)으로 구분된다. 연역적 추론은 전제의 참이 결론의 참을 필연적으로 보장하는 추론이며, 함의 관계에 대응한다. 귀납적 추론은 전제의 참이 결론의 참을 개연적으로만 지지하는 추론이며, 엄밀한 함의 관계에 대응하지 않는다. 따라서 함의의 개념은 주로 연역적 추론의 분석에 활용된다(Copi, Cohen, & McMahon, 2014).

12. 본 절의 결론적 정리

함의와 추론은 밀접히 관련되지만 동일하지 않은 개념이다. 함의는 명제들 사이의 정태적·객관적 논리 관계이며, 추론은 전제로부터 결론을 도출하는 동적·주관적 인지 활동이다. 함의는 타당한 추론의 의미론적 근거를 제공하지만, 함의 관계가 추론의 규범을 곧바로 결정하지는 않는다. 학습자는 두 개념의 구분과 관계를 정확히 이해하고, 논리학과 인식론, 인지심리학의 상이한 관심사를 구별할 수 있어야 한다.

13. 출처

• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
• Harman, G. (1986). Change in View: Principles of Reasoning. Cambridge, MA: MIT Press.
• Johnson-Laird, P. N. (1983). Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness. Cambridge, MA: Harvard University Press.
• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.

14. 버전

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