语言学中的逻辑.pptVIP

4.4 命题演算的语法学和语义学 在逻辑中常常把列举出的最小的简单符号称之为词汇表。陈述简单单位的可允许的组合规则，即所谓合式公式(wff)的组合规则，常被称为形成规则。词汇表和形成规则一起构成逻辑的语法。语法并不告诉我们关于如何解释它们的问题，即它们的意义是什么的问题。这些要在语义学中加以研究。 对象语言：我们正在研究的对象，叫对象语言； 元语言：我们用来研究对象语言的语言叫元语言。 4.5 语法学 要给出命题逻辑的语法，我们从结出它的词汇表开始 (1) 词汇表 （i） 无穷的语句变项：p,q,r,s,t,p1,q1,…p2,q2,… （ii） 逻辑联结词：~，＆，V，→，≡ （iii）括号：( ) （iv）在命题逻辑的表达式中只出现这些符号而不出现其他符号。 其次，我们必须指出什么样的符号的组合是容许的，即形成合式公式。由此我们将给出用于命题逻辑的形成规则。 (2) 形成规则 （i） 每个语句变项是wff （ii）如果α和β是任意的wff,那么(a) ~α (b)（ α＆β) (c) (αVβ) (d) (α→β) (e) (α≡β)也是wff。 （iii）只有由这些规则形成的表达式才是wff。 由于语法规则具有递归性，因此我们可以用一组有穷的规则构成一组无穷的表达式。因为任何自然语言都包括无穷数量的合语法的语句，所以，可能自然语言的语法必须包括递归规则。 规则(2)(i)和(2)(ii)也可以用下面的相同的方式写出。 如果它们按这样的方式写出，它们就给出像生成语法中常常叫作短语结构规则的那种相同的形式。因为在这种语法中规则(2)(iii)常常理解为通过一种隐含的约定而有效，因此规则(3)(i)和(ii)就为我们提供了命题逻辑语法的另一种等价的描述。 4.6 语义学 在叙述命题逻辑的语法时，我们把所有的逻辑符号都当作无意义的“空位”。但是我们对用逻辑来表示对我们周围世界的推理自然还是感兴趣的。一旦我们把我们正在研究的符号同这些符号所表示的其它现象联系起来，我们就开始从语法学过渡到语义学。语义学研究的是语法所容许的那些表达式是怎样与这些表达式所涉及的对象相联系的 由于在逻辑中我们首先关心的是语句，因此我们要研究的是语句的意义。理解一个语句意义的最好方法之一是想象使这个语句为真必须是个什么样的世界。 （1）Baron Munchhausen pulled himself out of the water by lifting himself by the hair. (闵乔森男爵拽着自已的头发把自已拖出了水面。) 使(1)难于理解的原因就在于很难想象使(1)为真的这个世界必须是个什么样的世界。因此，真值概念为我们了解语句和它所关连的对象之间的关系提供了一种良好的手段。我们可以通过阐述使语句成为真的这个世界所必须满足的条件（换句话说，在什么世界中这个语句是真的）来刻划一个语句的意义的一个重要方面。这些条件叫做语句的真值条件。在逻辑中，一个语句的意义是同它的真值条件相等的。 更确切地说，在命题逻辑中，我们感兴趣的是复合句的真值是怎样决定于作为它们的组成成分的语句的真值和相对逻辑联结词的选定的。因此，一个简单句在这里唯一有关的特性就是它的真值。为了研究在复合句中发生什么情况，我们往往给每一个简单句的变项任意赋予一个真值。 我们是在为对象语言给出真值条件，因此我们不是试图对元语言作任何分析，元语言我们简单地看作是已知的。下面我们使用的符号“iff”是元语言的一部分，即我们对对象语言真值条件的描述的一部分，因此需要将它同≡区分开来，≡是对象语言即我们正在研究的语言的符号。下面的(2)递归性地给出命题逻辑复合句的真值条件。 (2)命题逻辑的语义学 （i） ~α是真的，当且仅当α不是真的 （ii） α＆β是真的，当且仅当α和β都是真的 （iii）αVβ是真的，当且仅当表达式α和β中至少有一个是 真的 （iv）α→β是真的，当且仅当α不是真的或者β是真的 （v） α≡β是真的，当且仅当α和β具有同样的真值 (3) 现在我们假定已经赋予变项以某种真值；这一点可以通过任意赋值，或用一个陈述句替换每一个变项，然后赋予它的真值的方式来实现。我们假设这一点已经做到，变项已经赋予了下列的真值：p是真的，q和r是假的。 为了了解简单表达式的真值如何决定复杂表达式的真值，让我们用下面的倒树形结构来图解这个例子。析取、否定和等值分别缩写为“Disj”，“Neg”和“Eq”；合取和蕴涵象以前一样，用“Conj”和“Impl”来表示。 在平面(3)上两个析取式都真，因为每组简单句中至少有一句是真的。在平面(2)上，只是第一个合取式真，因为它的从属分句都真(其中之一本身也是复合句)。另一个合取式假，因为