반사실적 조건문 (Counterfactual Conditional)
쉽게 풀면
반사실적 조건문은 실제로 일어나지 않은 일을 가정해서 '만약 그랬다면 어땠을까'를 말하는 문장이다. 예를 들어 '내가 어제 우산을 챙겼더라면 비를 맞지 않았을 텐데'는 실제로는 우산을 안 챙겨서 비를 맞았다는 사실을 전제로 한 반사실적 조건문이다.
왜 중요한가
반사실적 조건문은 '만약 P였다면 Q였을 것이다'처럼 실제로 일어나지 않은 상황을 가정하는 조건문으로, 루이스와 스톨네이커가 발전시킨 가능세계 의미론을 통해 그 진리조건을 분석하는 것이 현대 형이상학과 언어철학의 주요 과제입니다. 인과 관계 분석, 법칙과 우연의 구분, 자유의지 논쟁(만약 다르게 행동했다면)에서 폭넓게 응용됩니다. 반사실적 조건문은 인과, 필연성, 성향(디스포지션) 등 여러 철학적 개념을 정의하는 데 폭넓게 활용되어, 형이상학 전반에서 기초 도구로 쓰입니다.
핵심 정리
- 반사실적 조건문은 가정적 가능성에 대한 조건문입니다. 스탠퍼드 철학 백과사전은 철학, 언어학, 심리학, 인공지능, 역사학 등에서 기초 도구로 쓰이는 이 문장을 다룹니다.
- 직설법 조건문은 실제로 무엇이 사실인가를 말하고, 가정법(subjunctive) 조건문이 반사실문에 해당합니다. 문장 형식으로는 보통 “A였다면 B였을 것이다”처럼 과거완료를 씁니다.
- 이름과 달리 전건이 항상 거짓인 것은 아닙니다. 백과사전의 예 “존스가 비소를 먹었더라면 지금 보이는 증상을 보였을 것이다”는 전건이 참일 수도 있으며, 그 전건을 지지하는 논증에 쓰일 수도 있습니다. 그래서 가정법 조건문이라는 용어를 선호하는 사람도 있습니다.
- 대표적 분석은 Stalnaker와 Lewis의 가능세계 의미론입니다. 전건이 참인 가능세계 가운데 실제 세계와 가장 가까운 세계에서 후건도 참이면 그 조건문이 참입니다. 가까움은 유사성으로 재는데, 어떤 점에서의 유사성인지가 쟁점입니다(가능세계 의미론).
예시로 보기
직설법 대 반사실. “오스월드가 케네디를 쏘지 않았다면 다른 누군가가 쏘았다”(직설법)는 케네디가 암살당했다는 사실 때문에 참입니다. 그러나 “오스월드가 쏘지 않았더라면 다른 누군가가 쏘았을 것이다”(반사실)는, 오스월드가 혼자 범행했다고 알려진 한 거짓으로 평가됩니다.
전건 강화의 실패. “내가 올림픽 선수라면 경주에서 이길 것이다”가 참이라도, “내가 올림픽 선수이고 다리가 부러졌다면 경주에서 이길 것이다”는 거짓일 수 있습니다. 실질조건문이라면 전건을 강화해도 참이 유지되겠지만, 가장 가까운 세계 의미론에서는 전건이 강해질수록 더 먼 세계를 봐야 하므로 이런 일이 생깁니다.
유사성 이론의 난점. Fine(1975)이 제기한 반례는, 닉슨이 핵 버튼을 눌렀더라면 핵전쟁이 났을 것이라는 문장이 참인데, 단순히 전반적 유사성만 따지면 단락 사고로 미사일이 발사되지 않는 세계가 더 가까워 보여 그 문장이 거짓으로 예측된다는 것입니다.
자주 하는 오해
| 오해 | 바로잡기 |
|---|---|
| 반사실문은 전건이 거짓일 때만 쓴다. | 전건이 참일 수 있는 반사실문도 있습니다. 전건이 거짓인 것을 전제로 하는 문장을 ‘반사실’에 한정하려면 그 점을 따로 밝혀야 합니다. |
| 반사실문은 실질조건문(¬A 또는 B)으로 옮기면 된다. | 실질조건문은 전건이 거짓이면 항상 참이 되고 전건 강화가 늘 성립하지만, 반사실문은 그렇지 않습니다. |
| 직설법 조건문과 반사실문은 동사 시제만 다른 같은 문장이다. | 오스월드 예처럼 같은 내용도 참거짓이 갈립니다. |
| ‘가장 가까운 세계’는 분명한 기준이 있다. | Lewis는 유사성이 모호하며 반사실문 자체가 모호하기 때문에 모호한 기준이 오히려 어울린다고 보았고, Fine의 반례 이후 가중치 체계로 보완했지만 논쟁이 이어집니다. |
논문에서는 이렇게 쓰입니다
실제 논문에서
이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.
예시 문장
아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.
반사실적 조건문 '만약 A였다면 B였을 것이다'가 참인지 여부를, 실제 세계와 가장 유사하면서 A가 참인 가능세계에서 B도 참인지를 따져 판단하는 루이스의 가능세계 의미론적 분석 방식을 설명한다.
실제로는 일어나지 않은 상황을 가정하는 문장을 어떻게 해석할지가 논리적으로 까다로운 문제임을 보여줍니다.
조금 더 깊게 보면
루이스는 반사실문의 참을 전건이 참인 가장 가까운 가능세계에서 후건도 참인지로 분석했는데, '가장 가까움'을 어떤 유사성 기준으로 판단할지가 이론의 핵심이자 논쟁거리입니다. 반사실적 조건문은 직설법적 조건문과 논리적으로 다르게 행동하는데, 예컨대 전건이 실제로 거짓인 경우에도 반사실문은 여전히 참/거짓을 유의미하게 가질 수 있다는 점이 다릅니다. 반사실적 조건문은 '만약 A였다면 B였을 것이다'라는 형식으로, 가능세계 의미론에서는 전건이 참인 가능세계들 중 현실세계와 가장 유사한 세계에서 후건이 참인지를 기준으로 그 진리값을 평가합니다.
주의할 점
반사실적 조건문은 실질 조건문과 달리 대개 전건이 실제로는 거짓인 상황을 다루므로, 논리적 진리표만으로는 그 참거짓을 판별할 수 없다는 점에서 차이가 있다.
헷갈리기 쉬운 용어
| 용어 | 한 줄 설명 | 반사실적 조건문과의 차이 |
|---|---|---|
| 가능세계 의미론 | 문장의 참을 가능세계에서의 진리로 분석하는 틀 | 반사실문의 대표 분석 도구 |
| 반사실적 추론 | 대안 상황을 가정해 인과를 따지는 사고방식 | 문장 형식이 아닌 추론 활동 |
| 인과의 반사실 이론 | 원인을 반사실 의존으로 정의하는 이론 | 반사실문을 이용해 인과를 분석함 |
| 직설법 조건문 | 실제로 무엇이 사실인지에 대한 조건문 | 가정법이 아니며 전건이 부정되면 어색해짐 |
참고 문헌
- Lewis, D. K. (1973). Counterfactuals. Harvard University Press.
- Stalnaker, R. C. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in logical theory (pp. 98–112). Basil Blackwell.
- Goodman, N. (1947). The problem of counterfactual conditionals. The Journal of Philosophy, 44(5), 113.
- Fine, K. (1975). Critical notice of Lewis, Counterfactuals. Mind, 84, 451–458.
- Starr, W., & Kocurek, A. (2025). Counterfactuals. In The Stanford Encyclopedia of Philosophy. Stanford University.
표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.