조동사는 의미를 미묘하게 바꿉니다. 논리적으로 불가능하다 — 'He ___ be at home; 차가 없다' — 에 맞는 것은?

"Can't"가 맞습니다. 이는 증거에 근거한 논리적 불가능성, 즉 추론을 표현하기 때문입니다. 차가 없어졌다는 것이 그가 집에 없다는 증거인 셈이죠. 누구도 그가 나가는 걸 직접 본 건 아니지만요. 영어의 조동사 "can't", "must", "might" 등은 화자가 규칙이나 허가를 설명하는 것을 넘어, 어떤 결론에 대해 얼마나 확신하는지를 정확히 신호로 전달하게 해줍니다.

"Mustn't"는 금지를 표현하는 말로, 무언가가 허용되지 않는다는 뜻이라 누군가의 위치에 대한 추론에는 맞지 않습니다. "Shouldn't"는 조언이나 마땅히 그래야 할 기대를 표현하는 말로, 역시 이 문장이 담고 있는 논리적·증거 기반 추론과는 맞지 않습니다.

같은 조동사 체계 덕분에 화자는 거의 동일한 문법을 이용해 "he must be home(그는 분명 집에 있을 것이다, 강한 추론)"과 "he can't be home(그는 집에 있을 리 없다, 강한 반대 추론)"을 구분할 수 있습니다. 원어민은 본능적으로 다루지만 학습자에게는 실제로 공부가 필요한 미묘한 지점입니다.