中央高校基本科研业务费专项资金(12XNJ024)

作品数：2被引量：1H指数：1
导出分析报告
相关作者：许涤非裘江杰更多>>
相关机构：中国人民大学更多>>
相关期刊：《哲学研究》《湖南科技大学学报（社会科学版）》更多>>
相关主题：一阶逻辑反基础主义经典数学逻辑学家理性怀疑更多>>
相关领域：理学社会学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有穷关系模型上的模态可定义
《湖南科技大学学报（社会科学版）》2013年第3期31-33,共3页裘江杰 
中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目(12XNJ024)
一阶语言与模态语言从不同侧面描述关系模型。Van Benthem刻画定理从抽象的角度指出,在描述关系模型层面上模态语言表达力弱于一阶语言。从可定义这一相对具体的角度表明,即使在讨论有穷的关系模型时,模态语言也严格弱于一阶语言。
关键词：关系模型 模态可定义 齐集 
经典数学的逻辑基础被引量：1
《哲学研究》2012年第3期98-104,128,共7页许涤非 
新加坡国立大学数学所(IMS)和约翰.邓普顿基金(John Templeton Foundation)提供的资助;中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)项目"经典逻辑与非经典逻辑的哲学基础"(编号12XNJ024)的资助
经典数学理论的逻辑完全是一阶逻辑还是也需要二阶逻辑？逻辑学家对此一直有争议。这种争议大约开始于20世纪20年代，但是似乎直到现在还未尘埃落定。在普遍接受反基础主义的前提下，数学基础的研究任务不再是为数学的各个分支寻找最大...
关键词：一阶逻辑 数学理论 数学分支 反基础主义 逻辑学家 20世纪 尘埃落定 理性怀疑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部