한 장면에서 들어갈 수 있으면, 모든 장면에서 반드시 들어갈까?

1. ‘가능’은 한 장면, ‘반드시’는 모든 장면을 본다

현재 단서와 모순되지 않는 장면 중 하나라도 입장이 성립하면 ‘입장할 수 있다’는 가능 결론이 맞습니다. 출발값에서는 배지만 있음, 안내자만 있음, 둘 다 있음의 세 장면이 이를 보여 줍니다.

‘반드시 입장한다’는 결론은 현재 단서와 맞는 모든 장면에서 입장이 성립해야 합니다. 배지도 안내자도 없는 장면 하나가 남으므로 출발값의 필연 결론은 틀립니다.

2. 오답이 건너뛴 양화 범위를 반례로 표시한다

잘못된 풀이는 ‘적어도 한 장면에서’와 ‘모든 장면에서’를 같은 것으로 바꿉니다. 반례는 전제를 지키면서 결론이 실패하는 장면이어야 하므로, 현재 단서와 모순되는 장면을 들면 안 됩니다.

배지를 실제로 보았다는 단서를 추가하고 규칙이 ‘배지 또는 안내자’라면 남는 모든 장면에 배지가 있습니다. 이 제한된 조건에서는 필연 결론이 성립합니다. 결론이 바뀐 이유는 확률이 높아져서가 아니라 가능한 장면 집합이 줄었기 때문입니다.

3. 양상논리의 가능·필연 구분을 교육용 장면에 적용한다

Stanford Encyclopedia of Philosophy의 양상논리 해설은 ‘필연적으로’와 ‘가능하게’를 구분하고, 가능 연산자가 어떤 사례의 존재를 나타내는 존재 양화와, 필연 연산자가 모든 사례를 요구하는 보편 양화와 닮았다고 설명합니다.

이 글은 특정 양상논리 체계를 완전히 형식화하지 않습니다. 가능한 장면을 유한한 네 조합으로 제한한 LTCT 자체 모형에서 ‘하나’와 ‘모두’를 구분하는 입문 연습만 제공합니다.

참고: Stanford Encyclopedia of Philosophy · Modal Logic

4. 실제 문학 해석에서는 가능한 장면을 마음대로 만들지 않는다

소설을 읽을 때 가능한 장면은 원문 단서, 서술 시점, 세계의 규칙과 모순되지 않아야 합니다. 근거 없이 새로운 인물이나 장치를 더해 만든 장면은 정당한 반례가 아닙니다.

‘반드시’, ‘언제나’, ‘어쩌면’, ‘일 수 있다’가 등장하면 그 표현이 어떤 조건 집합을 가리키는지 먼저 정합니다. 실제 법적·안전 판단에서는 이 간단한 네 장면 모형만으로 결론 내리지 않습니다.