涵义语义与关于概称句推理的词项逻辑

摘要：

概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用.已有的处理用λ-表达式表达涵义,不够简洁和自然.亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的.这两方面的情况使得有必要考虑新的词项逻辑.涵义语义的基本观点是:语词首先表达的是涵义,通过涵义的作用,语词有了指称,表达概念.概称句三段论是更为常用的推理,有两个基本形式GAG和Gaa.在涵义语义的基础上建立的系统GAG和Gaa是关于这两种推理的公理系统.

关键词：涵义、概念、内涵、概称句、涵义语义、词项逻辑

所属期刊栏目：1

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金项目07BZX047

在线出版日期：2009-03-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：38-49