스위치를 켜지 않았는데, 켰다면 알람이 울렸다고 말할 수 있을까요?

현재 장치의 스위치는 꺼져 있고 배터리는 충전되어 있으며 알람은 조용합니다. 여기서 '스위치를 켰다면 알람이 울렸을 것이다'라고 물으면, 관찰된 소리만으로 답하기 어렵습니다. 실제로 스위치를 켜지 않았기 때문입니다.

스톨네이커는 조건문의 진리값을 현재 상태의 두 문장만으로 계산할 수 있는지 따집니다. 편집부의 스위치 사례는 원문 속 예시가 아니라 조건문의 평가 방식을 설명하기 위한 모형입니다.

A를 '스위치 켜짐', B를 '알람 울림'이라고 정합니다. 실제 세계 w₀에서 A는 거짓이고 B도 거짓입니다. 고전 논리의 물질함의 A→B는 선행사 A가 거짓일 때 참으로 계산됩니다.

그러나 'A였더라면 B였을 것'은 실제로 A가 거짓이었다는 사실만으로 평가할 수 없습니다. 어떤 A-상황을 비교해야 할지 먼저 정해야 합니다. 두 조건문의 평가 규칙을 한 칸에 섞으면 질문이 바뀝니다.

모형에 w₀, w₁, w₂ 세 상태를 둡니다. w₀는 꺼짐·배터리 충전·알람 무음이고, w₁은 켜짐·배터리 충전·알람 울림이며, w₂는 켜짐·배터리 방전·알람 무음입니다. w₁과 w₂는 모두 A가 참인 후보입니다.

배터리 상태까지 바뀌는 w₂와 스위치만 바뀌는 w₁ 가운데 어느 쪽이 현재 상황을 더 잘 보존하는지가 조건문 평가의 핵심입니다. 이 상태 세 개는 편집부가 만든 유한 모형입니다.

스톨네이커는 출발 세계 w에서 A를 참으로 만드는 세계 하나를 고르는 선택함수 f(A,w)를 사용합니다. 편집부 모형에서는 A가 스위치 켜짐이므로 후보가 w₁과 w₂입니다.

배터리를 비롯한 다른 사정을 되도록 유지한다는 비교 기준을 임시로 적용하면 f(A,w₀)=w₁로 정할 수 있습니다. 선택 기준 자체는 논리식이 자동 계산해 주는 거리 공식이 아닙니다.

선택함수가 w₁을 돌려주었다면, 그곳에서 B의 진리값을 확인합니다. w₁의 알람은 울리므로 B는 참입니다. 따라서 이 모형과 이 선택함수 아래에서는 A>B가 참입니다.

추론은 'A를 가정한다 → 선택 기준으로 w₁을 고른다 → w₁에서 B를 확인한다 → 이 모형에서 A>B를 참으로 판정한다'의 네 단계입니다. 버튼을 눌러도 실제 전자장치를 실험하는 것은 아닙니다.

w₀에서는 A가 거짓이므로 물질함의 A→B와 A→¬B가 모두 참입니다. 이는 고전적 진리표의 계산이며 모순된 물리적 예측 두 개가 검증되었다는 의미는 아닙니다.

선택함수 조건문은 다릅니다. 같은 w₁이 선택된다면 B가 참이고 ¬B가 거짓이므로 A>B는 참, A>¬B는 거짓입니다. 실제 선행사의 거짓만으로 둘을 함께 참으로 만들지 않습니다.

원전은 선택된 세계가 A를 만족해야 하고, 실제 세계가 이미 A를 만족한다면 그 실제 세계를 선택한다는 등의 형식 조건을 제시합니다. 가능 세계를 고르는 기준이 완전히 임의적이라면 동일한 조건문이 서로 어긋난 방식으로 판정됩니다.

특히 현재 세계가 A-세계라면 f(A,w)=w가 되도록 하는 조건은 실제로 참인 가정에서 실제 세계를 그대로 평가하게 만듭니다. 이는 '항상 현재 세계를 선택하라'는 말과 다릅니다.

편집부가 출발 상황을 바꿔 실제 배터리가 방전되어 있다고 정하면, 스위치만 켠 가정 세계는 w₂에 가까워질 수 있습니다. 이때 선택함수와 현재 상태의 평가 기준을 다시 정해야 합니다.

w₂에서는 알람이 울리지 않으므로 같은 '스위치를 켰다면'이라는 문장에도 B의 진리값이 달라집니다. 이 비교는 전제의 변화가 결론에 어떻게 들어오는지 보여 주며, 모든 실제 회로에 대한 인과법칙을 도출한 것은 아닙니다.

이 글의 모형에서 스위치 변화 한 가지를 우선하는 까닭은 질문과 관계없는 배터리 조건을 유지하기 위해서입니다. 실제 상황에서는 고장 이력·연결 회로·환경이 어떤 변경을 허용하는지도 관련됩니다.

원전은 가능한 세계의 적절한 선택이라는 논리적 조건과, 어떤 상황을 적절한 비교 대상으로 삼을지의 화용론적 문제를 구분합니다. 여기에는 유일하게 보편적인 킬로미터식 거리 계산이 들어 있지 않습니다.

w₁에서는 스위치가 이미 켜져 있고 알람이 울립니다. 원전의 선택함수 조건에 따라 f(A,w₁)=w₁입니다. 그곳에서 B도 참이므로 조건문 A>B는 참입니다.

이 규칙은 현재 사실과 반사실 비교가 만나는 경계입니다. 그러나 w₀에서의 선택 결과까지 w₁에서의 기준과 같다고 가정해서는 안 됩니다. 기준 세계가 달라지면 함수의 두 번째 인자가 달라집니다.

원전의 체계에는 선행사 A가 가능한 범위 안에서 충족되지 않는 경우를 다루는 특수한 불가능 세계 표기가 등장합니다. 이때는 일상적 실험에서 '가장 가까운 장치'를 실제로 찾았다는 뜻이 아닙니다.

우리의 세 세계에는 A를 만족하는 w₁과 w₂가 있으므로 이 예에서 해당 특수 처리에 기대지 않습니다. 가능한 후보가 있는 모형과 없는 모형을 섞지 않는 것이 조건문 해석의 기본입니다.

'A였더라면 B였을 것'과 'B였더라면 C였을 것'을 알더라도 곧바로 'A였더라면 C였을 것'이라고 일반화할 수는 없습니다. 각 조건문의 선택 기준이 서로 다른 출발 세계와 선행사에 따라 움직이기 때문입니다.

스톨네이커의 논리 체계는 물질함의의 일부 추론 습관을 조건문에 기계적으로 옮기지 않도록 설계되어 있습니다. 이 글의 유한 스위치 예만으로 일반 부정 결과를 증명했다고 주장하지 않습니다.

원문은 선택함수 의미론의 조건을 설명하고, 그 의미론과 연결되는 공리 체계 C2의 연결사를 다룹니다. 오늘날의 기호 A>B는 앞의 가능 세계 평가를 간단히 적기 위한 표기입니다.

논문은 조건문을 일반 물질함의와 같은 진리함수로 취급할 때 놓치는 구조를 형식적으로 제시합니다. 편집부가 만든 스위치·배터리 표의 세 칸은 그 구조를 설명하는 특정 모형이지 체계 전체의 완전성 증명은 아닙니다.

실제로 스위치를 켠 다음 알람이 울리는지 관찰할 수 있습니다. 그 기록은 장치의 거동에 관한 자료입니다. 하지만 특정 상황에서 스위치를 켰더라면 어떤 일이 일어났을지에 대한 해석에는 비교할 조건을 어떻게 고를지가 함께 들어갑니다.

원문은 가정 세계에 관한 지식이 실제 관찰과 어떻게 이어지는가라는 인식론적 문제를 별도로 제기합니다. 우리의 버튼은 지정한 모형 내부의 평가를 재현할 뿐 실제 장치의 신뢰성이나 실험적 인과 효과를 측정하지 않습니다.

먼저 선행사 A와 결론 B를 구분하고, 현재 세계의 사실을 적습니다. 다음에는 A를 참으로 만드는 대안들이 무엇인지, 그중 하나를 선택하는 기준이 무엇인지 논의합니다. 마지막으로 그 대안에서 B의 참·거짓을 판단합니다.

이 네 단계 가운데 하나라도 바꾸었다면 결과도 다시 계산합니다. 토론에서 선택 기준이 합의되지 않았다면 '판정 불일치'라고 적는 것이 정확합니다. 편집부는 논문의 의미론을 배워 보도록 단순화했으며 원전의 여러 쟁점을 한 기계로 판정한다고 주장하지 않습니다.