探究克里普克的时间与思想之谜.docVIP

探究克里普克的时间与思想之谜 　　1 引言 　　本文讨论的是克里普克的“时间与思想之谜”(下文简称“克里普克悖论”)。虽然从上世纪60 年代起克里普克就开始思考这一悖论，但其正式发表却大大推迟了。2011 年，克里普克论文集《哲学困扰》出版，该论文集的第十三章为“时间与思想之谜”，克里普克悖论即得名于此。由于该文集出版时间尚短，目前还未产生广泛的影响，但克里普克悖论本身所触及的问题却值得我们重视。克里普克悖论同卡普兰反对可能世界语义学的另一个悖论有着深刻的内在联系，因此该悖论在某种意义上也可以看成是克里普克针对卡普兰的批评而对可能世界语义学所做的辩护①。正如克里普克所言：“无论人们如何看待卡普兰的悖论，我认为他都应该在当前悖论的启示下来考虑。” 　　2 克里普克悖论 　　克里普克对“时间与思想之谜”的表述非常简短：假设在某个时刻我思考时间点(简称为时间)的集合S。比如，我可以思考电视没被人知道的所有时间的集合，星级旅行成为日常事务的所有时间的集合，等等。注意，我不需要知道问题中的集合是不是空集---我只需要通过用作定义的性质就能思考它。但是，这有一个问题：假设我在某个时间t0 思考集合S0，而S0 包含所有如下的时间t，在t 时我思考St，而且t 不属于St。用传统的符号表示为：S0={t| St 存在amp; t埸St}。现在，我在时间t0 思考S0。t0 属于还是不属于S0 呢?读者可以自己补充该悖论的结果。②(Kripke2011，373)我们可以将悖论推导过程补充如下：如果t0 属于S0，那么t0 满足S0 的定义条件，故t0 不属于S0;而如果t0 不属于S0，那么t0 同样满足S0 的定义条件，故t0 属于S0。t0 属于S0 当且仅当t0 不属于S0，悖论! 　　3 相关谜题 　　3.1 与罗素悖论的对比 　　初看起来，克里普克悖论非常类似于著名的罗素悖论：利用到某种造集规则造出一个集合，然后问某个元素是不是某集合的元素。而悖论之处则在于：该元素属于该集合当且仅当该元素不属于该集合。罗素悖论所利用的造集规则就是素朴集合论中的概括原则：任给一个性质phi;，存在集合S，使得S={x|phi;(x)}。换言之，概括原则说的是，任意的性质都可以定义一个集合，其元素恰好是具有该性质的那些元素。而罗素悖论正是利用了这样的概括原则和一个特别的性质“不属于自身”---x埸x，构造了集合 S={x|x埸x}。而最后的问题是，S 是否属于S?其悖谬之处在于，Sisin;S 当且仅当S埸S。换言之，由所有不属于自身的元素构成的集合属于自身当且仅当不属于自身。 　　克里普克悖论显然也具有类似的特征，利用某个性质来定义集合，然后问某元素是不是该集合的元素。先看其利用到的性质：存在St amp; t埸St。克里普克并没有直接问集合S0 是否具有这样的性质。而是在S0 的定义条件中包含St 存在，当t=t0 时，相应地，St=S0。问题在于，S0 是否存在呢?这里可以看出克里普克悖论和罗素悖论的类似之处，两者都依赖于集合存在的假定。而对罗素悖论的解决方案，无论是分支类型论或公理集合论，都直接或间接地拒斥集合S 的存在性。假如克里普克悖论中的集合S0 也不存在，那么t0 之所以不属于S0 是因为集合S0 不存在，或者因为S0 不存在，也就无所谓t0 是属于还是不属于S0，那么，克里普克悖论就可以得到一种自然的消解。 　　但是，克里普克悖论与罗素悖论中的集合存在性并不一样。罗素集合S 的存在性由素朴集合论中的概括原则保证，所以公理集合论的方案可以通过拒斥概括原则来排除罗素悖论;而克里普克集合S0 的存在性由什么保证呢?克里普克本人及其评论者杜米特鲁(Dumitru 2012)都认为其只依赖于分离公理，而不依赖于概括原则(两人的表述大同小异，这里只引克里普克)： 　　与罗素悖论不同的是，谓词“我思考(时间的)集合S”是有意义的，这里没有任何东西与传统的策梅洛集合论或更强的如ZF 的理论不相容。我们处理的只是所有时间的集合的一个子集，而这通过分离公理就可以定义。(Kripke 2011，373)要利用分离公理来保证S0 的存在性，还有两个细节性的问题需要应对：第一，所选取的性质本身是不是分离公理的一个实例?正如克里普克在一个脚注(Kripke 2011，373)中所说：在策梅洛的公理集合论中，分离公理中的性质只限那些在集合论语言中一阶可定义的性质。而克里普克认为策梅洛的意图是希望用分离公理来说任何“限定的性质”都可以用来定义一个给定集合的子集。于是，只要将集合论的语言扩充到足以表达悖论中使用到的性质(某人在某个时间思考某个时间集合)，就可以在扩充后的语言中利用分离