1. 이 논의는 직관적이라기보다는 꽤 기교적인 것이지만, 가능세계론의 틀 인에서 고정지시사(rigid designator) 사이의 동일성 언명은 필연적인 것이어야 한다는 전제에 선 다음에 신경현상과 통증으로 대표되듯이 우리가 가진 심적인 감각 사이의 동일성 언명(이른바 동일설)을 비판했다.