广义量词的现代对当方阵研究

在现代对当方阵中,逻辑规律具有一致性。对一个现代对当方阵中的任意一个广义量词施加任意多次的三种形式的否定运算,得到的广义量词仍然是原来的现代对当方阵中的广义量词。在〈1,1〉类型的广义量词所对应的现代对当方阵中,不但广义量词与其三个否定量词的单调性之间具有可转换关系;而且它们所对应的广义三段论之间具有可化归关系。由于〈1,1〉类型广义量词在自然语言中普遍存在,所以,此研究对计算机科学中的知识表示和知识推理具有重要的意义。

对“一+单位词+N+否定词”类周遍性主语的广义量词个案研究

陆俭明先生指出,汉语＂一＋单位词＋N＋否定词＂类名词性短语作主语能够表示周遍性涵义。在逻辑中,这一结构往往被处理成全称量词,但是从语义角度看,它必须和否定共同出现才能表示周遍性涵义。所以,将该结构与否定视为整体处理成一个量词更加符合人们对该词的语义理解。于是,此处将此结构刻画成〈1〉类和〈1,1〉类型的广义量词分别加以考察,表明〈1,1〉类型的处理方法在语义上最符合其语义理解;并在此讨论基础上,对现代版对当方阵做出了描述。