您的位置： 专家智库 > >

国家社会科学基金(10BZX055)

作品数：4 被引量：2H指数：1
相关作者：刘新文更多>>
相关机构：中国社会科学院哲学研究所更多>>
发文基金：国家社会科学基金更多>>
相关领域：哲学宗教更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇哲学宗教

主题

  • 1篇动态逻辑
  • 1篇动态认知逻辑
  • 1篇认知逻辑
  • 1篇皮尔士
  • 1篇量词
  • 1篇逻辑
  • 1篇逻辑联结词
  • 1篇逻辑史
  • 1篇归约
  • 1篇函数

机构

  • 4篇中国社会科学...

作者

  • 4篇刘新文

传媒

  • 1篇哲学研究
  • 1篇世界哲学
  • 1篇毕节学院学报...
  • 1篇西南大学学报...

年份

  • 4篇2011
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
谢弗函数的概念分析被引量：1
2011年
本文从定义、波斯特定理、多级联结词以及证明简单性等方面对谢弗函数做一个概念上的分析,以期对这一概念的丰富和发展起到促进作用。
刘新文
从冯·莱特的两个问题谈起——评刘奋荣的《动态偏好逻辑》
2011年
刘奋荣的《动态偏好逻辑》虽然也以冯·莱特的《偏好逻辑》为逻辑起点,然而却表现出了自己的独特优势:在方法论上采用了最新的动态认知逻辑的研究方法;在模态的偏好逻辑的基础上给出了偏好逻辑的动态形式——动态偏好逻辑;利用优先序列对偏好的原因进行了刻画;对偏好和信念的关系进行了系统的探讨;等等。
刘新文
关键词：动态认知逻辑动态逻辑
论逻辑常项的归约被引量：2
2011年
逻辑联结词和量词都是逻辑的核心概念之一。2004年以来陆续出版的多卷本《逻辑史手册》，计划在第11卷专门以一卷的篇幅来研究后承关系、量词、否定、联结词、模态、自然推演、逻辑图等逻辑核心概念的发展过程。
刘新文
关键词：逻辑联结词归约逻辑史量词
皮尔士存在图的形式推演系统
2011年
现代逻辑的奠基者之一皮尔士在1896年创造了存在图系统,存在图由Alpha图、Beta图和Gamma图三个部分组成,分别对应于古典命题逻辑、谓词逻辑、模态逻辑与高阶逻辑。首先介绍皮尔士的Alpha图,针对它的非组合性提出一个递归定义来刻画一部分皮尔士原来的Alpha图,并给出这部分Alpha图的一个形式推演系统。
刘新文
全选 清除 导出
共1页<1>
聚类工具0