概称句词项逻辑系统GAG与Gaa的完全性

发布时间：2019-06-01 12:51

【摘要】：GAG与Gaa是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG与Gaa是可靠的,但是完全性证明一直空缺。通过完全性证明,发现有必要对原来的涵义语义做一些补充和完善,为此提出涵义语义结构的一般形式,进而给出全涵义结构和实涵义结构。原来的语义结构实际上是全涵义结构。完全性证明需要使用实涵义结构。实涵义结构的框架部分与解释函数有关,因而不完全独立于被解释的语言。实涵义结构更像是认知主义语义观下的语义构造。长期以来,实在论语义观在逻辑学研究中根深蒂固。实涵义结构的提出,对这类逻辑研究的哲学基础提出了反思。
[Abstract]:......
【作者单位】： 深圳大学人文学院哲学系;北京大学哲学系;
【基金】：国家社科基金重大项目“基于多学科视域的认知研究”12&ZD119
【分类号】：B812

【参考文献】

相关期刊论文 前4条

1 周北海;;涵义语义与关于概称句推理的词项逻辑[J];逻辑学研究;2008年01期

2 周北海;毛翊;;常识推理基础逻辑系统M的完全性[J];西南大学学报(人文社会科学版);2006年01期

3 周北海;概称句本质与概念[J];北京大学学报(哲学社会科学版);2004年04期

4 周北海;毛翊;;一个关于常识推理的基础逻辑[J];逻辑研究专辑;2003年00期

相关会议论文 前1条

1 周北海;毛翊;;常识推理的形式刻画[A];2005年逻辑研究专辑[C];2005年

【共引文献】

相关期刊论文 前10条

1 陈星群;周北海;;概称句词项逻辑系统GAG与Gaa的完全性[J];逻辑学研究;2017年02期

2 刘壮虎;;概念结构理论[J];逻辑学研究;2017年02期

3 张立英;;以可推翻论证为基点的非单调推理研究[J];哲学动态;2017年05期

4 张立英;;归纳推理的概称句解释[J];哲学分析;2017年02期

5 张凌;;Generic Sentences译为“指类句”,还是“概称句”?[J];西安外国语大学学报;2017年01期

6 张斌峰;侯郭垒;;法庭论辩中的诉诸权威及其合理性分析——基于批判性思维与专属知识人的双重视角[J];法律方法;2016年02期

7 张凌;;概称句的预设机制研究[J];外语教学;2016年04期

8 刘正光;陶明星;张紫烟;;虚拟性与句法语义的逻辑关联问题[J];外语教学与研究;2016年01期

9 黄蓓;;类指句的入场问题[J];当代外语研究;2015年08期

10 赵文慧;黄新;;认知语境视域下指类句的语用认知[J];郑州航空工业管理学院学报(社会科学版);2015年03期

【二级参考文献】

相关期刊论文 前1条

1 周北海;概称句本质与概念[J];北京大学学报(哲学社会科学版);2004年04期

【相似文献】

相关期刊论文 前10条

1 李先q;;谈谈词项的内涵和外延[J];逻辑与语言学习;1986年06期

2 陈宗明;;词项的逻辑——语言逻辑漫活之二[J];逻辑与语言学习;1986年04期

3 何向东,吕进;关于词项和概念的辨析[J];西南师范大学学报(人文社会科学版);2004年05期

4 段方雪;;关于词项和概念之争[J];重庆工学院学报(社会科学版);2009年08期

5 ;语言逻辑(下)[J];逻辑与语言学习;1989年05期

6 王明祥;关于词项的两个问题[J];贵州社会科学;1990年04期

7 王法学;关于词项的种类[J];山东师大学报(社会科学版);1999年03期

8 胡浩;;理论词项的类比解释及其困难[J];华南师范大学学报(社会科学版);2006年03期

9 王玉红;“词项”——命题的元素[J];遵义师范学院学报;2005年05期

10 徐明明;关于Ramsey语句的一个注记[J];深圳大学学报(人文社会科学版);1993年03期

相关会议论文 前2条

1 许锦云;;普通逻辑中的概念应改为词项[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 李永铭;;普通逻辑三问[A];1997年逻辑研究专辑[C];1997年

，

本文编号：2490287