奎因的模态逻辑

【摘要】奎因的语言哲学理论对当代西方语言哲学和语言学的发展具有广泛深远的影响。奎因提出了语言哲学思想的本体论与认识论基础及其自然主义语言观，包括行为主义意义论、翻译的不确定性、指称的不可测知性、本体论的相对性等论题和奎因语言学习理论，然而本文就他的模态逻辑中的做一个简单的介绍：包括三个模态参与的阶段和必然性。

【关键词】奎因；模态逻辑；必然性

【中图分类号】B815.1 【文献标识码】B 【文章编号】2095-3089（2017）33-0005-01

奎因（W.V.Quine）是美国伟大的哲学家，逻辑学家，逻辑实用主义的代表。1908年3月25日生于俄亥俄州。就学于奥柏林学院和哈佛大学，曾受教于A.怀特海和C.刘易斯门下，1932年获哈佛大学博士学位，1933年起在该校任教，担任过皮尔士讲座哲学教授，1979年退休。奎因强调系统的、结构式的哲学分析，主张把一般哲学问题置于一个系统的语言框架内进行研究。

奎因是二十世纪最重要的哲学家之一。他关于本体论承诺的论述，他对分析和综合这一传统区别的批判，他提出的翻译的不确定性的观点等等，几乎成为讨论中的常识。而且，这样的讨论并不仅仅局限于分析哲学中，在认识论和本体论的讨论中也频繁出现。语言既是奎因哲学研究的主要领域之一，又是他研究哲学问题的出发点和视角。而在国际学术界，奎因有二十多篇论著被翻译成五十多种语言翻译成中文。奎因的另一部名著是《语词和对象》，有人称它是本世纪两部影响最大的哲学著作之一。

然而本文主要探讨奎因的模态逻辑，他主要讲了四种模态逻辑，即：必然性，可能性，非必然性和非可能性。但是本篇文章主要是简单叙述下他的三个模态参与和必然性，希望能让读者对这些有所了解。

一、外延逻辑

奎因紧接着研究罗素的限定摹状词和专名。他认为所有的单称词都应该被限定摹状词所替代或者都构建为限定摹状词。他后来和他的同事提出了和倡导外延逻辑。外延逻辑是与内延逻辑相对立的，外延逻辑主要是研究客观世界中存在的一个个个体，而内延逻辑则是研究事物的内在本质特征。奎因认为所有的表达形式对他们的意起重要作用的东西可以归纳为以下三点：

1.对于句子来说—他们是否为真为假

2.对于单称词来说—他们指称哪个物体

3.对于谓词来说—他们对句子的真假起什么作用。

奎因作为一个实证主义家，他认为世界的本质只有通过人类在实践中发现而大多数是在科学实践中发现。从严格意义上来讲，他认为必然性是不能被人类所体验的。因此他主张世界上不存在有必然性，必然性是我们人类带给世界的特点，而不是世界本身所就存在的。我赞同他的观点，因为我们不是世界本身，我们不知道世界在想什么，我们所谓的太阳东升西落只是我们人为的强加给世界的，有我们人类的意志在里面，所以就不是必然性。

二、奎因的三个模态参与阶段

奎因的三个模态参与阶段可以描述为：第一个阶段是安全的，第二个阶段可以也能够产生安全，第三个阶段可以也应该被避免。下面我将用相对应的数学式子和英语表达式呈现出奎因的三个模态阶段。

Eg：9 is greater than 5.

用英语表达式可以表示为：

第一个阶段：

1.Nec‘9>5

用英语可以表示为：The sentence ‘9 is greater than 5expresses a necessary truth.

第二个阶段：

2.Nec （9>5）

用英语可以表示为：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是大写的，说明是一个谓词需要填入的是一个或多个单称词。模态逻辑的第二个阶段就相当于是一个陈述算子，我们需要填入一个或者两个完整的句子，在这里就不需要用引号了，因为这里需要的是完整的句子。与第一个阶段相比，可以看出在这个阶段nec的n是小写的，说明这里的必然性是通过一个逻辑算子表达出来的。从一定程度上可以说Nec是一个谓词或者一个动词。可以用英语表述为：“is necessary ”。nec相当于一个副词，可以用英语表述为：“necessarily”。第三个阶段可以说是第二个阶段的延伸，可以称之为包含有陈述算子的谓词。在这个阶段里必然性是通过句子算子表达出来的。

三、总结

本文简单的描述了一下著名的哲学家，逻辑学家奎因的三个模态参与阶段和必然性。而且为谓词和陈述算子做了一个简单的区分以便读者能更好的理解奎因的模态逻辑。但是，奎因是对模态逻辑持否定的态度的，更多的深入的研究以望有更多的人提出。

参考文献

[1]W V Quine.The Natural K now ledge Mind and Language [ M].Oxford ： Clarendon Press，1975.

[2]W V Quine.Word and Object [ M].Cambridge，the MIT Press，1960.

[3]W V Quine.Ontological Relativity and Other Essays [ M].New York： Columbia University Press，1969.

[4]陈波.奎因哲学研究——从逻辑和语言的观点看[M].上海： 三联书店，1998.

[5]奎因.逻辑哲学[ M].上海：三联书店，1991.

作者简介：段丹丹（1989.1—），硕士，重庆邮电大学移通学院讲师。