克里普克（S·A·Kripke）是当代著名的逻辑学家和哲学家，是现代哲学中本质主义思潮的代表人物。在发展自己的哲学理论时，克里普克极为重视对事物本质属性的讨论，而他的研究方法又与模态谓词逻辑密切相关。 在模态谓词逻辑中，有形式为LA（x）的表达式，其中L是必然算子，A是一元谓词，x是个体词，LA（x）意为：“个体x有特性A 是必然的”。这就默认了一个对象必然有某些属性，而对象必然具有的属性就是本质属性。模态谓词逻辑中另有一些表达式显示出一个对象还有一些特性不是必然的，对象的这些属性就是非本质属性。奎因（W·V·O·Quine）曾对此作过如下的评述：“显然，要坚持对模态语组进行量化，就需要这种向亚里士多德本质主义的复归。一个对象，就其本身说，也无论是否具有什么名字，我们必须认为某些特性是它必然具有的，另一些特性则是它偶然具有的，……”〔1〕 在哲学史上，亚里士多德（Aristotle）是坚持每个事物都有本质的，在他的名著《论辩篇》中有这样的论述：“指称某物本质的人有时是指称实体，有时是指称性质，有时是指称一个其他的范畴。因为当一个人立在他的面前时，他说，立在他面前的东西是一个人或一个动物，他陈述了它的本质，指称了一个实体；但是当一种白的颜色放在他面前时，他说，放在那里的东西是白的或是一种颜色，他陈述了它的本质，指称了一种性质。同样的，如果一个腕尺的量值放在他的面前时，他说，放在他面前的东西是腕尺的量值，他陈述了它的本质，指称了一种数量。其他的情形也是一样的。因为每一个这样的谓词只要它是断言自身的，或者它的属断言它的，那么它就是指称一种本质；但是如果它是断言某种其他的东西，那么它就不是指称一种本质，而是指称一种数量或性质或一个其他的范畴。”〔2〕由此可见， 指着一个人说“这是一个人”，或者以一个词项述说其本身及给出它的属的语句“白色是一种颜色”、“一尺是一种长度”都是本质的陈述句。但是，如果把属于一种范畴的词项用成另一种范畴，例如“人坐着”或“白色比红色亮些”，就没有把本质给予主词。〔3〕亚里士多德要求采用“属加种差”的定义方式来表达事物的本质。例如“人”的定义中不仅要写出其所在的属“动物”，而且要揭示人和其它种类动物的区别，即种差，如有理性，能制造工具，会劳动，有语言能力等等。 克里普克所说的本质与亚里士多德阐述的本质有所不同。克里普克对事物的本质有一个界定的标准：这种特性必须在该事物可能存在的任何场合（即任何可能世界中）都是真的。 具体地说，对于自然种类的通名，克里普克认为其所指的那一类事物的本质就是这些事物共有的内在结构。例如水的本质是它的分子结构H[,2]O，这是任何时候、任何地方所看见的水的共有的内在结构。“水是H[,2]O这句话当然表达了一个发现。我们最初识别水是根据它对我们造成的特有的触觉，它的外貌特征或许还有它的味道（尽管它的味道通常可能是因为水不纯净的缘故所致）。如果实际上甚至存在着某种物质，它具有与水完全不同的原子结构，但在上述方面却都与水相似，那么我们会说有些水不是H[,2]O吗？我认为不会这么说。我们倒会说，正如存在着假金那样，可能也会有某种假水；存在着这么一种物质，它尽管具有我们最初用来识别水的各种特性，但是它事实上却并不是水。我认为，这一点不仅适用于现实的世界，而且也适用于谈论非真实的情况。如果有某种物质是一种假水，那么它就是假水，而不是水。另一方面，如果这种物质可以采用另一种形式——例如据称在苏联所发现的高聚水（Polywater），它具有与我们现在称之为水的东西非常不同的识别标志——那么，它也是水的一种形式，因为它是同一种物质，即使它不具备我们最初用来识别水的那些外貌特征。”〔4〕 类似地，黄金的本质是其原子序数为79，牛和虎的本质是它们的内部结构而不是外部特征。“即使我们不知道虎的内部结构是什么，我们假设——并且假设我们是正确的——虎形成了某个种或自然种类，那么我们就可以设想，存在着这样一种动物，尽管它具有虎的所有的外部特征，然而它的内部结构方面与虎有很大的差异，以致我们应当说，它们不是同种的东西。我们可以在不知道它的内部结构——即这个内部结构到底是什么的情况下设想这一点。我们可以预先说，我们用‘虎’这个词来指示一个种，不属于这个种的任何东西，即使它看上去象是虎，事实上也不是虎。”〔5〕 我认为，克里普克对自然类事物本质的阐述并不合理。这些对象类是现实世界中的事物类，我们在考察这些对象类中对象的本质时立足点是现实世界。我们当然要涉及对象存在的各种场合，不论是古代还是现代，也不论是现实世界中的哪个地点，但不需要设想现实世界的非真实情形，因为现在不是在研究反事实语句或探讨逻辑的必然性，而是在研究现实世界中的某个事物类中的事物实际具有的特性。在这种情况下，我们所说的可能世界，应该仅限于对象存在的那些世界，即不同时期不同环境的现实世界。在这些世界中，自然类事物的某些外部特性，它们的属，它们的某些习性同样是本质属性，只要在所有这些世界中这些性质是这一自然类事物所共有的。
