论逻辑常项的归约

发布时间：2018-02-26 12:04

  本文关键词： 逻辑联结词 逻辑常项 一阶逻辑 皮尔士 命题逻辑 归约 存在量词 数理逻辑 真值函项 布尔代数　出处：《哲学研究》2011年06期 　论文类型：期刊论文

【摘要】：正逻辑联结词和量词都是逻辑的核心概念之一。2004年以来陆续出版的多卷本《逻辑史手册》,计划在第11卷专门以一卷的篇幅来研究后承关系、量词、否定、联结词、模态、自然推演、逻辑图等
[Abstract]:Positive logical connectives and quantifiers are among the core concepts of logic. Since 2004, many volumes of the Handbook of History of Logic have been published in succession. It is planned to devote one volume of volume 11 to the study of posthumous relations, quantifiers, negatives, connectives, and modes. Natural deduction, logic diagram, etc
【作者单位】： 中国社会科学院哲学所;
【基金】：国家社科基金项目“广义析舍的逻辑系统及其证明论与复杂性研究”(编号10BZX055)资助
【分类号】：B81

【参考文献】

相关期刊论文 前5条

1 刘新文;经典一阶逻辑的希尔伯特型系统[J];湖南科技大学学报(社会科学版);2005年02期

2 张清宇;不用联结词的经典命题逻辑系统[J];哲学研究;1995年05期

3 张清宇;不用联结词和量词的一阶逻辑系统[J];哲学研究;1996年05期

4 张清宇;经典命题逻辑的一个公理系统[J];哲学研究;1997年08期

5 张清宇;系统Z中的范式和插入定理[J];哲学研究;1999年12期

【共引文献】

相关期刊论文 前10条

1 方刚;名称来源问题的哲学意蕴——论柏拉图《克拉底鲁篇》对名称来源问题的探讨及其哲学意义[J];安徽大学学报;2005年05期

2 黄宇红;;再析“非常”的词性[J];安徽文学(下半月);2008年05期

3 聂大海,吕蓓蓓;论语言意义的基本理念[J];北方论丛;2005年05期

4 帅国文;摹状词表达概念吗?——兼与许占君同志商榷[J];毕节师专学报;1997年02期

5 姚从军;;模态命题逻辑系统K、D、T、S4、S5、B之比较[J];毕节学院学报;2009年04期

6 张汉生;专名与摹状词关系略论[J];常德师范学院学报(社会科学版);1999年01期

7 聂大海;西方语言哲学意义理论述评[J];长春大学学报;2003年06期

8 田华银;;论逻辑原子主义寻求确定性知识的价值[J];重庆工学院学报;2005年12期

9 黄斌;论不可说的东西[J];重庆建筑大学学报(社科版);2000年02期

10 龙小平;关于专名的涵义[J];重庆师院学报(哲学社会科学版);2000年04期

相关会议论文 前4条

1 廖琳;龚启荣;;论罗素的逻辑主义[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

2 张清宇;;以广义析舍为初始符号的经典命题逻辑系统[A];1997年逻辑研究专辑[C];1997年

3 刘新文;;以广义析舍和存在量词为初始符号的一阶系统[A];2003年逻辑研究专辑[C];2003年

4 王习胜;;论严格的指示词——从逻辑演进的视角看克里普克的观点与张家龙先生的辩护[A];第八届全国分析哲学研讨会论文集（上）[C];2012年

相关博士学位论文 前10条

1 冯彦波;合并逻辑方法研究[D];南开大学;2010年

2 柳思思;历史实践与规范生成[D];外交学院;2011年

3 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年

4 骆传伟;专名的涵义与指称[D];上海外国语大学;2011年

5 梁芳;计算机引起的数学哲学反思[D];中国社会科学院研究生院;2000年

6 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

7 刘新文;系统Z的量化扩张及其对话语表现理论的处理[D];中国社会科学院研究生院;2002年

8 徐英瑾;维特根斯坦哲学转型期中的“现象学”之谜[D];复旦大学;2004年

9 方刚;维特根斯坦之命题意义的确定性问题研究[D];复旦大学;2004年

10 方珍平;表达的认知量度观[D];复旦大学;2006年

相关硕士学位论文 前10条

1 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年

2 包磊;马克思的逻辑范畴理论[D];山东师范大学;2011年

3 林康廷;论奎因自然主义认识论[D];吉林大学;2011年

4 吴齐兴;西方谬误研究的历史考察与反思[D];南京大学;2011年

5 张保垒;表列演算探究[D];华东师范大学;2011年

6 于胜浩;艾伯特·维尼奇奥·拜雅的科学教育思想研究[D];华东师范大学;2011年

7 曹晓寰;埃舍尔艺术作品中的科学哲学思想[D];华中师范大学;2011年

8 谭海华;A-ε-m模式下的地名命名机制[D];四川外语学院;2011年

9 张姣姣;弗雷格涵义理论研究[D];燕山大学;2010年

10 李国浩;蒯因本体论思想研究[D];河北大学;2011年

【二级参考文献】

相关期刊论文 前3条

1 张清宇;不用联结词的经典命题逻辑系统[J];哲学研究;1995年05期

2 张清宇;不用联结词和量词的一阶逻辑系统[J];哲学研究;1996年05期

3 张清宇;经典命题逻辑的一个公理系统[J];哲学研究;1997年08期

【相似文献】

相关期刊论文 前10条

1 刘新文;;论逻辑常项的归约[J];哲学研究;2011年06期

2 曾凡桂;皮尔士“Abduction”译名探讨[J];外语教学与研究;2003年06期

3 张良林;索绪尔与皮尔士符号学观差异分析[J];长春师范学院学报;2004年06期

4 张良林;评欧美现代符号学源头中的相似之处[J];内蒙古民族大学学报(社会科学版);2004年06期

5 张良林;论皮尔士与索绪尔符号学观中的相通之处[J];邢台学院学报;2004年04期

6 卢德平;皮尔士符号学说再评价[J];北方论丛;2002年04期

7 卢德平;论符号的分类问题——皮尔士研究札记之二[J];南京师范大学文学院学报;2002年03期

8 邹铁军;科学实验思维与皮尔士的实效主义[J];学习与探索;2004年02期

9 刘新文;;皮尔士存在图研究[J];世界哲学;2006年01期

10 朱志方;皮尔士的科学哲学──反基础主义和可误论[J];自然辩证法通讯;1998年02期

相关会议论文 前10条

1 刘新文;;一阶逻辑函数完备性和逻辑常项问题[A];科学发展：社会管理与社会和谐——2011学术前沿论丛（上）[C];2011年

2 王宝龙;;对充分条件假言命题逻辑常项的再认识[A];第十六届全国法律逻辑学术讨论会论文（成就·反思·前瞻——中国法律逻辑三十年）[C];2008年

3 胡瑞娜;;皮尔士符号学的实用主义特征及其后现代趋向[A];全国“经验主义与实用主义”学术研讨会论文集[C];2009年

4 张留华;;第奥多鲁、费罗与皮尔士[A];2003年逻辑研究专辑[C];2003年

5 张留华;;追寻一位逻辑学伟人[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

6 张维真;;试论“基数量词”[A];1993年逻辑研究专辑[C];1993年

7 刘壮虎;;复合谓词的逻辑系统[A];2000年逻辑研究专辑[C];2000年

8 黄华新;胡龙彪;;逻辑的内在机制与研究对象——兼评《逻辑的观念》[A];2001年逻辑研究专辑[C];2001年

9 叶娜;罗海涛;朱靖波;张斌;;基于归纳逻辑编程的多槽信息抽取规则自动学习方法[A];全国第八届计算语言学联合学术会议（JSCL-2005）论文集[C];2005年

10 刘壮虎;;几类性质词的逻辑特征[A];第二届中国南北哲学论坛暨“哲学的当代意义”学术研讨会论文集[C];2005年

相关重要报纸文章 前10条

1 浦东新区行政学院 张留华;皮尔士：“臭名昭著的实用主义”鼻祖[N];社会科学报;2004年

2 撰稿人：田光远;走出梦游，在敞开性中追求新知[N];社会科学报;2003年

3 段毅;经济学的哲学底蕴[N];光明日报;2005年

4 吴德勤;哲学在新的经济理论创立中的作用[N];社会科学报;2000年

5 吴彤（清华大学教授）;概率统计的帝国主义观点[N];中国图书商报;2004年

6 林晖;杜威思想的当代意义[N];文汇报;2004年

7 ;实用主义哲学及其代表人物[N];中国城乡金融报;2006年

8 中华书局 陈虎;治学方法的困惑[N];社会科学报;2007年

9 学位办;研究生院奖励优秀博士学位论文[N];中国社会科学院院报;2008年

10 华北电力大学 包万平;典礼，，大学的文化符号[N];中国教育报;2008年

相关博士学位论文 前10条

1 张立娜;个体词的逻辑语义[D];清华大学;2007年

2 单黎君;图形化模型的一致性检查[D];国防科学技术大学;2008年

3 孙舒杨;统计关系学习的若干问题研究[D];吉林大学;2006年

4 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年

5 张立静;怀疑：可能、现实与潜在[D];南开大学;2009年

6 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年

7 江涛;特定领域元建模语言的形式化及其模型一致性验证研究[D];云南大学;2010年

8 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

9 程悦;建筑语言的困惑与元语言[D];同济大学;2006年

10 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

相关硕士学位论文 前10条

1 李海波;语言游戏论与自然语言量化结构[D];中国海洋大学;2004年

2 范钰丹;密码协议非否认性和公平性验证技术研究[D];解放军信息工程大学;2007年

3 马吉纯;基于Web服务的定性空间关系分析组件及应用[D];吉林大学;2007年

4 张向荣;符号与接受[D];山东师范大学;2006年

5 张超;安全协议攻击序列重构技术研究[D];解放军信息工程大学;2008年

6 王居华;皮尔士实用主义的方法论及其意义[D];山西大学;2010年

7 王晓龙;Z规格说明中一阶逻辑算子自动求精的研究与实现[D];沈阳工业大学;2005年

8 廖志华;马尔科夫逻辑网络在引文匹配和中文命名实体识别中的应用研究[D];西南大学;2009年

9 王炜程;Tableau基础理论及应用研究[D];苏州大学;2009年

10 张培友;基于移动互联网的几何证明系统的研究与实现[D];电子科技大学;2012年

本文编号：1537937