广义量词的现代对当方阵具有逻辑一致性-逻辑学论文-哲学论文.docxVIP

广义量词的现代对当方阵具有逻辑一致性-逻辑学论文-哲学论文 ——文章均为WORD文档，下载后可直接编辑使用亦可打印—— 　　20 世纪中期，人们发现: ( 1) 自然语言中存在很多不能够用一阶逻辑中的标准量词和来加以定义的，但却具有非常有趣的数学推理性质的量词［1］; ( 2) 自然语言中还存在亚里斯多德三段论以外的大量有效推理［2］，这些推理就是基于广义量词的扩展三段论的推理。这孕育了广义量词理论( generalized quantifier theory) 的诞生。广义量词包括: ( 1) 一阶逻辑的全称量词和存在量词; ( 2) 限定词; ( 3) 由限定词 a，an，th