广义量词的现代对当方阵研究-四川师范大学学报.PDFVIP

第４２卷第 １期 四川师范大学学报（社会科学版） Ｖｏｌ．４２，Ｎｏ．１ ２０１５年１月 Ｊｏｕｒｎａｌ ｏｆ Ｓｉｃｈｕａｎ Ｎｏｒｍａｌ Ｕｎｉｖｅｒｓｉｔｙ （Ｓｏｃｉａｌ Ｓｃｉｅｎｃｅｓ Ｅｄｉｔｉｏｎ） Ｊａｎｕａｒｙ，２０１５ 广义量词的现代对当方阵研究 林　 胜　 强 （四川师范大学 政治教育学院，成都 ６１００６６） 　 　 摘要：在现代对当方阵中，逻辑规律具有一致性。 对一个现代对当方阵中的任意一个广义量词施加任意多次 的三种形式的否定运算，得到的广义量词仍然是原来的现代对当方阵中的广义量词。 在〈１，１〉类型的广义量词所 对应的现代对当方阵中，不但广义量词与其三个否定量词的单调性之间具有可转换关系；而且它们所对应的广义 三段论之间具有可化归关系。 由于〈１，１〉类型广义量词在自然语言中普遍存在，所以，此研究对计算机科学中的知 识表示和知识推理具有重要的意义。 关键词：广义量词；对当方阵；单调性；广义三段论 中图分类号：Ｂ８１９　 文献标志码：Ａ　 文章编号：１０００⁃５３１５（２０１５）０１⁃００１５⁃０６ ［９］ 　 　 ２０世纪中期，人们发现：（１）自然语言中存在很 间的关系来解释广义量词的普遍语义特征 。 广 多不能够用一阶逻辑中的标准量词∀和∃来加以定 义量词理论处理问题的方式直观简洁，其成果普适 义的，但却具有非常有趣的数学推理性质的量 性很强，便于对自然语言的信息处理，其研究成果对 ［１］ 词 ；（２）自然语言中还存在亚里斯多德三段论以 于逻辑学、理论语言学、计算语言学、计算机科学等 ［２］ 外的大量有效推理 ，这些推理就是基于广义量词 交叉领域都有着重要的意义。 在本文中：用Ａ、Ｂ 、Ｃ 的扩展三段论的推理。 这孕育了广义量词理论 表示广义量词所涉及的论元所组成的集合，用Ｅ、Ｆ （ｇｅｎｅｒａｌｉｚｅｄ ｑｕａｎｔｉｆｉｅｒ ｔｈｅｏｒｙ）的诞生。 广义量词包 表示所讨论的论域；广义量词用其对应的英语来表 括：（１）一阶逻辑的全称量词和存在量词；（２）限定 示；若无特别说明，量词都是指广义量词。 词；（３）由限定词 ａ，ａｎ，ｔｈｅ 或其他量化关系所组成 需要特别说明的是，广义量词理论和本文中研 的所有名词短语。 在这里，限定词是指能够修饰名 究的“量词”都是指“广义量词”，它们与汉语语言学 词的语词，比如：这个、那个、红色的、至少三分之二 中的“量词”是完全不同的两个概念。 按张晓君的 的，四个，等等。 ２０世纪８０年代以来，在Ｂａｒｗｉｓｅ 和 观点：大致说来，汉语语言学家认为的“表示事物或 ［３］ ［４］ ［５］ Ｃｏｏｐｅｒ 、 Ｋｅｅｎａｎ 、 Ｖａｎ Ｅｉｊｃｋ 、 Ｐｅｔｅｒｓ 和 动作单位”的“量词”与数词、指代词组成的量词短 ［６］ ［７］ ［８］ Ｗｅｓｔｅｒｓｔåｈｌ 、Ｓｚｙｍａｎｉｋ 、Ｃｈｏｗ Ｋａ Ｆａｔ 等人工作 语，就相当于英语语言中指称名词短语中的量化词 的基础上，广义量词理论得到了大力发展。 广义量 项的“限定词”；对汉语语言中的量词短语或名词短 词理论的表达力就于一阶逻辑的表达力。 语进行语义解释后就得到了集合论中的广义量词， 广义量词理论以集合论为基础，通过模型论对 汉语中的“专有名词”，如张三、李四也是广