逻辑学中的视图

逻辑学中的视图

克里普克的视图逻辑的基本问题的命名，就像穆勒的命题”是我们怎样才能确定参照一个名称,使用给定的发言人,是“(克里普克28)。在穆勒的观点,缺乏任何描述性的名 称,如果没有这样的组件组件我们不能唯一地标识一个名称的威望。克里普克介绍两个参数他所谓的子公司,但构成更积极的理由支持罗素的观点。第一个是此案的 两个名称相同的所指;在轧机的观点我们应该能够使用同样的两个名称可以互换。然而罗素的观点提出了一个强有力的理由,我们不能使用它们可以互换使用,因此 必须有更多一个名字比感官。一个好的例子是金星和磷。天文学家们看到一个天体在早上(顺便说一下,我们的身体知道今天是金星)并把它叫做金星,看到他们所 认为是一个不同的天体在晚上,称之为磷。后来,实证发现,这两个天体都是同一个。这一发现可以表示为“金星是磷。“然而在非描述性的视图名称,例如轧机的 话语,如这是微不足道的。如果两个“金星”和“磷”只不过是他们表示,他们都表示同样的事情(金星),那么这个语句“金星是磷”只是琐事的“长庚星是金 星。“但该声明“金星是磷”,“我们当然不只是说一个对象,它的本身相同。这是我们发现”(克里普克29)。我们是真的说一些接近:“天体,在早上我们看 到的天体,我们看到在晚上。“罗素的观点,名称描述允许“金星是磷”以这种方式的信息。

克里普克的最后的论点,罗 素的观点比磨的是,它可以让我们更加精确地质疑历史人物存在。在问亚里士多德的存在,使用克里普克的例子,我们大概一般不质疑一个有血有肉的存在叫亚里士 多德,而是存在“任何[,]答案属性我们联想到这个名字”(克里普克29)。这是可疑地措辞,我们有时确实希望问题存在的东西,但它是真表示,只有罗素的 观点占我们真的询问情况的性质,参照与亚里士多德,它允许我们质疑“任何一个希腊哲学家产生了一定的工作,或者至少一个合适数量的他们”(克里普克 29)。这最后一边暗指什么Kripke所说的“集群视图”,修改后的版本的罗素的观点认为,名字是真的一群描述,必须分离地满意。我将在稍后联系这一观 点。看来很清楚的是,罗素的观点,这名字确实是描述,是迄今为止最好的帐户名称作为我们使用它们。

克里普克是机智 的,然而,尽管他构造了一个强有力的论点罗素,他最终构建他只作为一个稻草人敲下来。他最引人注目的情况下对罗素的观点如下:在罗素的观点,语句如“亚里 士多德是他教会亚历山大大帝”是同义反复的因为亚里士多德是等同于描述“他教会亚历山大大帝。“但这句话在问题显然不是一个纯粹的同义反复。“它表达了事 实,亚里士多德教授亚历山大大帝的东西,我们可以发现是假的。所以,被亚历山大大帝的老师不能部分(的意义)名称”(克里普克30)。如果我们想要这样的 语句来表达信息,可能不是这种情况,那么罗素的观点必须予以拒绝。克里普克提供其他问题对罗素的账户,其中一个他用来介绍自己的视图的名称作为刚性指示 器。克里普克给出一个示例中,一个叫描述未能解释本质。“有什么不同,”他问,“问是否有必要之间,9比7还是必要的,行星的数目大于7 ?为什么一个显示任何更多关于本质上比其它的吗?”(克里普克48)。区别,他继续说,在于行星的数目可能是不同的比它事实上是,但九不可能是任何不同的 比它实际上是。(克里普克48)。在这个例子中,九是一个刚性指示器,而“行星的数目”不是。简洁地说:“叫一些死板的指示器在每一个可能世界,如果指定 相同的对象”(克里普克48)。一个名称功能作为一个刚性指示器之后才来指定一些。我们采取一个或有财产的一个对象;对于尼克松,例如。,说他是美国总 统,我们用它来修复的referent术语“尼克松”,然后函数作为一个刚性指示器。即使是由一支referent固定财产,”尼克松”还表示相同的人即 使在可能的世界中,他不是美国的总统。这就是克里普克的视图。