国家社会科学基金(05BZX050)
- 作品数：2 被引量：5H指数：2
- 相关作者：冯棉更多>>
- 相关机构：华东师范大学更多>>
- 发文基金：国家社会科学基金教育部规划基金项目更多>>
- 相关领域：哲学宗教更多>>
- 逻辑推理中的相干性
- 一、相干性日常的具体推理与自然语言中的条件句密切相关,推理的一般形式可以转换为条件句。对体现推理的条件句“如果A,那么B”中的联结词“如果…,那么…”再作逻辑的抽象,就产生了“蕴涵”的概念。
- 冯棉
- 文献传递
- 子结构逻辑的研究方法与应用前景被引量：2
- 2007年
- 冯棉
- 关键词：现代逻辑发展动因逻辑研究风景线
- 相干逻辑与蕴涵怪论
- “蕴涵怪论”产生于命题逻辑而非谓词逻辑的层面上,相干性的缺失导致某些“蕴涵怪论”的产生, 却不是另一些“蕴涵怪论”生成的原因。通过对“蕴涵怪论”的分类处理,并结合现有相干逻辑系统的恰当性分析,有助于探索相干逻辑研究的新思...
- 冯棉
- 关键词：相干逻辑蕴涵怪论衍推恰当性
- 文献传递
- 论相干逻辑的研究方法被引量：3
- 2008年
- 相干逻辑的形式系统组成一个逻辑家族,这些逻辑系统的共同点是:坚持演绎推理的相干性,拒斥"结论的推导未实际使用前提"的推理方式。相干系统的分类建构与可拆分,为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种技术手段,证明了"相干原理"等一系列元定理,用以揭示相干蕴涵的逻辑特性和排除形形色色的"蕴涵怪论"。相干语义理论内涵丰富,而直观的信息论解释,不仅细致地描述了三元关系语义的理论背景,也为相干逻辑在信息论和人工智能领域的应用展示了广阔的前景。
- 冯棉
- 关键词：相干逻辑研究方法蕴涵怪论语义理论
