Difference-Making without Making a Difference

문제점
안드레아스(Andreas)와 귄터(Günther) (AG)는 최근 여러 논문을 통해 실제적 인과관계(actual causation)에 관한 일련의 일곱 가지 정의(AG1–AG7)를 제안했다. 그들의 가장 최근 연구(AG7, Andreas & Günther, 2025)에서, 그들은 자신들의 "사실적 차이 만들기(factual difference-making)" 설명이 기존 문헌에 비해 전형적인 사례들에 대해 더 우수한 판결을 제공한다고 주장하며 이를 도입했다. 나아가, 그들은 자신들의 정의를 사실적 차이 만들기, 반사실적 차이 만들기, 그리고 규칙성 기반 설명이라는 세 가지 구별되는 경쟁적 유형으로 분류한다. 그들은 자신들의 새로운 사실적 접근 방식이 지배적인 이론들(예: Halpern & Pearl, 2005; Halpern, 2016)에서 발견되는 "모호한" 반사실적 의존성에 대한 호소를 피한다고 주장하며, 자신들의 규칙성 기반 설명(AG5, AG6)이 반사실적 접근 방식과 대조를 이룬다고 주장한다.

본 논문이 다루는 핵심 문제는 두 가지이다:

1. 내적 일관성: AG는 현재의 설명(AG7)을 그들 스스로가 이전에 제안했던 여섯 가지 이전 설명(AG1–AG6)과 비교하는 데 실패했다. 그들의 새로운 "사실적 차이 만들기" 정의가 이전의 "규칙성 기반" 정의와 실제로 다른지 여부가 불분명하다.
2. 이론적 구별: AG는 사실적 차이 만들기, 반사실적 차이 만들기, 그리고 규칙성 기반 설명이 서로 구별되는 범주라고 주장한다. 본 논문은 이러한 구별이 실질적인 것인지 아니면 단지 명목상의 것인지를 조사한다.
3. 방법론적 일관성: AG는 특정 사례들(예: 조기 선점(Early Preemption) 대 단순 스위치(Simple Switch))에 대한 직관적 판결을 바탕으로 자신들의 정의를 평가한다. 그러나 이 사례들에 대한 그들의 분석은 초기 논문과 후기 논문 사이에서 변화했으며, 이는 그들 자신의 이론적 동기에 충돌을 일으킨다.

방법론
저자는 AG가 제공한 정의들에 대한 형식적 논리 분석을 채택한다. 방법론은 다음과 같다:

• 형식적 동치 증명: 본 논문은 AG의 현재 정의(AG7)와 이전 정의(AG5) 사이의 논리적 동치를 엄밀하게 증명한다. 또한, AG7의 반사실적 변형(AG7*로 표기)을 구축하고, 이것이 원래의 AG7과 동치임을 증명한다.
• 비교 분석: 본 논문은 "미결정된(unsettled)" 변수, 최소 부분 모델, 그리고 일탈 조건(deviancy conditions)에 관한 조건들에 초점을 맞추어 AG1부터 AG7까지의 구조적 조건과 의미론적 요구사항을 비교한다.
• 사례 연구 재평가: 본 논문은 AG의 초기 구조적 논증과 후기 일탈 기반 논증의 관점에서 "조기 선점" 및 "단순 스치치"(그리고 "확장된 스위치", "할픈 스위치"와 같은 변형들)를 재검토한다. 또한, 일탈 조건을 테스트하기 위해 하나의 변형("Backup 2")을 도입한다.

주요 기여 및 결과

1. AG7과 AG5의 동치성:
   본 논문은 정리 2.2를 통해 AG7이 AG5와 논리적으로 동치임을 입증한다. 비록 AG7은 "사실적 차이 만들기" 용어(미결정 모델에 관한 조건 C1 및 C2)를 사용하고, AG5는 다른 어구(비함의에 관한 조건 D1 및 D2)를 사용하지만, 두 정의는 동일한 결과를 낸다. AG5는 (일탈 조건의 공식화만 다를 뿐) AG6와 거의 동일하므로, AG의 일곱 가지 정의 중 세 가지는 사실상 동일하다.

2. 인과적 유형론의 붕괴:
   본 논문은 AG7이 반사실적 차이 만들기 설명(AG7*)과 동치임을 보여주는 정리 3.2를 증명한다. AG7*는 사실적 조건들을 반사실적 조건들(즉, $\neg C$가 $E$를 방지하는지 확인하는 것)로 대체한다.

• 결과: AG의 "사실적 차이 만들기" 설명은 반사실적 차이 만들기 설명의 한 사례임이 드러난다.
• 결과: 결과적으로, AG가 그어놓은 "사실적", "반사실적", "규칙성 기반" 설명 사이의 구별은 "차이가 없는 구별(distinction without a difference)"임이 밝혀진다. 일탈 조건(C5)의 존재는 이 범주들을 분리하지 못하는데, 영향력 있는 반사실적 설명들(예: Halpern, 2016) 역시 일탈 조건을 활용하기 때문이다.

3. 사례 분석을 통한 AG의 동기 훼손:
   본 논문은 "조기 선점"과 "단순 스위치"에 대한 AG의 처리에 나타난 결정적인 불일치를 지적한다.

• 초기 관점 (AG1, AG2, AG4): AG는 이 사례들이 오로지 구조적 속성에 의해 구별된다고 주장했다. 그들은 다른 설명들이 구조적으로 이들을 구별하지 못하는 반면, 자신들의 설명은 성공한다고 주장했다.
• 후기 관점 (AG5, AG‌ها, AG7): AG는 구별의 근거를 비구조적 일탈 조건으로 전환했다.
• 딜레마:
  • 만약 AG가 구조적 관점을 고수한다면, 그들의 후기 설명(AG5–AG7)은 그들이 이전에 올바르게 처리할 수 있다고 주장했던 스위치 사례의 변형들(예: 확장된 스위치, 할픈 스위치)에 대해 잘못된 판결을 내리게 된다.
  • 만약 AG가 일탈 관점을 고수한다면, 그들의 설명은 백업 과정이 일탈적이지 않은 경우(예: 감독자의 백업이 도덕적으로 허용되는 "Backup 2")에 조기 선점과 단순 스위치를 구별하는 데 실패한다.
• 이러한 태도 변화는 조기 선점과 단순 스위치를 구조적으로 구분해낼 수 있다는 AG의 핵심 주장을 무력화시킨다.

의의 및 주장
본 논문은 안드레아스와 귄터의 최근 연구가 다음 세 가지 이유로 실제적 인과관계 분야에서 실질적인 차이를 만들어내는 데 실패했다고 결론짓는다.

1. 중복성: 그들의 최신 정의(AG7)는 이전 정의(AG5)와 동치이며, 이는 "새로운" 설명이 새로운 이론적 틀을 제공하지 못함을 의미한다.
2. 거짓 이분법: 인과관계를 사실적, 반사실적, 규칙성 유형으로 분류한 제안은 유효하지 않다. AG7은 이 세 가지를 모두 구현하고 있으며, 이는 이 범주들이 AG가 주장한 것처럼 상호 배타적이지 않음을 증명한다.
3. 부조리: 핵심 사례에 대한 AG의 분석(구조적 분석에서 일탈 기반 분석으로)의 변화는 그들의 핵심 논거를 무효화하는 딜레마를 생성한다. 구체적으로, 이는 단순 스위치와 조기 선점을 구조적으로 구분하지 못한다는 타 이론들에 대한 그들의 빈번한 비판을 약화시킨다.

본 논문은 AG의 유형별 구별 시도가 실패했음을 단언하며, 그들의 일곱 가지 정의 시리즈는 기존 문헌이나 그들 자신의 초기 제안과 비교했을 때 일관되거나 개선된 실제적 인과관계 이론을 제공하지 못한다고 주장한다.