您的位置： 专家智库 > >

冯艳

作品数：3 被引量：5H指数：1
供职机构：北京大学哲学系更多>>
相关领域：哲学宗教政治法律更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 3篇哲学宗教
  • 1篇政治法律

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇自由逻辑
  • 1篇逻辑
  • 1篇摹状词
  • 1篇摹状词理论

机构

  • 3篇北京大学

作者

  • 3篇冯艳

传媒

  • 1篇哲学动态
  • 1篇自然辩证法研...
  • 1篇湖南科技大学...

年份

  • 2篇2005
  • 1篇2004
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
20世纪自由逻辑的产生与发展被引量：1
2004年
自由逻辑作为一个新兴的哲学逻辑分支在20世纪50年代产生。经过近50年的发展,自由逻辑已经在证明论和语义学发展方面达到较为完善的形态,但是国内学界在这一领域的研究却很少。通过对自由逻辑在20世纪产生和发展过程的介绍,指出自由逻辑的重要意义和价值,以引起国内学界的注意,深入开展这方面的研究工作。
冯艳
关键词：自由逻辑
论经典否定、直觉主义否定和弗协调否定被引量：3
2005年
本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征。并对这三种否定进行比较,指出其相同与相异之处。此外,还通过否定揭示出经典命题逻辑系统、直觉主义命题逻辑系统和弗协调命题逻辑系统之间的关系。
冯艳
自由摹状词理论研究述评被引量：1
2005年
冯艳
关键词：摹状词理论形式化方法逻辑
全选 清除 导出
共1页<1>
聚类工具0