您的位置： 专家智库 > >

国家社会科学基金(12BZX061)

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

文献类型

  • 2篇中文期刊文章

领域

  • 1篇哲学宗教
  • 1篇历史地理

主题

  • 1篇定理
  • 1篇内在化
  • 1篇现代逻辑
  • 1篇逻辑
  • 1篇逻辑思想
  • 1篇逻辑系统
  • 1篇逻辑学
  • 1篇逻辑学家
  • 1篇名字
  • 1篇莱布尼茨

机构

  • 2篇中国社会科学...
  • 1篇中国社会科学...

作者

  • 2篇刘新文
  • 1篇祝瑞

传媒

  • 1篇哲学动态
  • 1篇哲学研究

年份

  • 2篇2014
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
加名字核证逻辑的极小系统被引量：1
2014年
美国逻辑学家M·斐汀在2010年对核证逻辑与混合逻辑的组合进行了初步尝试，给出了第一个混合版本的核证逻辑系统JT及其完全性和显式性定理的证明。（cf.Fitting，2010）由于技术原因，这个逻辑在证明内在化定理时要用到对自返性典范的事实公理，所以它还不是这一族逻辑中最小的系统。本文旨在把斐汀建立的逻辑弱化到核证逻辑J的对应，给出该族逻辑的一个极小系统，
祝瑞刘新文
关键词：逻辑学家逻辑系统内在化定理
莱布尼茨的理想被引量：2
2014年
现代逻辑思想开始于17世纪后半叶莱布尼茨的工作。莱布尼茨雄心勃勃的逻辑数学化理想可划分为两个组成部分：“普遍语言”（ars characteristica, characteristica universalis, lingua characteristica）和“理性演算”（calculus ratiocinator）。现代逻辑在19世纪诞生之时，正是沿着这两条路线得以实现的。
刘新文
关键词：莱布尼茨逻辑思想现代逻辑
全选 清除 导出
共1页<1>
聚类工具0