克里普克是著名的逻辑学家和哲学家,他提出的历史的因果命名理论是与以弗雷格和罗素为代表的传统的名称理论相反的名称理论。传统的名称理论认为,名称既有含义也有指称,并且名称的指称都与一个或一簇摹状词有关,只要对象能够满足摹状词所描述的特性,我们就可以决定名称的指称对象。克里普克则认为,名称只有指称而没有含义,并且名称的指称与社会历史因素有关。通过对康德的有关分析命题和综合命题的划分观点进行研究,克里普克认为,康德以来的传统观点,即分析命题都是必然的和先验的,综合命题都是偶然的和后验的,是对康德的错误发展。他认为,从逻辑上看,“先验的”和“必然的”是两个不同的哲学概念,“先验的”是隶属于认识论的哲学概念,而“必然的”是隶属于形而上学的哲学概念,必然命题既可能是先验的,也可能是后验的,偶然命题既可能是后验的,也可能是先验的。由于克里普克名称理论提出了许多新观点、新思想,并且推翻了以弗雷格和罗素为代表的传统名称理论的统治地位,因此,克里普克的名称理论对语言哲学和逻辑哲学都产生了巨大的影响,研究他的理论,不仅有利于我们进一步对克里普克名称理论深刻内涵的准确把握,而且有利于我们把它与传统名称理论之间的关系梳理清楚。可见,研究克里普克名称理论具有一定的理论意义。