【语言哲学】二 (12-7)

Mars the relation α orbits β the sun

（火星）（关系“α 环绕 β 运行”）（太阳）

Figure 1.1 The proposition expressed by ‘Mars orbits the sun’

（图1.1由“Mars orbits the sun（火星环绕太阳运行）”表达的命题）

这个结构是一个抽象结构，这一组合模型不是物理的，但和一些物理结构很相似——谓词就像一个豌豆荚，而单称词项的指称就是豌豆。

(B) 原子命题的真值

在引言中我们提到，命题是“真值的载体”。能直接与“为真”或“为假”这样的谓词挂钩的不是句子，而是由句子表达的命题。

现在我们可以定义什么能使原子命题为真了。简明起见，我们将目光继续锁定在只包含属性或二元关系的原子命题上，并称其为一价原子命题和二价原子命题。

就常识而言，命题的为真应与现实相对应。以下是对这一观点的简要说明。

(a)命题“Mars is red（火星是红色的）”为真，当且仅当对象Mars（火星）具备redness（红色）这一属性；即是说，当且仅当此命题此对象实际上具备此项属性——或说例证、例示这一命题时，此命题为真。

(b)命题“Mars orbits the sun（火星环绕太阳运行）”为真，当且仅当被提及的两个对象处于由“α orbits β”直接意指的关系中；即是说，当且仅当此命题中Mars（火星）与 the sun（太阳）之间有此关系，或称二者处于此关系中时，命题为真。

综上，我们得到：

(NP5) 原子命题真值的素朴定义：一个原子命题为真，当且仅当：(i) 其为一个包含某一对象o和某一属性P的命题，且o拥有P；或 (ii) 其为一个包含了某一对象o1、某一关系R及某一对象o2的二价命题，且o1和o2之间有关系R。

最后要注意的是，以上观点不妨碍我们继续讨论句子，话语或陈述的真值。句子，话语或陈述为真，当且仅当其表达的命题为真。根据这个思路，当我们判定某一句子是否为真时，其过程较于判定某一命题是否为真稍显晦涩。判定信念时也差不多——仅当某一信念表达的命题为真时，此信念为真。

逻辑句法和逻辑算子

目前，我们大致讨论了一下“语言”，并用英语描述了一下我们要提出的观点。有观点认为，原子句，即单称词项和谓词，是所有语言的重要组成部分。实际上素朴观点认为，所有发展完善的语言都必须具备这些手段。这个世界由具备属性的对象和处于关系中的对象构成，如果一种语言缺少了单称词项和谓词，它就不能谈论这个世界，不能描绘这个世界，因为它不能反映这个世界的结构。诚如伟大的逻辑学家阿尔弗雷德·塔斯基(Alfred Tarski)所言，语义范畴的概念深刻地影响了我们的直觉，以至很难想象还可能有什么能替代它的存在。所以，我们使用英语仅仅是为了描述一些包含了最普适的观念的要点。因此，读者需要注意的是，尽管我们将着重讨论英语，我们努力探究的对象是普遍意义上的语言。英语并不是我们实际上要讨论的主题。

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