奎因的模态逻辑.docxVIP

奎因的模态逻辑 奎因( W.V.Quine )是美国伟大的哲学家，逻辑学家，逻辑 实用主义的代表。 1908年 3月 25日生于俄亥俄州。就学于奥柏 林学院和哈佛大学，曾受教于 A.怀特海和C.刘易斯门下，1932 年获哈佛大学博士学位， 1933 年起在该校任教，担任过皮尔士 讲座哲学教授， 1979年退休。奎因强调系统的、结构式的哲学 分析，主张把一般哲学问题置于一个系统的语言框架内进行研 究。 奎因是二十世纪最重要的哲学家之一。 他关于本体论承诺的 论述，他对分析和综合这一传统区别的批判， 他提出的翻译的不 确定性的观点等等，几乎成为讨论中的常识。而且，这样的讨论 并不仅仅局限于分析哲学中， 在认识论和本体论的讨论中也频繁 出现。语言既是奎因哲学研究的主要领域之一， 又是他研究哲学 问题的出发点和视角。 而在国际学术界， 奎因有二十多篇论著被 翻译成五十多种语言翻译成中文。 奎因的另一部名著是 《语词和 对象》，有人称它是本世纪两部影响最大的哲学著作之一。 然而本文主要探讨奎因的模态逻辑， 他主要讲了四种模态逻 辑，即：必然性，可能性，非必然性和非可能性。但是本篇文章 主要是简单叙述下他的三个模态参与和必然性， 希望能让读者对 这些有所了解。 一、外延逻辑 奎因紧接着研究罗素的限定摹状词和专名。 他认为所有的单 称词都应该被限定摹状词所替代或者都构建为限定摹状词。 他后 来和他的同事提出了和倡导外延逻辑。 外延逻辑是与内延逻辑相 对立的， 外延逻辑主要是研究客观世界中存在的一个个个体， 而 内延逻辑则是研究事物的内在本质特征。 奎因认为所有的表达形 式对他们的意起重要作用的东西可以归纳为以下三点： 对于句子来说一他们是否为真为假 对于单称词来说―他们指称哪个物体 对于谓词来说―他们对句子的真假起什么作用。 奎因作为一个实证主义家， 他认为世界的本质只有通过人类 在实践中发现而大多数是在科学实践中发现。从严格意义上来 讲，他认为必然性是不能被人类所体验的。 因此他主张世界上不 存在有必然性， 必然性是我们人类带给世界的特点， 而不是世界 本身所就存在的。我赞同他的观点，因为我们不是世界本身，我 们不知道世界在想什么， 我们所谓的太阳东升西落只是我们人为 的强加给世界的， 有我们人类的意志在里面， 所以就不是必然性。 二、奎因的三个模态参与阶段 奎因的三个模态参与阶段可以描述为：第一个阶段是安全 的，第二个阶段可以也能够产生安全， 第三个阶段可以也应该被 避免。下面我将用相对应的数学式子和英语表达式呈现出奎因的 三个模态阶段。 Eg： 9 is greater than 5. 用英语表达式可以表示为： 第一个阶段： 1.Nec‘95 用英语可以表示为： The sentence ‘9 is greater than 5expresses a necessary truth. 第二个阶段： 2.Nec （95） 用英语可以表示为： It is necessary truth that 9 is greater than 5. 第三个阶段： 3. 用英语可以表示为： Something is necessarily greater than 5. 为了更好的陈述他的三个模态参与阶段， 首先奎因区分了谓 词和陈述算子。他认为谓词是当你以一个包含了一个或者两个单 称词的句子开始时你所得到的东西。 也就是说谓词是包含有一个 或者两个单称词的表达式， 比如：X is red.或者X is bigger than Y.前者包含一个单称词，后者包含两个单称词。由于单称词是指 称客观世界中的物体，所以谓词也主要是用来描述和说明客观世 界中的那个物体。陈述算子是一种需要加入一个或者两个句子才 能形成一个完整的合符语法的句子的东西。例如： It is not the case that…就是一个陈述算子，因为你需要在这个式子中填入 一个句子才能形成一个完整的句子，才能表达意义。 区分了谓词和陈述算子之后， 我们再来看看奎因的三个模态 参与阶段。他的三个模态参与阶段都集中描述了必然性的观点。 他的第一个阶段可以表述为必然性是通过一个谓词来表达的， 在 这个谓词中需要我们填入一个或者两个单称词才能使其形成一 个完整的句子 。这里所需要的单称词不仅仅是一个个单个的词 或者短语， 这里也可以填入一个完整的句子， 但前提是我们必须 要为这个句子加上引 ?，因为引号在这里的作用就是能让一个完 整的句子变成一个指示个体的名称， 所以引号在这里起着很重要 的作用。而且还值得注意的是在这个阶段出现的是 Nec, N是大 写的，说明是一个谓词需要填入的是一个或多个单称词。 模态逻 辑的第二个阶段就相当于是一个陈述算子, 我们需要填入一个或 者两个完整的句子, 在这