(1)和(2)都包含有“Mars”这个名称。“Mars”是火星的名称,是一个专名。这一单词表示/命名/选出/指谓 /标明这一含义。根据在引言中明确的说法,我们说这一单词指称了火星,而那颗实际存在,覆盖红色尘土的行星火星,就是其指称(对象),即这个词所指称的事物。习惯上称“Mars”为一个单称词项(singular term)。我们同时会建立一个“素朴原理二(naive principle 2)”,素朴原理一(naive principle 1)将会在稍后释出:
(NP2) 单称词项的意义即为其指称。
我们并不试图给“单称词项”下一个精准定义——想要做到这一步太难了。但是我们可以做一个足够可靠的直观分类:我们将单称词项简单看成是一类在角色和功能定位上能直接表示某一特定个体对象,例如一个人,一座城市,一颗行星的词。这些事物都可以被看成是一种宽泛的哲学标准下的“对象”。相反,“dog(狗)”就不能被认为是一个单称词项,因为有很多狗都可以被称为“dog”。
因此,(2)中出现的“the sun(太阳)”也是一个单称词项。它指称太阳。接着来看其他的单称词项:
(3) Jupiter(木星)
(4) Prince Charles’ mother (查尔斯王子的母亲)
(5) the river that runs through Prague (横穿布拉格的河)
(6) the fastest mammal (速度最快的哺乳动物)
(3)是一个专名,但是(4)和(5)并不是,尽管这两个词包含了专名或头衔。你会发现单称词项可以很简单——例如(3),不包含更小的表述部分;也可以很复杂,例如(5)。
谓词(一):句法层面
如果我们将(1)和(2)中的“Mars”移除,将得到
(7) ____ is red. (____是红色的。)
(8) ____ orbits the sun. (_____环绕太阳运行。)
就单词的逻辑意义层面来说,这些结构被称为“谓词”(predicates)。一般来说,句中移除了一个单称词项剩下的部分就被称为谓词。这是一个句法层面的观点,当我们这样表述时,并没有讨论谓词的语义或意义。
在书写(7)和(8)时我们用下划线来表示由于移除单称词项造成的空白或间隙。接下来我们将采用一种更简便的方式来完善这一表述形式——用希腊字母来表示这些空隙:
(9) α is red. (α 是红色的。)
(10) β orbits the sun. (β 环绕太阳运行。)
这些希腊字母不表示任何事物,也不能被看成是变元。 它们的用法不像我们在逻辑学中用希腊字母来表示一种量化,或是在代数中用普遍地用它们来表示数字,例如“2(x+y)=2x+2y”。此处它们仅被用来标记这些空隙,来标记谓词中可以嵌入名称的位置。(如果这是有关逻辑学的核心课程,我们将着重区分“谓词”和“开语句”,开语句在空白被适当的表述填补之后就会成为“闭语句” )(译者注:‘开语句’是不完整的句子,而谓词本身就是完整的结构。)。我们将这一步骤称为谓词提取。
我们可以将任一单称词项嵌入像(9)和(10)这样的谓词中,并得到一个句子。尤指我们可以通过用任一单称词项替换希腊字母来建立句子。因此我们可以将(4)嵌入(10),得到这样的句子:
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。