デイヴィド・ルイス
1973年ルイスは、『反事実的条件法』"Counterfactuals"を発表。可能世界論を利用しながら反事実的条件文を分析した。これは「対応者理論と量化様相論理」'Counterpart Theory and Quantified Modal Logic' (1968)、「アンセルムスと現実性」'Anselm and Actuality' (1970)、「対応者とその身体」'Counterparts of Persons and their Bodies' (1971)を発展させたものである。ルイスは様相実在論を文字通りの意味で理解するよう促していたが、あまり受け入れられなかった。この理論の骨子は、時空的にも因果的にも独立した無数の世界が存在し、それぞれの世界は我々の世界と同様に本物であるが、我々の世界とは何らかの違いがあり、さらに反事実的条件文のうちの特定のものを真とし、それ以外を偽とするものが何であるかを説明するために我々の世界内の対象について言及することが必要である、というものであった。人々はこの考えに対して「ぽかーんとした」'blank stare'とルイスは述べている。ルイスは彼の『世界の複数性について』"On the Plurality of Worlds"(1986)において、自身の考えは少しも極端ではないと様相実在論を擁護し詳しく解説した。彼自身、この考え方が常識に反しているということは認めているが、この方法を使用することの利点は不利点を補って余りあるものだと考えており、それゆえある程度の代償は払うべきだと考えるのである。
Philosophical Papers, Vol. II (1986) 反事実的条件法、因果性、決定理論に関する論考を含み、合理的信念に関する第一原理が推奨されている。序文では「ヒューム的スーパーヴィーニエンス」が論じられているが、これはルイスが自らの包括的哲学的プロジェクトに与えた名前である。
Papers in Philosophical Logic (1998);
Papers in Metaphysics and Epistemology (1999) 「Elusive Knowledge」、「Naming the Colours」を収録。どちらも、発表した年に「Philosopher's Annual」に選出された論文である。
Papers in Ethics and Social Philosophy (2000).
ルイスの単著『Parts of Classes』(1991年)は、数学基礎論に関する仕事で、圏論とペアノ算術のメレオロジーと複数量化への還元を素描したものである。刊行直後、ルイスは自分の論証が不満足だと思うようになったため、現在は絶版となっている(『Papers in Philosophical Logic』に収録されている論文「Mathematics in megethology」は、『Parts of Classes』の部分的要約・改訂版になっている)。