반사실적 조건문 (Counterfactual Conditional)
한 줄 정의: 전건이 실제로는 거짓임을 전제하면서 '만약 ~였다면 ~였을 것이다'의 형식으로 가정된 상황의 결과를 서술하는 조건문이다.
쉽게 풀면
반사실적 조건문은 실제로 일어나지 않은 일을 가정해서 '만약 그랬다면 어땠을까'를 말하는 문장이다. 예를 들어 '내가 어제 우산을 챙겼더라면 비를 맞지 않았을 텐데'는 실제로는 우산을 안 챙겨서 비를 맞았다는 사실을 전제로 한 반사실적 조건문이다.
논문에서는 이렇게 쓰입니다
"루이스는 반사실적 조건문의 진리 조건을 가능세계 간의 유사성 척도를 이용해 분석했다."
반사실적 조건문 '만약 A였다면 B였을 것이다'가 참인지 여부를, 실제 세계와 가장 유사하면서 A가 참인 가능세계에서 B도 참인지를 따져 판단하는 루이스의 가능세계 의미론적 분석 방식을 설명한다.
주의할 점
반사실적 조건문은 실질 조건문과 달리 전건이 실제로 거짓이라는 것을 전제로 다루므로, 논리적 진리표만으로는 그 참거짓을 판별할 수 없다는 점에서 차이가 있다.