Yahoo!¥¸¥ª¥·¥Æ¥£¡¼¥º ソール・クリプキ『名指しと必然性』 - logical cypher scape クリプキ『名指しと必然性』 - うつし世はゆめ / 夜のゆめもゆめ http://www.aoni.waseda.jp/hhirao/logic/no16.htm "Reductive Theories of Modality" (Ted Sider) (4) - …