国家社会科学基金(12AZD073)
- 作品数：9 被引量：13H指数：2
- 相关作者：何向东董英东武庆荣刘文侠张士彬更多>>
- 相关机构：西南大学贵州工程应用技术学院淮阴师范学院更多>>
- 发文基金：国家社会科学基金贵州省优秀科技教育人才省长资金项目中央高校基本科研业务费专项资金更多>>
- 相关领域：哲学宗教自然科学总论经济管理语言文字更多>>
- 论直觉主义谓词逻辑的矢列式自然演绎系统被引量：2
- 2016年
- 达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地位和意义。
- 余军成何向东
- 自然语言的本体论承诺
- 2015年
- 定义自然语言的本体论承诺比较复杂,需要选择关于自然语言的特定的语义理论,揭示自然语言的本体论承诺依赖对所使用的自然语言的语义装置的研究。逻辑语言是处理自然语言的表达意义的媒介工具,形式工具的表达力依赖所使用的逻辑语言,需要运用形式语言说明自然语言语义的本体论承诺。在实体的种类中必须接受存在关于实体的自然语言的表达以及对这些表达的语义分析的多重区分。下面,对这些区分进行澄清,并讨论自然语言语义的本体论承诺的意义。
- 董英东何向东
- 关键词：自然语言本体承诺
- 对布兰顿推理语义学的哲学审视
- 2015年
- 传统的语义理论如指称论、观念论、使用论等,分别从指称、观念、使用等角度对意义问题进行了深入的探讨,它们各自含有或多或少合理的因素,但也带有或大或小的片面性。与以上探究进路不同,美国当代著名哲学家布兰顿以推理为切入点彰显了对意义问题的不同理解,一定程度上实现了意义问题研究的范式转换。值得深思的是,由于过分强调概念推论实践的中心地位,在某种程度上,也致使他无法真正地将逻辑的形式主义纳入其理论考量。
- 武庆荣
- 基于道义计分模式的知识论重建
- 2013年
- 传统知识论将知识定义为“得以确证的真信念”（justified true belief，简称为JTB），但自1963年盖梯尔（E．L．Gettier）提出反例后，这种观点受到了越来越多的质疑。现代哲学在对知识何以为知识的研究中，对知识的合理性进行了辩护，重建了知识论。本文基于语言实践的道义计分模式，
- 武庆荣
- 关键词：道义现代哲学语言实践信念
- 戴维森的真理、信念与怀疑论
- 2016年
- 通过探讨戴维森的真理以及他所谓的意义、真理和信念之间的内部关系,不难发现怀疑主义存在一定的争议。我们试图重构戴维森关于这些概念的方法,以期达到反怀疑主义的结果。为了全面地对戴维森的思想进行批判性理解,应重点关注戴维森对于这些问题的初始理解。研究表明,戴维森成功地提供了关于真理、意义以及信念之间相互作用的系统,采用第三人称的方法分析认知,解释了这些概念在理性行为中的作用,特别关注了其在言语交际理论中的作用,也试图证明戴维森为什么希望理解真理以及与此观点相关的思想。
- 董英东
- 关键词：戴维森真理信念怀疑论
- 基于生态效益的制造商再制造竞争决策模型被引量：7
- 2016年
- 以生态效益最大化为决策准则,研究了两家制造商回收再制造废旧产品的竞争决策,研究发现:无论回收再制造本身是否经济,回收再制造废旧产品都对企业有利,先实施回收再制造的企业获利更多。随着环境成本的增加,回收率升高,制造商收益下降。产品价格与再制造成本优势有关,成本优势高时,随着环境成本的增加,产品价格降低,对消费者有利;成本优势低时,制造商将环境成本转嫁给消费者,产品价格上升到最高点后下降。随着再制造成本优势的增加,产品价格下降,回收率和制造商收益升高,制造商和消费者均获益。再制造成本优势不同的两家制造商回收再制造时,成本优势高的制造商产品价格低,回收率和企业收益高。
- 刘光富刘文侠张士彬
- 关键词：回收再制造闭环供应链生态效益
- 关于奎因的本体论标准的批判
- 2016年
- 奎因提出的本体论承诺的逻辑或语言的标准主要是为了讨论本体论承诺和语义之间的关系,是关于一阶语句的形式分析。对奎因的本体论承诺标准的批判主要有两条可能的进路,其一是对本体论标准的哲学价值的批判分析,其二是对奎因的系统化方法的局限性进行批判。语言逻辑的研究由外延研究向内涵研究的转变同样与探索本体论承诺有关。霍奇和拉约分别从这两方面对奎因的本体论标准进行了批判。
- 董英东何向东
- 关键词：本体论承诺逻辑
- 可能世界语义下的本体论承诺被引量：1
- 2015年
- 为了探索内涵语言的双重性,就需要研究外延逻辑语言之外的本体论承诺。拉约(Rayo)建议利用可能世界语义理论解释本体论承诺,认为任意特定的语义都可看作是用来阐述本体论承诺的不同框架,因此,需要在对象的真实存在和根据语义理论指派的对象的存在之间做出区分。在可能世界语义理论中,解释反事实的情况则更加复杂。拉约对奎因的本体论标准的重建进行了剖析,并讨论了克里普克的语义理论及其对本体论承诺的传承。外延逻辑的语义,特别是一阶逻辑,无法跨越某些特定的理论来确定意义问题。可以用外延主义的方法来理解本体论承诺,普特南利用该方法说明了意义是确定的。
- 董英东何向东
- 关键词：语义承诺
- 试析约翰·范本特姆对逻辑“新心理主义”的辩护被引量：3
- 2013年
- 约翰·范本特姆（J．vanBenthem，1949一）是当代世界最著名的逻辑学家之一，曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士，他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的逻辑研究中心之一。上世纪70年代他在模态对应理论方面的开拓性工作，使得对应理论成为模态逻辑的三大支柱之一。上世纪90年代以后他在动态认知逻辑研究领域的创造性工作，也使得该领域成为当今世界上最为活跃的逻辑研究领域之一。他除了在模态逻辑、语言逻辑和动态认知逻辑等领域颇有建树外，在逻辑哲学领域也提出了很多深刻而丰富的思想。本文对范本特姆在《逻辑与推理：事实重要吗？》、《逻辑正往何处去，它应该吗？》等论文中所阐述的“新心理主义”思想进行梳理，分析他是怎样为“新心理主义”进行成功的辩护的。
- 郭美云周君
- 关键词：新心理主义逻辑学家范本辩护动态认知逻辑逻辑研究
