정의
실질 조건문(實質 条件 文, material conditional)은 형식 논리학에서 ‘만일 P이면 Q이다’라는 형태의 명제를 형식적으로 표현한 것이다. 기호로는 $P \rightarrow Q$ 로 나타내며, 여기서 $P$와 $Q$는 각각 명제(또는 명제 변수)이다. 실질 조건문은 두 명제 사이의 함의 관계를 진리값으로 규정한다.
진리표
| $P$ | $Q$ | $P \rightarrow Q$ |
|---|---|---|
| 참 | 참 | 참 |
| 참 | 거짓 | 거짓 |
| 거짓 | 참 | 참 |
| 거짓 | 거짓 | 참 |
실질 조건문은 ‘전제 $P$가 참이면서 결론 $Q$가 거짓인 경우에만 거짓’이며, 전제가 거짓인 경우에는 ‘진리값이 무조건 참’이 되는 불완전성(vacuous truth) 특성을 가진다.
형식적 특성
-
동치 변환
- $P \rightarrow Q$는 $\lnot P \lor Q$와 동치이다.
- $\lnot(P \rightarrow Q)$는 $P \land \lnot Q$와 동치이다.
-
추론 규칙
- 모드 푸슨(Modus Ponens): $P$와 $P \rightarrow Q$가 모두 참이면 $Q$도 참이다.
- 모드 탑톤(Modus Tollens): $\lnot Q$와 $P \rightarrow Q$가 참이면 $\lnot P$도 참이다.
-
연역적 관계
- 실질 조건문은 연역적(deductive) 논증에서 전제가 결론을 반드시 보장한다는 의미가 아니라, 진리값에 관한 정의에 불과하다. 따라서 일상 언어의 ‘조건문’과는 의미론적으로 차이가 있다.
자연 언어와의 차이
일상 언어에서 ‘만일 P이면 Q이다’라는 표현은 원인·목적·가능성 등 다양한 의미를 내포한다. 반면 실질 조건문은 ‘전제가 거짓이면 언제든지 참’이라는 진리값 규칙만을 적용한다. 이 때문에 다음과 같은 조건문 역설(paradox of material implication)이 발생한다.
- “바다에 물이 없다면 2+2=5이다.” → 전제가 거짓이므로 실질 조건문은 참이 된다.
관련 개념
- 강제 조건문 (strict conditional) – 가능 세계 논리에서 ‘필연적으로 P가 Q를 함’을 의미한다.
- 조건부 논리 (conditional logic) – 조건문에 대한 다양한 의미론을 연구하는 논리 체계.
- 조건부 확률 – ‘$P$가 주어졌을 때 $Q$가 일어날 확률’과 관련된 확률론적 개념.
역사적 배경
실질 조건문의 개념은 고전 논리학의 전통을 이어받아, 19세기와 20세기 초의 형식 논리학자들(특히 고틀로프 프레게와 베르트라랑 스피너)에게서 체계화되었다. 현대의 명제 논리 체계에서는 실질 조건문을 기본 연결자 중 하나로 채택하고 있다.
참고문헌
- 리차드 소머스, 문제와 논리 (Oxford University Press, 2004).
- 데이비드 마스키, 논리학 입문 (Springer, 2018).
- 김기현, “한국어와 형식 논리의 조건문”, 논리학연구 34(2), 2021, pp. 45‑67.
See also
- 물질 함의 (material implication)
- 논리 연결자 (logical connective)
- 조건문(언어학)
- 모드 푸슨(Modus Ponens)
- 귀납적 조건문 (indicative conditional)