概称句本质与概念(1)

  : 北方教育

概称句（注：“概称句”是作者对generic sentence的翻译。这里是首次正式在国内文献中使用这一译名。）(generic sentence)是我们日常思维中最为常用的一种句子。关于概称句的研究始于上世纪70年代，目前已提出了多种理论和形式处理，但因尚未形成统一和公认的理论，仍处于初期阶段。概称句研究在非单调推理、人工智能以及语言学研究等多方面都有重要意义。本文的研究属于概称句的条件句逻辑和模态逻辑研究方向。在这个研究中我们发现，概称句涉及到概念和概念的内涵，因此对概称句本质的认识涉及到概念理论，此二者有相互照应的关系。在概称句分析和语义的基础上[1]，借助于形式化方法，本文对概称句和概念进行了分析，在两个方面都提出了新的观点和理论。


　　一、关于概称句的说明


    概称句又称特征句，指的是“鸟会飞”，“马铃薯含维生素C”等这类句子。概称句有不同的种类。与本文有关的概称句是“鸟会飞(Birds fly)”这类概称句。这类概称句从句子的语言结构上看有两个特点：(1)表现为主谓结构。如“鸟会飞”，其中鸟是主项（或主语），记作S，“会飞”是谓项（或谓语），记作P。这种概称句通常又记作SP。(2)主项S是复数，或用通常普通逻辑类教科书的术语，S是“普遍词项”或“普遍概念”。这种概称句是我们最常用的概称句。


    概称句一方面是某种意义上的全称句，另一方面又容忍反例。比如，概称句“人能思维”，有“人都能思维”的意思，但同时又不会因为有些人不能思维而使“人能思维”为假，即“人能思维”与“有些人不能思维”并不矛盾。这是概称句最重要的特点，也是研究的主要困难所在。对此各种研究提出了关于概称句意义理解方面的不同看法和观点，乃至于形式刻画等方面的不同处理。在总结各研究的基础上，我们提出了新的观点和分析，给出了一个关于概称句的语义。[1]这个分析有以下几个要点：


    1.所有主谓结构的概称句SP，都可以被精确化为“S（在正常情况下P）”。如果S是复数名词，又可进一步精确化为“（正常的S）（在正常情况下P）”。我们把这样的形式称为概称句的典范形式。这一形式有两层全称概括，外层的全称概括作用于相对于主谓项的正常个体，内层的概括作用于相对某个正常个体的正常环境。以“鸟会飞”为例。不会飞的不正常的鸟被外层的全称量词略去，正常的鸟在不正常环境里而不会飞的现象由内层的全称量词排除。于是，“鸟会飞”应该理解为，“在正常的情况下，正常的鸟会飞”，更严格地说，即“对任意的个体x，如果x是正常的鸟，那么，x在正常的情况下会飞。”


    2.这里出现了两个“正常的”，分别是两个不同的模态算子。用于正常情况的“正常的”是二元命题算子，在条件句逻辑中已有比较成熟的研究。特别是在常识推理研究中对这一算子的改造[2]，使得我们可以直接引用已有结果。用于主项的“正常的”是谓词算子，即以谓词为变元的函数，以下称为正常函数。什么是正常的S，这个函数该如何定义，是建立概称句语义的关键。


    3.首次定义正常函数为一个二元函数。在将来的形式解释中，它的两个变目分别被称为主项内涵和谓项内涵。直观地看，该函数是以主谓项的意义来决定正常主项（如“正常鸟”）的意思，再由此在各可能世界中选出所有正常个体。第二个变目的引入，给正常函数选择正常个体提供了一个与谓项涵义相关的选取参数。这体现了正常主项的相对性。


    4.对选取正常个体的正常函数有两项限制。第一，选择出来的正常主项的内涵包含了主项的内涵，即对任意的内涵。在“鸟会飞”的例子中，该限制的意思是，“正常鸟”必须首先是“鸟”。第二，与谓项内涵相关的选取参数同谓项的肯定和否定无关，即对任意的内涵。还用“鸟会飞”的例子，这一条件的意思是，我们对于鸟和会飞，以及对于鸟和不会飞，选出的正常个体是相同的。满足这一限制条件的正常函数避免了把“对于飞来说是正常的鸟”定义为“会飞的鸟是正常的”这样一种循环定义的嫌疑。


    根据以上要点，概称句SP的直观意思是，“对任意的个体x，如果x是相对于P或非P来说正常的S，那么，在正常情况下，x是P”。下面给出关于概称句的形式语言和形式语义，就是要把这个意思严格地表达出来。