同一性问题在哲学上有着悠久的历史,它的相关问题有很多学者进行了深入的研究。哲学中的同一性问题作为普遍公认的预设,存在于诸多问题的解答过程中,深入了解同一性问题,有助于把握形式逻辑和辩证逻辑的关系,并且能够为社会学、伦理学、心理学、法学甚至物理学、数学等诸多学科提供理论依据和帮助。克里普克的必然同一性理论,作为其中的一个代表,有着自身相对完整的理论体系。本文主要运用文献研究法和比较研究法,在梳理有关同一性问题的概念、逻辑表达和对象及分类等基本观点的基础上,重点研究克里普克必然同一性理论体系的建构,并阐述了与之相关的可能世界语义学、新型真理理论划分、严格指示词理论以及本质主义观点。通过对克里普克必然同一理论的探讨,不仅可以厘清他的理论体系间的联系,而且可以发现,有关同一性的很多问题是无法回避的。同一性问题的产生和认识主体认识事物、思考事物的思维习惯有关,不同的同一性类型反映了人类思维的不同方面,或者说不同的认识需要。作为较为完整的理论体系,克里普克必然同一性理论的提出,有助于解决跨时同一性和跨界同一性等困惑,有着理论本身的优势,但同时,他在逐步建立理论的过程中,也有一些自相矛盾或不完善、不彻底之处,需要学者们对其理论进一步进行挖掘。