20世纪随着现代形式逻辑的诞生，哲学领域发生了语言学转向,意义问题成为哲学领域研究的核心问题。意义理论的先驱弗雷格开创了基于现代形式逻辑对语句真的分析来澄清语句意义的

随着计算机与信息技术的迅猛发展，计算机与信息技术的哲学研究开始结出丰硕成果，影响也日益广泛。它一方面使一些传统哲学论题获得新生，另一方面又向我们提出了许多新的问题

1引言本文讨论的是克里普克的时间与思想之谜（下文简称克里普克悖论）。虽然从上世纪60年代起克里普克就开始思考这一悖论，但其正式发表却大大推迟了.2011年，克里普克论文集《哲