学术殿堂之重器      学术历史之奠基
  • 年鉴年份:
  • 主编:       
  • 年鉴名称:
请输入关键词
请选择来源年鉴
  • 年鉴年份:
  • 主编:       
  • 年鉴名称:
当前位置:首页 >>中国哲学年鉴2017卷 >>文献详情
  • 在线阅读
  • 原书中阅读
  • 反基础公理的逻辑研究
    作者: 李娜

    全书共分为3编。第1编“用图刻画的反基础公理”主要证明Aczel用图刻画的各种反基础公理与公理集合论系统ZFCsup-的相对协调性,主要的工作是为用图的方法刻画的反基础公理AFA所构成的非良基集合论系统ZFCsup-+AFA建立不同的集合论模型。第2编“用方程组刻画的反基础公理”认为,乔恩·巴韦斯等人用代数的方法(方程组)刻画的反基础公理——解引理AFA断言平坦方程组有唯一解;但当平坦方程组是x={x}时,可以得到方程组{x}有两个不相等的解,与乔恩·巴韦斯等人的断言不一致。为了使解引理AFA更加符合直观,作者基于线性方程组及其解结构的思想将乔恩·巴韦斯的平坦方程组划分为齐次平坦方程组和(Barwise-型)平坦方程组,并假设齐次平坦方程则有解,(Barwise-型)平坦方程组有唯一解。第3编“附录”,主要介绍了两个框架之间的“满模拟”关系和“互摸拟”关系。

    (袁旭亮)

  • 中国哲学年鉴2017卷

    出版社:中国社会科学出版社

    出版日期:2017-12

    章节:《中国哲学年鉴2017》 \  新书选介

    在原书中阅读
  • 相似文献
  • 反驳系统的思想源流与前沿发展

    来源: 中国哲学年鉴2017 \ 学术前沿

    2011年,“命题逻辑的反驳系统”作为第二版《哲学逻辑手册》的第二章出版。ed.,D. Gabbay and F. Guenthner(eds.),Vol.16,Springer,2011.">[※注]反驳系统源自于逻辑史上著名的波兰学派扬·卢卡西维茨的命题排斥思想,而后者则源自于亚里士多德关于三段论的研究。1996年,张清宇先生发表了他写于1986年的一篇关于“证

    阴阳五行说是一种工具性本质科学

    来源: 中国哲学年鉴2014 \ 第八篇 论文荟萃

    中国五千年绵延不绝的文明积累了有关自然界的丰富而系统的知识,阴阳五行是这一知识体系的核心概念之一。阴阳五行不仅应从哲学意义上来理解,更应从科学意义上来理解。科学有事实科学与本质科学之分,阴阳五行学说以哲学直观与思辨作为公理基础,以准公理系统式的纯然本质的方式存在与运行,不依赖事实经验并摆脱经验事实而

    集合论:对无穷概念的探索

    来源: 中国哲学年鉴2015 \ 新书选介

    该著介绍了集合论的基础知识,共有“集合与公理”、“关系与函数”、“实数的构造”、“基数”、“滤、理想与无界闭集”、“集合的宇宙”、“可构成集”、“力迫”等9章内容;除了讨论集合论的基本概念,还讨论了可构成集、力迫法等现代内容,以及与连续统假设相关的一些哲学问题。(刘新文)-郝兆宽-杨跃

    模态逻辑中的典范问题研究

    来源: 中国哲学年鉴2015 \ 新书选介

    自20世纪70年代以来,模态逻辑与计算科学、语言学等学科相交互,受到了越来越多的关注,对其自身的理论研究也得到了充分发展,形成了以完全理论、对偶理论及对应理论为主要模块的研究领域。典范问题源于完全性理论,与对偶理论、对应理论及有穷模型性等研究方向皆有密切关联,在典范问题研究中也发掘出了许多自然且深刻的概

中国哲学年鉴

请输入收藏夹名称
您确定要删除吗?