克里普克是美国著名的逻辑学家和哲学家,他在哲学界和逻辑学界的声誉和影响一部分来自于他所创立的模态逻辑语义学,还有一部分来自于他在名字与指称、命名的历史因果理论、先验性与必然性等问题上提出的一些新观点。克里普克从可能世界语义学出发,严格区分了专名与摹状词,他强调专名有指称但不具有某种规定其指称的意义或涵义,在此基础上克里普克提出了命名的历史因果理论,他认为专名是借助于某些与这个专名有关的历史因果链条去指称某个特定对象的,历史因果链条将一个对象和一个语言事件联系起来。克里普克的这一理论受到了英美哲学界和逻辑学界的广泛关注,也极大程度地动摇了弗雷格、罗素以及塞尔等人所主张的摹状词理论。本文以克里普克的专名理论为主要研究对象,一方面,试图通过对克里普克专名理论的背景研究从整体上把握专名理论的发展趋势;另一方面,希望通过对克里普克历史因果理论的阐述并在反思前人观点的基础上,对克里普克理论作出全面客观的评价和批判性理解。