엄격 함의 (Strict Implication)
한 줄 정의: 전건이 후건을 논리적으로 필연적인 방식으로 함축한다는 것, 즉 전건이 참이면서 후건이 거짓인 것이 전혀 가능하지 않은 관계를 나타내는 양상논리적 조건 개념이다.
쉽게 풀면
엄격 함의는 'P가 참이면서 Q가 거짓인 경우가 단 하나의 가능세계에서도 있을 수 없다'는 훨씬 강한 조건 관계를 말한다. 이는 단순히 실제로 전건이 참일 때 후건도 참인지만 따지는 실질 함의보다 훨씬 엄격한 논리적 요구를 담고 있다.
논문에서는 이렇게 쓰입니다
"루이스는 실질 함의의 역설을 피하기 위해 엄격 함의라는 양상적으로 강화된 조건 개념을 도입했다."
C. I. 루이스가 실질 함의가 낳는 직관에 어긋나는 결과(예: 거짓인 명제는 아무 명제나 함의한다)를 피하기 위해, 필연성 개념을 결합한 더 강한 형태의 함의 개념을 고안했다는 배경을 설명한다.
주의할 점
엄격 함의 역시 나름의 역설적 결과(예: 필연적으로 거짓인 명제는 아무 명제나 엄격하게 함의한다)를 낳는다는 점에서, 실질 함의의 문제를 완전히 해결하지는 못했다는 점에 유의해야 한다.