刘易斯的严格蕴涵理论是现代模态逻辑的实质性起点，在现代模态逻辑的创立和发展过程中发挥了非常重要的作用。但是对刘易斯严格蕴涵理论的细节和发展脉络一直都缺乏系统的研究，刘易斯严格蕴涵理论及其相关问题值得进行系统的研究。
　　本文对刘易斯严格蕴涵理论的论述分为三个方面的内容:
　　第一，论述刘易斯对严格蕴涵概念的定义和解释。论文不仅对刘易斯严格蕴涵思想的先驱——麦柯尔严格蕴涵思想进行介绍，还将阐述刘易斯对罗素的实质蕴涵以及由此所产生的“蕴涵怪论”进行理论分析和批判的基本内容，同时对刘易斯从内涵角度理解蕴涵概念予以论述。
　　第二，论文对刘易斯关于严格蕴涵演算的两部重要论著给予全面的解读，以期望从中获取更多的关于刘易斯严格蕴涵理论之精要，从而为充分研究他的严格蕴涵理论奠定深厚的材料基础;另外，本文在对刘易斯的严格蕴涵系统与罗素的实质蕴涵系统进行对比中发现，刘易斯严格蕴涵系统的建构是以实质蕴涵系统为基础，并对其进行相应的修改。刘易斯为了克服实质蕴涵的理论缺陷，在严格性和直观性的原则的指导下，他专意引进“必然”、“可能”等模态算子来定义“严格蕴涵”，并以严格蕴涵为初始概念构建了著名的严格蕴涵演算系统。
　　第三，论文还从逻辑史的角度论述了蕴涵理论的演进轨迹，概括了从莱布尼兹、布尔等思想家开始的逻辑代数思想的发展线索。本论文研究表明，刘易斯对逻辑代数理论的研究和应用使其对逻辑学产生了浓厚的兴趣，他在分析和批判实质蕴涵怪论的基础上提出严格蕴涵概念，逻辑代数也因此成为刘易斯进行逻辑形式化分析的工具。
　　最后，本论文还从哲学的角度，重新审视了刘易斯严格蕴涵理论及其对后世所带来的理论影响，并对之作出前瞻性的逻辑思考。