形而上学（一） (7-6)

共相存在这一论题，或其“潜存”或“有是”的观点，被冠以“实在论”、“柏拉图实在论”或“柏拉图主义”等不同名称。这三个称呼都是可商榷的。亚里士多德相信共相的真实性，但称他为柏拉图主义者或柏拉图实在论者，则是不恰当的。而“实在论”已经成为一个涵括形形色色哲学论点的简单的表达。认为共相不存在（没有任何潜存；没有任何形态的存在），这一论点一般被称为“唯名论”。这一称呼也是可商榷的。一度，那些否认共相存在的人喜欢说类似这样的话：世上没有“是马”这种东西：只有[nomen, gen. nominis]“马”这一名称，它仅仅只是一阵低沉的声音[flatus vocis]。

假如早先唯名论者尚未意识到，现今的唯名论者则弄清了——如果“马的名字”这一短语指定了一个对象，那么它所指定的对象本身就是一个共相或与之十分相似的东西。它不会仅仅是一阵低沉的声音，而是许多阵声音的共同之处；这一声音共相是其象征性标志（或者语言符号）。

唯名论者和实在论者之间的古老争论一直持续到今日。绝大多数实在论者假定，共相构成了存在的一个范畴。这一假设当然可以毫不荒谬地受到质疑。也许有着一个包括所有共相，但也包括其他事物（而又不是所有事物的类）的自然类。也许，举例而言，数字和命题并非共相，也许数字、命题与共相都是一类“抽象对象”的成员；这类“抽象对象”不包含某些事物。或者，也许有“泰姬陵的白”这样的事物；也许这个对象与共相的“白”——但非泰姬陵本身——都归于“属性”这一类。让我们将这样一个类称为一个本体论范畴的恰当子类，一个既不是所有事物的类、也不是本体论范畴之一的类，称为“本体论子范畴”。也许，共相事实上构成了存在的一个子范畴，是“抽象对象”范畴的成员。但极少有哲学家会假定共相是某49个子范畴的成员之一，更不用说是大量或无限的子范畴。绝大多数相信共相实在性的哲学家会想说，如果共相不构成一个本体论范畴，也至少构成“较高”的子范畴之一。

假如狗形成一个自然类，这个类就是我们定义的一个本体论的子范畴。毫无疑问，这一类将是许多子范畴的一个亚类：犬科，哺乳动物类（在生物学意义上）等等。通过一系列的子类别，最终达到一些非常广泛的子类别，如“实体”或“物质对象”。因此，尽管狗可以组成一个本体论的子范畴，这一子范畴不同于“共相”范畴，是“较低”范畴之一。这些反思表明，“存在的诸范畴”这一主题，应被理解为既包括严格意义上的范畴，也包括临近它们的子范畴。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。