大卫·刘易斯（David Kellogg Lewis，1941－2001）被认为是20世纪后半叶最为重要的分析哲学家之一，他论域极广，在逻辑学、形而上学、认识论、语言哲学、逻辑哲学、心灵哲学、数学哲学等诸多领域都做出了重要贡献，在西方引起了大量的讨论。他最为人熟悉、最富有争议的学说是其“极端的”模态实在论的观点，目前国内对大卫?刘易斯思想的介绍多集中在这一点，但并不深入，对其哲学思想也缺少系统的介绍和研究。刘易斯在逻辑学上的主要贡献是对反事实条件句的系统的逻辑分析，条件句逻辑是重要的哲学逻辑分支，目前国外研究十分兴盛，刘易斯给出的形式语义因技术上的优越性为研究者们广为采纳。本书的研究思路是在系统介绍大卫?刘易斯哲学思想面貌的基础上，将其整个哲学思想理解为系统哲学和休谟式的随附主义，以其在逻辑哲学领域的工作为研究的重心，以反事实条件句理论和模态实在论的研究为主线，从技术上和哲学理念上清晰刻画其反事实条件句理论，阐述其模态实在论的学说，对其模态实在论持有保留的同情的立场，表明了反事实条件句理论在技术上的优越性以及模态实在论对于其系统哲学的基础作用。最后的结论是，虽然模态实在论和对应体理论有不符合直观的地方，受到多方指责，但是通过对刘易斯文本的细致解读，我们发现有些指责是对刘易斯的误读，模态实在论在其系统哲学的建构中确实具有统摄作用，这是刘易斯常诉诸的回应理由，也是我们评价刘易斯理论时考虑的重要参考指标。