现代模态逻辑是克拉伦斯·欧文·刘易斯(Clarence Ivring Lewis)二十世纪初创立的。在他建立S1—S5五个模态系统之后,如何确立模态逻辑的语义学以及其合法性,一直是当代模态逻辑学家们力图解决的问题。二十世纪五、六十年代,克里普克等人创立可能世界语义学之后,模态逻辑的地位和价值才逐渐得到学界的认可。在这之后,模态哲学家们逐渐加入对可能世界这个概念的研究队伍,并提出了一些竞争性理论,大卫·刘易斯的模态实在论就是其中之一。在这些理论的竞争中,模态实在论因为不符合直观而被众多学者批评,处于不利的竞争地位,但迄今乃保持着顽强的生命力。本文试图表明,以往对刘易斯的模态实在论的批评,在很大程度上源于对其模态哲学思想的误视与错解,也与其理论表达上的特点与缺陷相关。通过正本清渊阳比较分析,系统而融贯地把握刘易斯的模态哲学思想,可以凸显出其优于其他模态哲学理论的合理之处,从而发挥其应有的解题功能。刘易斯的模态哲学思想主要是其模态实在论。模态实在论主要由三个部分构成：可能世界理论、对应体理论和归结主义方法。此外,刘易斯的模态哲学思想还包含了其对反事实条件句的分析,是前者的应用理论。因而,本文主体部分分为以下五章：第一章介绍模态逻辑的发展历史和研究背景,指出模态哲学研究的价值,并对刘易斯的模态哲学思想进行了简要评述,对本文的研究方法和创新给予说明。第二章是对刘易斯的可能世界理论的研究。在可能世界理论中,刘易斯认为可能世界是实在的,是不可归结的,它们就如同现实世界一样是实在的。在实在性的种类上,可能世界与现实世界是没有区别的刘易斯认为可能世界具有四个特征：孤立性、具体性、充裕性和现实性。而正是因为这些特征,使得模态实在论被称为极端模态实在论,因而遭到了很多的批判。根据对刘易斯使用的这些概念的分析,本文表明刘易斯所理解的这些概念并不完全是通常意义上的使用,尤其是实在、现实与具体等概念。实在是一种存在,是相对于规律或事实的存在,主要可以分为三个层次：实际的存在,相对于现实规律的现实可能的实在以及相对于逻辑规律的逻辑可能的实在。这些层次的区分并不能否认实在的质上的共同性,可能世界与现实世界在实在的质上是没有差别的。“现实的”可以做两种理解,一种是逻辑可能意义上的实在,另一种是站在现实角度的可现实性,表达了一种相对于现实规律的现实可能性。而“具体的”并不以在现实世界中存在为前提,非现实存在也可以是具体的。而且,站在现实世界中的主体的立场上来理解,模态实在论所表示的就是一种现实可能性,而可能世界的实在性也是不可否认的。第三章是对刘易斯的对应体理论的研究。在关于个体的跨界问题上,刘易斯认为不存在个体跨界的可能,更不存在跨界同一问题,他主张以对应体关系来代替跨界同一。对应体关系不是同一关系,也不是一一对应关系,而是一种相似关系,而且外在的相似性占有重要的权重。刘易斯主张对应体关系,是因为两个原因：一是与可能世界的特征相关。可能世界都是实在的,孤立的,因而,作为可能世界中的个体,都是限界个体,并且都是具体的。承认跨界同一,必定带来理论上的冲突。二是对莱布尼兹同一物不可辨别性原理的坚持。不同世界中的个体必定具有不同的属性,若主张跨界同一,必定违反同一物不可辨别性原理。在此基础上,刘易斯构建了对应体逻辑系统,并从解释力上对对应体理论的优势进行了论述。本文认为,关于这个问题的争辩双方都存在对同一物不可辨别性原理的误用,同一物不可辨别性原理本来就不适用于跨界个体。对应体关系取代跨界同一,是可能世界理论的要求。面对对应体关系所受到的批评,本文表明,从认识论和对模态命题的断定来看,对应体关系体现了一种对模态的认识。结合对应体关系的相似标准,尤其是外在的相似在确定对应体关系中的作用,对应体关系体现了一种情境的相似性。第四章是对刘易斯的归结主义方法的研究。在唯名论思想的背景下,刘易斯主张如命题、属性等概念都可以通过可能世界与个体以及集合归结性地表示出来。在对这些概念归结性解释时,刘易斯提出了一个标准,那就是它们所发挥的作用,而不是它们的完全等同。本文认为,仅仅在它们所发挥的作用上,尤其是在模态论述上,把命题、属性等概念归结性地解释为个体的集合,从真的角度来看,是合理的。但如果把归结的双方完全等同,那么这种归结方法是难以接受的。第五章是对刘易斯反事实理论的分析。反事实理论是刘易斯使用可能世界语义学以及模态实在论对反事实条件句进行分析的结果。刘易斯首先认为,反事实蕴涵是一个严格蕴涵,但不同于一般的是,反事实蕴涵在不同的前提下,它的严格性会发生变化。本文通过分析认为,反事实蕴涵作为一种可变的严格蕴涵,它的可变性体现在它所可及的世界的多少的变化。之所以有这种可及世界的多少的变化,在于反事实蕴涵的可及关系不仅仅与规律相关,也与前提条件与背景相关,而正是前提条件与背景的变化,导致了可及世界的变化,也使得反事实蕴涵的严格性发生了改变。对反事实条件句的判断,就在于对与之相似的可能世界或情境中命题的真假的判断。而对相似的可能世界与情境的考察正是对模态实在论及可能世界语义学的使用。刘易斯反事实分析的成功也体现了可能世界语义学与模态实在论在分析实际问题中的合理性。通过对模态实在论以及反事实理论的研究,本文认为,刘易斯的模态实在论并不极端,也并非如同以往学界批判的那样荒谬。作为一个对可能世界的解释理论,模态实在论的价值主要体现在对模态问题的认识上。而且,在表达可能性的平权方面以及模态命题的断定上,模态实在论比温和实在论更有说服力。