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

作　　者：林胜强[1] 

机构地区：[1]四川师范大学政治教育学院,成都610066

出　　处：《四川师范大学学报（社会科学版）》2015年第1期15-20,共6页Journal of Sichuan Normal University(Social Sciences Edition)

基　　金：国家社科基金重大项目"应用逻辑与逻辑应用研究"(14ZDB014)

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

关 键 词：广义量词 对当方阵 单调性 广义三段论 

分 类 号：B81-0[哲学宗教—逻辑学]