Language Learning for Practical Programmers [2] – The Definitions

A = B. A != B.

肯定定义句 | Affirmative Definitions

肯定定义句是指示两个短语相等的句型。课本中典型的定义句为：

I am John Doe.
我叫小明。

但实际上例子中的定义句并不是真正的简单定义句。有些语言的简单定义句在形式上是复杂的。

简单定义句包含两个名词短语和一个相等表示短语。这个相等表示短语不一定是动词。在大多数语言中，简单定义句不传递任何信息或者用于解释别名，如：

Tom is John.
小明是小华。

属性定义句包含一个名词短语、一个表属性短语和一个相等表示短语。表属性短语可以是一个名词短语、动名词短语、代词短语、形容词短语或者副词短语。在语义上，表属性短语必须是名词短语的一个属性。这个属性可以是不显式指示的，由受话人结合常识、经验和上下文判断。

My name is John.
我的名字是小明。

注意到给出的例句在对应的语言中并不自然。这些表述的自然形式应是：

I am John.
我叫小明。

这应用了属性的不显示指示原则。同样的例子有：

The colour of the sky is blue. The sky is blue.
天空的颜色是蓝色。天是蓝色的。

属性定义句在给定足够扩展能力的情况下，可以用于表述诸多的内容。如在下例中，将能力视为说话人的属性，可以将其规约到定义句当中：

Eating glass is what I can do. I can eat glass.
吞下玻璃是我能做的事情。我能吞下玻璃。

注意到这里颜色顺序的调换。这通常意味着后者的表达顺序是目标语言的默认语序。

但在大多数语言的语法中，不认为能力是一种属性。即不能使用一个简单句表述能力，能力的表述是拥有单独句法的。这个现象同样适用于从属：

The owner of this book is me. I own this book.
这本书的主人是我。这是我的书/这书是我的。

注意到上两组例句，它们的自然版本都由一个施体短语、一个受体短语和一个从属动词短语组成。一个从属动词短语在语义上表示受体短语是施体短语的一个元素。从属定义句通常隐含施体短语或施体短语的某个属性是一个集合，而受体短语是这个集合的元素之一。

否定定义句是肯定定义句的否定形式。

否定从属定义句将肯定定义句中的动词短语替换成对应的否定形式，表达肯定定义句的否命题，如：

Tom is not Jerry. I am not John. I cannot eat glass. I don't own this book.
小明不是小华。我不是小明。我不能吞下玻璃。这书不是我的。