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

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

    (袁旭亮)

  • 中国哲学年鉴2017卷

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

    出版日期:2017-12

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

    在原书中阅读
  • 相似文献
  • 数理逻辑发展史——从莱布尼兹到哥德尔

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

    该书是中国第一部系统全面阐述数理逻辑及其思想成果的历史发展的专著,共四部分。第一部分数理逻辑史前史,阐述了亚里士多德三段论、斯多阿命题逻辑和中世纪逻辑,以此说明数理逻辑自身的一个重要来源。第二部分数理逻辑初创时期,详细论述了莱布尼兹关于建立普通语言的思想;布尔逻辑代数以及逻辑代数的发展;德摩根关系逻

    数理逻辑发展史——从莱布尼兹到哥德尔

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

    该书是中国第一部系统全面阐述数理逻辑及其思想成果的历史发展的专著,共四部分。第一部分数理逻辑史前史,阐述了亚里士多德三段论、斯多阿命题逻辑和中世纪逻辑,以此说明数理逻辑自身的一个重要来源。第二部分数理逻辑初创时期,详细论述了莱布尼兹关于建立普通语言的思想;布尔逻辑代数以及逻辑代数的发展;德摩根关系逻

    哥德尔不完全性定理

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

    全书共分4章,第一章引言部分,主要着眼于学术活动,介绍了哥德尔的生平。作者分析了哥德尔证明其不完全性定理的历史背景。19世纪末20世纪初源于古希腊亚里士多德的形式逻辑已经发展到了公理化的、逐步形式化的逻辑演算。数学中的代数、几何和数学分析也逐步严格地公理化、形式化了。这个过程导致建立了非欧几何,这就使得数

    中介公理集合论系统MS

    来源: 中国哲学年鉴1989 \ 论文选介

    本文构造和发展一种以中介逻辑ML为形式语言的中介公理集合论MS。全文共分6部分。在前4部分中,给出了精确谓词、模糊谓词、“恰集”、“概集”、“下概集”、小集和巨集等概念在MS中的形式定义,并讨论和建立了MS的各种公理,引出了一系列的定理。第五部分讨论MS与ZFC的关系,作者指出,只要对MS的个体和谓词加以必要的限制,

中国哲学年鉴

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