可能世界論
そして、我々が量化している可能世界とは、この現実世界が「存在する」のと同様の意味で存在している、実在的かつ具体的な世界にほかならないとした。そうした諸可能世界は、我々の現実世界との間にいかなる空間的・時間的・因果的関係も持たないという点で現実世界から区別されるにすぎないのである。ルイスによれば、現実世界が持っている特別な性質というのは唯一、関係的なものでしかない。つまり、「我々が」そこに住んでいる、という性質である。即ち「現実に」は、「私」や「今」といった概念と同じように指標的なものにすぎない、ということになる。
一方、ロバート・アダムズやウィリアム・ライカンは、ルイスによる描像は形而上学的に突飛に過ぎるとして拒絶し、可能世界を、世界についての無矛盾で最大限詳細な記述ないし命題の集合であるとする。この解釈では、可能世界は「あるあり方をした世界」ではなく、「世界がそのようでありうるようなあり方の記述」であることになる。この立場や、アルヴィン・プランティンガやピーター・フォレストによる類似した議論を、ルイスは「代替様相実在論」と呼び、そのような立場は可能世界意味論の御利益を「安く買い叩こうとする」ものであり、究極的には適切な説明に失敗する、と反論している。クリプキは著書『名指しと必然性』のなかでルイスの可能世界意味論の使用に対してオープンな議論を行い、可能世界を純粋に形式的・論理的な存在物とする規約的な見方を擁護し、可能世界を現実に存在する世界とする議論や、命題や記述の集合とみる見方を退けている。