실질 함의 (Material Implication)
쉽게 풀면
실질 함의는 조건문 'P이면 Q이다'를 아주 단순하게, 'P가 거짓이거나(전건이 성립 안 함) Q가 참인(후건이 성립함) 경우에만 이 조건문 전체를 참으로 친다'는 규칙으로 정의한다. 이 정의에 따르면 전건이 거짓이기만 하면 후건이 무엇이든 조건문 전체가 자동으로 참이 되는 다소 이상한 결과가 생긴다.
왜 중요한가
실질조건문과 같은 의미로, 명제논리에서 '만약 A이면 B'를 A의 거짓 또는 B의 참으로 정의하는 형식적 함의 개념이다.
논문에서는 이렇게 쓰입니다
실질 함의의 정의상, 전건이 거짓이기만 하면 그 조건문 전체가 후건의 내용과 무관하게 참이 되어버리는 반직관적 결과(실질 함의의 역설)가 발생한다는 것을 설명한다.
논리학의 실질 함의가 일상어의 조건문이 지니는 의미를 온전히 담아내지 못한다는 한계를 지적한 문장입니다.
조금 더 깊게 보면
이 정의는 인과관계나 관련성을 전제하지 않으므로, 실질함의의 역설(거짓 명제는 어떤 명제도 함의한다 등)이 발생해 엄밀함의(strict implication) 등 대안 개념이 제안됐다. 실질 함의는 진리표로 정의되는 진리함수적 연결사이므로, 전건과 후건 사이에 내용적 연관성이 전혀 없어도 형식적으로는 참인 조건문이 성립할 수 있다. 프레게와 러셀 등 초기 기호논리학자들은 자연언어 조건문을 단순화하기 위해 이 정의를 채택했으며, 이는 이후 술어논리 전체의 표준적 조건 연결사로 자리잡았다.
주의할 점
실질 함의는 명제논리의 형식적 정의이며, 일상어의 '만약~라면'이 담고 있는 인과적·필연적 뉘앙스를 완전히 포착하지 못한다는 점에서 자연어 조건문과 동일시하지 않도록 주의해야 한다. 실질 함의의 역설은 논리학 체계 자체의 오류가 아니라 자연언어의 '만약'과 논리기호 '⊃'의 의미가 정확히 일치하지 않는 데서 비롯된다는 점을 구분해서 이해해야 한다. 실질 함의는 조건 명제 '만약 P면 Q'를 P⊃Q라는 진리함수로 취급해 계산 가능하게 만든 대신, 인과성이나 의미적 관련성 같은 자연언어 조건문의 풍부한 함축은 형식화 과정에서 의도적으로 희생시킨 것이다.