※ 引述《A1Yoshi (好想做爱（♀）)》之铭言： : ※ 引述《realove (realove)》之铭言： : : 想请问一下 : : kripke的rigid designator : : 与russell的definite description : : 两者有何相似与不同哩? : : 有高手可以解答一下吗 谢谢罗.. : 相同处：都在处理NPs (noun phrases)。 : 相异处：从Frege开始，大家普遍接受NPs可以分为两大类 -- : 一类是Name，比方说妖西，一类则是量词 (quantification)，比方说 : 某一个、某几个、全部 (someone)。 : Frege把"the"开头的名词片语放在Name这个类别下，而罗素的贡献可以说就是把"the" : 开头的名词片语，透过他发明的分析方式，改放在量词这类别下。也就是说，他纠正 : 了Frege，认为Frege的分类是错的。 : 因此确定描述词理论可说是处理某一类量词（确定描述词）的理论，而Kripke，在这 : 分类下可说是处理Name的理论，比方说water。 语言哲学我不专业，只能稍微提供一点点协助。 不过罗素的摹状词理论（或描述词理论）确实一开始是拿来处理量词， 因为在传统的语意理论中，确定描述词被当成单称词（singular term） 来处理，同时是透过指涉理论来处理单称词，因此Frege提出了四个指涉 理论所必须面对的困难（如果有人有兴趣我再贴上来）。 罗素是为了解决Frege的困难而提出了摹状词理论，简单来说，就是把所 有确定描述词的主谓格形式的语句通通改写成他所认为的真正的逻辑形 式（学过量词逻辑的人应该都知道Frege跟罗素对确定描述词的符示法是 不太一样的），透过这个确定描述词的真正逻辑形式的揭发，来解决前 述的四个指涉理论的困难。也就是说，指涉理论被罗素用摹状词理论来 取代，单称词的意义从指涉意义变成了描述意义。 同时，专名（proper name）在摹状词理论中也被一个或一组特定或不特 定的确定描述词来取代。而Kripke则是对罗素的这个动作很不满意，才 又发展了一个严格指称词（rigid designator）的概念来说明专名的意 义。（当然是因为罗素用摹状词理论来处理专名的意义会有很多严重的 问题） ---- 所以罗素并不是只处理量词（如确定描述词），而是把专名甚至类名都 改写成描述词，而Kripke不同意这种改写的方法。 严格指称词，顾名思义，就是严格地只能用来指涉对象的语词，所有的 专名都是指称某个独特的对象（object），而该对象究竟拥有什麽属性 并不是这个专名所能决定的。简单来说，对罗素而言，「亚里斯多德」 这个专名的意义可能包括了「逻辑的创始人」，因此「亚里斯多德写了 《形上学》一书」的意义就会等同於「逻辑的创始人写了《形上学》一 书」，而根据罗素的改写法，就会是「至少有一个人是逻辑的创始人； 至多只有一个人是逻辑的创始人；如果有人是逻辑的创始人，他就写了 《形上学》一书」。然而当这套处理法要套用到模态语句的时候就会出 现问题，例如「以下事情是可能的：亚里斯多德不是逻辑的创始人」这 个命题，如果要被改写，就会被写成「以下事情是可能的：至少有一个 人是逻辑的创始人；至多只有一个人是逻辑的创始人；如果有人是逻辑 的创始人，他就不是逻辑的创始人」，原命题显然是真的，但被罗素的 理论改写後的命题显然是假的。这是罗素的专名理论的严重问题。 因此Kripke把专名的意义回归到严格指称的意义，来构作他的可能世界 的形上学立场。也就是说，「亚里斯多德」仍旧只是一个仅具有指涉意 义的专名，它就是单纯地指涉到一个不内具任何属性（property）的对 象，除了某些做为这个专名所属的对象所必须拥有的「本质属性」 （essential properties），因此，亚里斯多德这个个体在现实世界确 实是逻辑的创始人，也写了《形上学》一书，同时是柏拉图的学生，但 他也可能不是逻辑的创始人，可以没有写过任何书，也可能根本没有学 过哲学，而至於「亚里斯多德」这个专名是如何连结到被称做「亚里斯 多德」的这个个体上，则会牵涉到他的因果历史理论（Causal-Historical Theory），一个专名和一个个体之间的连结仅仅是透过一个命名仪式来 建立的，当然，从这个命名仪式到这个名字目前被使用的情况下如果发 生任何事情「导致」这个专名所指涉的对象被改变了，这个改变的因果 状态也要被考虑进来，因此像是「马达加斯加」原本是个非洲内陆的部 落名，後来却被马可波罗误传为非洲东南角的大岛，就使得「马达加斯 加」这个专名所指涉的对象从一个部落变成一座大岛。 当然，Kripke的理论中最具争议性的是他关於可能世界的形上学，以及 他透过这个可能世界的形上学所界定的「本质」概念，并把严格指称词 从专名扩展到所谓的自然辞项（natural term）上面，例如他对「水」 的意义的讨论（也就是Putnam的孪生地球的论证）。究竟哪些属性是本 质的（必然的），哪些属性则是适然的，我们如何可能在严格指称词的 理论下理解所谓的「必然属性」（毕竟在此理论下，专名不具有任何描 述意义）我想都是可以讨论的。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.228.241.166 ※ 编辑: IsaacStein 来自: 61.228.241.166 (10/12 22:48)