刘明元
- 作品数：7 被引量：1H指数：1
- 供职机构：西南大学更多>>
- 发文基金：国家社会科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：哲学宗教更多>>
- 简述墨子的兼爱思想
- 2011年
- 本文主要从墨子其人和兼爱思想产生的背景出发,阐述了兼爱思想的主要内容以及墨子为实现兼爱思想而提出的措施:非攻、尚贤、尚同。最后对墨子的兼爱思想从古代战国时期,现代"和谐社会"的发展和兼爱思想的局限性进行了简略评述。
- 陈治龙刘明元
- 关键词：兼爱非攻尚贤和谐社会
- 蒯因的哲学框架与其本体论的融贯性问题辨析
- 2019年
- 蒯因后期主张逻辑仅仅是带等词的初等逻辑,既把带等词的初等逻辑作为其哲学框架,又承认物理对象(最终归约为类)和类,因而其哲学框架和本体论是不融贯的。弄清导致蒯因哲学理论不融贯的原因,让集合论充当蒯因的哲学框架,调和蒯因的哲学框架和本体论之间的矛盾,对于科学理论的解释具有重要的理论价值。
- 刘明元何向东
- 关键词：蒯因本体论
- 蒯因逻辑思想与本体论研究--基于清晰性视角
- 蒯因的逻辑哲学产生越来越深远的影响，然而，不断有学者批判蒯因的狭义逻辑观，认为他局限于将逻辑视为带等词的初等逻辑，远离了现代逻辑的发展现状和发展趋势。学界不否认蒯因的本体论研究，认为它弥补了传统本体论超验性和思辨性方面的...
- 刘明元
- 关键词：蒯因逻辑思想本体论清晰性
- 文献传递
- 从使用和提及的视角看蒯因的逻辑观
- 2019年
- 西方逻辑学界或哲学界似乎只有弗雷格、卡尔纳普、塔尔斯基以及蒯因等为数不多的几个人严格区分了表达式的使用和提及,不少逻辑学家或哲学家,甚至连罗素、刘易斯、马库斯以及赖尔之类的大家都将其混为一谈。使用和提及的区分自始至终贯穿于蒯因的逻辑研究之中,充分体现了他在逻辑研究中对精确性的不懈追求,可以说它是一把打开蒯因逻辑观之门的钥匙。本文明确地指出,单独词项(包括变元)在暧昧语境中是被提及的,而在透明语境中是被使用的,并从使用和提及的独特视角,以哲学的眼光重新审视了蒯因的逻辑观,从而全方位地凸显了他研究逻辑的科学精神。
- 刘明元何向东
- 关键词：蒯因逻辑观
- 从谓词逻辑的观点看传统词项逻辑推理中的空词项
- 2011年
- 传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。
- 刘明元陈治龙
- 关键词：谓词逻辑
- 试析蒯因哲学的实用主义特征
- 蒯因哲学可以贴上诸如自然主义、实用主义、语言主义、外延主义、行为主义、整体主义、物理主义、逻辑主义、理论的体系性的标签。不少哲学家认为自然主义是蒯因哲学的首要特征,这种观点得到了蒯因本人的首肯。有的哲学家认为除了自然主义...
- 刘明元
- 文献传递
- 关于切割规则的可容许性定理的一个注释被引量：1
- 2016年
- 在《结构证明论》^(1)中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;"切割公式仅在左前提中是主公式"与"切割公式不是左前提的主公式"自相矛盾;收缩规则指代含混;"切割规则的任何一个前提不是逻辑公理"的表述不准确。文章分析这些问题并提出相关的解决方法,给出切割规则的可容许性定理一个详细而完整的证明,进一步论述经典命题逻辑矢列演算的子公式性质、一致性和可判定性。这些工作有助于提高学习和研究证明论的能力。
- 余军成余军成
- 关键词：一致性可判定性
