斯穆里安合并记法的一种变形
本文关键词：斯穆里安合并记法的一种变形
更多相关文章： 公式 斯穆里安合并记法 结构归纳法 实质蕴涵 荒谬蕴涵
【摘要】：公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式,由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了斯穆里安著名的合并记法。就这一新的合并记法,提出了两种结构归纳证明,建立了一个希尔伯特型古典逻辑系统,并证明其完全性。
【作者单位】： 华南师范大学政治与行政学院;
【关键词】： 公式 斯穆里安合并记法 结构归纳法 实质蕴涵 荒谬蕴涵
【基金】：广东省优秀青年创新人才培育项目(WYM08064) 教育部人文社会科学重点研究基地重大项目“现代逻辑背景下的逻辑哲学问题研究“(07JJD720045)
【分类号】：B81
【正文快照】： ~~斯穆里安合并记法的一种变形@熊明$华南师范大学政治与行政学院!广东广州510631公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式,由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了斯穆里安著名的合并记法。就这一新的合并记法,提出了两种结构
【参考文献】
中国期刊全文数据库 前3条
1 熊明;古德曼悖论与形式的归纳逻辑系统[J];华南师范大学学报(社会科学版);2003年05期
2 王健平;;实质蕴涵与自然语言中的相关蕴涵命题分析[J];华南师范大学学报(社会科学版);2005年03期
3 胡泽洪;;蕴涵刍议[J];华南师范大学学报(社会科学版);2006年05期
【共引文献】
中国期刊全文数据库 前6条
1 孙培福;;变元间的相关性是人类逻辑的本质属性——由关于“实质蕴涵”的“相关蕴涵”引发的深层思考[J];华南师范大学学报(社会科学版);2006年03期
2 邓雄雁;胡泽洪;;协调、一致与一阶公理系统的强完全性[J];华南师范大学学报(社会科学版);2010年03期
3 贾春华;王庆国;王永炎;黄启福;鲁兆麟;;基于相干蕴涵原理的《伤寒论》条件句分析[J];江苏中医药;2007年02期
4 曾庆福;;论反事实条件句[J];昆明学院学报;2008年03期
5 林石炜;;落后神学的弃女 自然科学的宠儿——试析形式归纳逻辑体系的建立[J];漯河职业技术学院学报;2010年03期
6 王健平;;弗雷格的实质蕴涵思想与现代逻辑的选择[J];学术研究;2008年01期
中国重要会议论文全文数据库 前1条
1 孙培福;;变元间的相关性是人类逻辑的本质属性——对王健平先生“相关蕴涵”说的再认识[A];第十四届全国法律逻辑学术讨论会论文集[C];2006年
中国博士学位论文全文数据库 前3条
1 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年
2 苏愉仁;基于逻辑的《金匮要略》方证理论体系研究[D];北京中医药大学;2010年
3 张文琴;反事实条件句和大卫·刘易斯的逻辑哲学[D];华东师范大学;2012年
中国硕士学位论文全文数据库 前3条
1 赵金波;蒯因论归纳问题[D];南京师范大学;2011年
2 付瑶;论古德曼反事实条件句难题[D];北京化工大学;2011年
3 韩亦佳;蕴涵与因果推理的关系[D];河南大学;2008年
【二级参考文献】
中国期刊全文数据库 前1条
1 李小五;何谓现代归纳逻辑[J];哲学研究;1996年09期
【相似文献】
中国期刊全文数据库 前10条
1 宋良平;;我在高中一年级上学期的物理课中如何领导学生作物理习题[J];物理;1954年02期
2 管瑞庭;;从东西方绘画艺术看图示的继承和发展[J];毕节学院学报;2007年02期
3 王德懋;;}嗪侠杖玫潞恼箍肮絇_l~m(cosθ)=(-1)~m(l+m)!/(l-m)!P_l~(-m)(cosθ)的直接，
本文编号：832360
本文链接：https://www.wllwen.com/shekelunwen/ljx/832360.html
