摹状词
出处:按学科分类—自然科学总论 山东人民出版社《方法大辞典》第103页(1090字)
在数理逻辑中为许多着名逻辑学家关注。
它表达某一特定事物某个方面的特征,并通过对这特征的描述,指称这一特定事物。我们称一词项为摹状词必须满足下述三个条件(1)它必须描述了一事物独具的特征。(2)这词项所指称的事物必须是这个世界上独一无二的。(3)如果还存在一个具有该特征的事物,则这两个事物相同。
在有定冠词的语言里,摹状词的一般语词结构是:定冠词+形容词组+普通名词(单数)。例如:The tallest man in the wold(那个世界上最高的人)在没有定冠词的汉语里,则没有表示摹状词的一般形式。
下述语词可以看成摹状词:中华人民共和国的第一位国家主席;长江上的第二座大桥。在数理逻辑里,摹状词通常作如下的形式刻画:。其中,希腊字母t代表有一个并且仅有一个,x代表任意个体,F表示一摹状词所描述的性质。整个符号组可解释为:那个唯一具有性质F的个体。
逻辑学家关注摹状词,是因为带有摹状词的命题的判定中产生一些重要的哲学问题和逻辑问题。一个含有摹状词的命题H(ixF(x))要使之为真,必须满足下述三个条件(1)至少有——是F;(2)至多有—X是F;(3)这个唯一的X是H。
在这一点上,逻辑学家是统一的。但一旦谈命题不具备其中的条件,该命题的判定,就呈现复杂的情况,反映到数理逻辑中形成对摹状词不同的形式化处理。
着名的逻辑学家弗雷格,罗素,希尔伯特,奎因,斯特劳逊(Strawson)等人都对摹状词的制定提出了自己的意见。英国逻辑学家斯特劳逊在本世纪五十年代就摹状词的问题与罗素还发生过激烈的争议。
有关摹状词的争论其哲学问题集中于“存在”,其逻辑问题是对有摹状词命题的否定判定:它是假的还是无意义的。我们仅简略地列出三种有代表性的处理方案。
(1)弗雷格的方法:弗雷格坚持排中律在逻辑中的应用,认为一含摹状词的命题其摹状词不具唯一性时,必是一假命题。(2)罗素与怀特海的方法:在区分出一摹状词的初现与次现的基础上与弗雷格相同。
(3)希尔伯特与贝尔纳斯(Bernays)的方法:若摹状词不具有唯一性,即该命题被否定时,则该命题是一个无意义的公式,而不是合式公式。还有一些其它的方法,通过这些方法的比较研究,可以看到不同的方法有不同的哲学基础。在理论上是各有千秋的。有关摹状词的理论从一开始就得到很高的评价,被称为进行精细地哲学分析的典范,我们从中可以领略到逻辑学家们的严谨和细致。