7.9 엄밀 함의의 개념

1. 절의 학술적 목표

본 절은 엄밀 함의(strict implication)의 개념을 학술적으로 검토하고, 그 정의, 형식적 구조, 학술적 배경, 그리고 실질 함의와의 차이를 체계적으로 정리하는 것을 목표로 한다. 엄밀 함의는 실질 함의의 역설에 대응하기 위하여 도입된 양상 논리적 개념이며, 함의 관계의 필연적 성격을 엄격하게 포착하기 위한 시도이다. 본 절은 이 개념을 학술적으로 명료히 소개한다.

2. 엄밀 함의 개념의 역사적 배경

엄밀 함의의 개념은 클래런스 어빙 루이스(Clarence Irving Lewis)에 의하여 도입되었다. 루이스는 1918년의 “A Survey of Symbolic Logic“과 1932년 찰스 하트숀 랭포드(Charles Hartshorne Langford)와의 공저 “Symbolic Logic“에서 실질 함의의 역설에 대한 대응으로 엄밀 함의 개념을 제안하였다. 이는 양상 논리의 현대적 발전의 출발점이 되었다(Lewis, 1918; Lewis & Langford, 1932).

3. 엄밀 함의의 정의

엄밀 함의는 양상 논리의 필연성 연산자(□)를 사용하여 정의된다. “P가 Q를 엄밀히 함의한다“는 형식적으로 “□(P → Q)“로 표기되며, “P가 Q를 함의하는 것이 필연적이다“로 해석된다. 루이스는 이 개념을 위하여 별도의 기호 “⥽” 또는 “J”(lambda)를 사용하기도 하였다. 엄밀 함의는 실질 함의에 필연성의 차원을 더한 개념이다(Lewis & Langford, 1932).

4. 엄밀 함의의 의미론적 특성

엄밀 함의 “□(P → Q)“는 P → Q가 모든 가능 세계(possible world)에서 참임을 의미한다. 즉, 현실 세계에서만 우연히 조건문이 참인 것이 아니라, 모든 가능한 상황에서 조건문이 필연적으로 참이어야 한다. 이러한 의미론적 해석은 가능 세계 의미론(possible world semantics)에 기반하며, 솔 크립키(Saul Kripke)의 양상 논리 연구를 통해 정립되었다(Kripke, 1963).

5. 엄밀 함의와 실질 함의의 관계

엄밀 함의는 실질 함의보다 강한 함의 개념이다. 즉, “□(P → Q)“가 성립하면 “P → Q“도 성립하지만, 그 역은 일반적으로 성립하지 않는다. 실질 함의는 특정 상황에서의 진리값 관계만을 요구하는 반면, 엄밀 함의는 모든 가능 세계에서의 진리값 관계를 요구한다. 따라서 엄밀 함의는 함의 관계의 필연적 성격을 더 정확히 포착한다(Lewis & Langford, 1932).

6. 엄밀 함의와 실질 함의의 역설

엄밀 함의는 실질 함의의 일부 역설을 해결한다. 예를 들어 “달이 치즈로 만들어져 있다면 2+2=5이다“와 같은 진술은 실질 함의로는 참이지만, 엄밀 함의로는 거짓이다. 왜냐하면 전건이 성립하는 가능 세계에서도 후건이 반드시 성립한다는 필연성의 보장이 없기 때문이다. 엄밀 함의는 이러한 방식으로 일상 언어 직관과 더 부합한다(Lewis, 1918).

7. 엄밀 함의의 역설

그러나 엄밀 함의 자체도 “엄밀 함의의 역설(paradoxes of strict implication)“로 알려진 새로운 문제를 낳는다. 대표적 예시는 다음과 같다. 첫째, “필연적으로 참인 명제는 모든 명제에 의해 엄밀히 함의된다”: “□Q → □(P → Q)”. 둘째, “필연적으로 거짓인 명제는 모든 명제를 엄밀히 함의한다”: “□¬P → □(P → Q)”. 이러한 역설들은 엄밀 함의가 실질 함의의 모든 문제를 해결하지는 못함을 보여 준다(Anderson & Belnap, 1975).

8. 엄밀 함의와 양상 논리 체계

엄밀 함의 개념은 양상 논리의 여러 체계(S1, S2, S3, S4, S5 등)와 연결된다. 각 체계는 서로 다른 양상 공리를 채택하며, 엄밀 함의의 성질도 체계에 따라 다르다. 예를 들어 S4에서는 “□P → □□P“가 성립하고, S5에서는 “◇P → □◇P“가 성립한다. 이러한 차이는 엄밀 함의 개념이 체계 의존적 성격을 가짐을 보여 준다(Lewis & Langford, 1932).

9. 엄밀 함의의 철학적 의의

엄밀 함의 개념은 다음과 같은 철학적 의의를 가진다. 첫째, 그것은 함의 관계의 필연적 성격을 명시적으로 표현한다. 둘째, 그것은 양상 개념(필연성, 가능성)과 함의 개념의 관계를 체계적으로 분석할 수 있게 한다. 셋째, 그것은 가능 세계 의미론이라는 현대 양상 논리의 의미론적 기반을 제공하는 계기가 되었다. 넷째, 그것은 실질 함의와 일상 언어 조건문 사이의 간극을 좁히는 시도이다(Hughes & Cresswell, 1996).

10. 엄밀 함의의 한계

엄밀 함의는 실질 함의의 일부 역설을 해결하지만, 모든 조건문 직관을 포착하지는 못한다. 특히 반사실적 조건문(counterfactual conditional)과 일상 언어의 직설법 조건문은 엄밀 함의로도 완전히 분석되지 않는다. 이러한 한계는 이후 로버트 스톨네이커(Robert Stalnaker)와 데이비드 루이스(David Lewis)의 반사실적 조건문 이론으로 이어졌다(Lewis, 1973; Stalnaker, 1968).

11. 엄밀 함의의 현대적 위상

엄밀 함의 개념은 현대 양상 논리학과 철학적 논리학에서 여전히 중요한 위상을 가진다. 이 개념은 함의 분석의 중요한 역사적·개념적 단계로 인정되며, 양상 논리의 여러 체계와 가능 세계 의미론의 발전에 결정적 역할을 하였다. 또한 관련성 논리학, 조건부 논리학 등 비고전 논리의 여러 전통이 엄밀 함의 개념의 검토로부터 출발하였다(van Benthem, 2008).

12. 본 절의 결론적 정리

엄밀 함의는 “□(P → Q)“의 형식으로 정의되는 양상 논리적 함의 개념이며, 함의 관계의 필연적 성격을 명시적으로 포착한다. 클래런스 어빙 루이스에 의하여 도입된 이 개념은 실질 함의의 역설에 대한 대응으로 개발되었으며, 양상 논리와 가능 세계 의미론의 발전에 결정적 영향을 미쳤다. 엄밀 함의는 실질 함의의 일부 역설을 해결하지만, 자체적인 엄밀 함의의 역설을 낳는 한계도 가진다. 학습자는 이 개념의 학술적 위상과 실질 함의와의 관계를 정확히 이해하여야 한다.

13. 출처

• Lewis, C. I. (1918). A Survey of Symbolic Logic. Berkeley: University of California Press.
• Lewis, C. I., & Langford, C. H. (1932). Symbolic Logic. New York: The Century Company.
• Kripke, S. A. (1963). Semantical considerations on modal logic. Acta Philosophica Fennica, 16, 83–94.
• Stalnaker, R. C. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in Logical Theory (pp. 98–112). Oxford: Basil Blackwell.
• Lewis, D. (1973). Counterfactuals. Cambridge, MA: Harvard University Press.
• Anderson, A. R., & Belnap, N. D. (1975). Entailment: The Logic of Relevance and Necessity (Vol. 1). Princeton: Princeton University Press.
• Hughes, G. E., & Cresswell, M. J. (1996). A New Introduction to Modal Logic. London: Routledge.
• van Benthem, J. (2008). Logic and reasoning: Do the facts matter? Studia Logica, 88(1), 67–84.

14. 버전

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