谢弗函数的概念分析

发布时间：2017-09-14 16:40

  本文关键词：谢弗函数的概念分析

  更多相关文章： 谢弗函数 波斯特定理 多级联结词 希尔伯特新问题

【摘要】：本文从定义、波斯特定理、多级联结词以及证明简单性等方面对谢弗函数做一个概念上的分析,以期对这一概念的丰富和发展起到促进作用。
【作者单位】： 中国社会科学院哲学研究所;
【关键词】： 谢弗函数 波斯特定理 多级联结词 希尔伯特新问题
【基金】：国家社会科学基金项目(10BZX055)资助
【分类号】：B81-05
【正文快照】： 逻辑联结词是逻辑中的核心概念之一,①自从美国逻辑学家H.M.谢弗(H.M.Sheffer)在1913年提出“谢弗竖”这一功能完备的函数以来,围绕它从逻辑演算、证明论、逻辑哲学、布尔代数、自动定理证明等方面进行过许许多多的工作。一、谢弗函数的定义经典谢弗竖即通常所说的析舍联结词

【参考文献】

中国期刊全文数据库 前1条

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

【共引文献】

中国期刊全文数据库 前6条

1 唐芳芳;;基于广义谢弗竖的分析性模态公理系统[J];逻辑学研究;2009年03期

2 刘新文;;周延理论和内插定理[J];逻辑学研究;2012年02期

3 唐芳芳;;基于破坏性表列的模态公理系统[J];湖南科技大学学报(社会科学版);2009年01期

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

5 刘新文;;论命题与括号[J];哲学研究;2008年09期

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

中国博士学位论文全文数据库 前1条

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

【二级参考文献】

中国期刊全文数据库 前1条

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

【相似文献】

中国期刊全文数据库 前10条

1 刘新文;;谢弗函数的概念分析[J];世界哲学;2011年04期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文编号：851132