主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

数理逻辑在中国的发展史研究(1920-1966)  CNKI文献

数理逻辑,又称符号逻辑、理论逻辑逻辑斯蒂,数学的一个分支,用数学方法研究的逻辑或形式逻辑。数理逻辑诞生于17世纪末,迄今为止,已有三百余年的历史。数理逻辑最...

苏日娜 导师:代钦 内蒙古师范大学 2020-06-15 博士论文

关键词: 中国现代数学史 / 数理逻辑 / 伯特兰·罗素 / 边缘性学科

下载(178)| 被引(0)

民国前期数学现代转型的文化观照(1912-1935年)  CNKI文献

民国时期的学术是中国学术史上的一座高峰。数学学科的发展历程也是如此,中国现代数学在民国后期(1936-1949年)出现了一次研究的高潮,许多数学家逐渐进入了世界数学舞台的中央,一些研究成果达到了世界先进水平。我们审...

宋晋凯 导师:张培富 山西大学 2020-06-01 博士论文

关键词: 民国前期 / 数学 / 现代转型 / 文化

下载(65)| 被引(0)

算术命题之真的哲学辨析  CNKI文献

从知识发展的历程看,人们对算术命题的接受是以真理性为前提的。在考察真理性的来源之际,人们更愿意相信它的先天普遍性:人类的知识应该建立在普遍的、自明的命题之上。然而,我们发现仅仅从个人角度考虑问题可能会丧失...

王文良 导师:师庭雄 西北师范大学 2020-06-01 硕士论文

关键词: 算术命题 / 先天综合命题 / 外延 / 数学直觉

下载(23)| 被引(0)

蒯因逻辑思想与本体论研究  CNKI文献

蒯因的逻辑哲学产生越来越深远的影响,然而,不断有学者批判蒯因的狭义逻辑观,认为他局限于将逻辑视为带等词的初等逻辑,远离了现代逻辑的发展现状和发展趋势。学界不否认蒯因的本体论研...

刘明元 导师:何向东 西南大学 2020-05-25 博士论文

关键词: 蒯因 / 逻辑思想 / 本体论承诺 / 清晰性

下载(48)| 被引(0)

罗素逻辑学和分析哲学——为纪念罗素...  CNKI文献

罗素的主要学术成就集中在逻辑学和分析哲学领域。在逻辑学方面,他为了避免悖论,提出(禁止)恶性循环原则,发展了简单类型论和分支类型论;以类型论为基础,建立了命题逻辑、一阶谓词逻辑...

陈波 《北京大学学报(哲学社会科学版)》 2020年03期 期刊

关键词: 罗素 / 逻辑主义 / 逻辑演算 / 逻辑原子主义

下载(240)| 被引(0)

罗素类型论研究  CNKI文献

19世纪末,以康托尔集合论为基础的数学进入了快速发展时期,但是随着集合论悖论被发现,尤其是罗素悖论的发现,在学界引起一片哗然,震动了整个数学界。当时罗素正在研究逻辑与数学的关系的问题,即#~

赵静丽 导师:赵贤 河北大学 2020-05-01 硕士论文

关键词: 罗素 / 集合论悖论 / 类型论 / 命题函项

下载(93)| 被引(0)

弗雷格的逻辑主义与解释的分析之意义  CNKI文献

本文提出,分析有三种样式。其中"解释的分析"(interpretive analysis)在20世纪早期受到对数学的基础之关切所促进,在分析哲学中占据了重要的地位。本文以弗雷格和罗素对"解释的分析"之应用...

迈克尔·贝尼 商小彧 《清华西方哲学研究》 2019年01期 期刊

关键词: 弗雷格 / 抽象原则 / 数学基础 / 分析哲学

下载(84)| 被引(0)

逻辑哲学论》的“思想”  CNKI文献

"思想"是《逻辑哲学论》中一个很重要但又很不清晰的概念;维特根斯坦本人,以及常见的哲学文献,都没有为此概念提供清晰可把握的解说。如何准确理解这一概念,仍然是诠释《逻辑哲学论》需要克服的...

刘小涛 逻辑学研究》 2019年05期 期刊

关键词: 思想 / 逻辑 / 维特根斯坦

下载(162)| 被引(0)

维特根斯坦论数学基础  CNKI文献

维特根斯坦认为20世纪初出现的数学基础三大流派之间的不同争论,实际上都是源于对数学基础问题的认识论思考的混淆,即他们没有从语言句法角度对数学基础问题做出真正的澄清。维特根斯坦认为数学本质上并不需要任何基础...

徐弢 《学术界》 2019年02期 期刊

关键词: 维特根斯坦 / 数学基础 / 逻辑主义 / 元数学

下载(144)| 被引(0)

‘虚’‘实’与‘真’‘妄’之间——数学不可知论在民国的...  CNKI文献

数学不可知论是20世纪数学界说之一,在数学基础研究领域占有极为重要的地位。罗素来华使这一理论在民国学界得到了更为广泛的传播,促进了民国时期现代数学的发展,同时,它自身所体现出的"空洞无物"和&...

宋晋凯 张培富 《自然辩证法研究》 2018年12期 期刊

关键词: 罗素 / 不可知论 / 数学基础 / 唯物辩证法

下载(192)| 被引(0)

结构主义语言学视域下对逻辑主义认识论的再审...  CNKI文献

从结构主义语言学的视域看,逻辑主义真理的一个认识论缺陷就是没有区分形式化逻辑语言的"所指"与"能指"。由于坚持还原论和逻辑中心主义的信念,由此陷入了语义困境...

黄秦安 《陕西师范大学学报(哲学社会科学版)》 2018年03期 期刊

关键词: 逻辑主义 / 结构主义语言学 / “所指” / “能指”

下载(298)| 被引(1)

数学哲学视角下维特根斯坦的思想演变及其对后现代主义  CNKI文献

在当代西方哲学家中,维特根斯坦显得尤为特殊,他对于哲学的重新理解可以说是哲学史和哲学观的一次转折。学界大多是将其思想置于分析哲学的框架内进行语言哲学的考察,而其数学哲学思想并未受到应有的重视。不容忽视的...

刘楠 导师:黄秦安 陕西师范大学 2018-05-01 硕士论文

关键词: 数学哲学 / 逻辑 / 语言游戏 / 后现代主义

下载(133)| 被引(0)

弗雷格的《算术基本规律》  CNKI文献

弗雷格被看作是分析哲学的奠基人和数理逻辑的创始人,然而,他的毕生工作都致力于建立一种被称为逻辑主义的数学哲学。他在《算术基本规律》一书中给出了执行逻辑主义方案的形式系统。然而,由于

刘靖贤 韩东旭 逻辑学研究》 2017年03期 期刊

关键词: 逻辑主义 / 算术基本规律 / 罗素悖论

下载(140)| 被引(0)

罗素类型论研究  CNKI文献

类型理论是罗素为了解决悖论进而实现其逻辑主义理想而提出的理论。1903年,罗素在《数学原则》中提出简单类型论,对类、关系、数等进行类型划分,希望解决了罗素悖论。但是,由于存在简单类型论...

林静霞 导师:何纯秀 厦门大学 2017-06-30 硕士论文

关键词: 罗素 / 类型论 / 变元

下载(91)| 被引(1)

逻辑分析方法的若干误解辨析  CNKI文献

逻辑分析方法就是在科学中大行其道的假说演绎法,它本质上属于归纳而不是演绎的范畴,它的目的并不追求确实性的知识,而是将纷繁复杂的寻常的事物或现象还原为逻辑上更原始、更简单的概念或原理,从而深化我...

翟玉章 王聪 《哲学研究》 2017年06期 期刊

关键词: 罗素 / 逻辑分析方法 / 逻辑主义 / 摹状词理论

下载(387)| 被引(1)

分析哲学思想的溯源研究—从康德、波尔查诺到弗雷格  CNKI文献

进入21世纪,分析哲学家更加关注对自身历史的研究。长久以来,分析哲学总是被看作“非历史的”,但分析哲学的发展历程却不断地显示着这种哲学传统的历史性特征。无论在基本观念方面,还是其基本方法,分析哲学都和传统西...

王策 导师:金延 陕西师范大学 2017-05-01 博士论文

关键词: 康德 / 波尔查诺 / 弗雷格 / 逻辑语义学

下载(560)| 被引(0)

金岳霖哲学体系建构历程研究  CNKI文献

金岳霖的哲学既有中国传统思想之意蕴,又有近代西方哲学之框架;既有立足于情感的部分,又有立足于理智的部分。金岳霖在逻辑、实证、唯物论等方面各有建树。通过对金岳霖哲学体系建构历程的研究,可以更清晰、更系...

郑毅 导师:许宁 陕西师范大学 2017-05-01 博士论文

关键词: 金岳霖 / 罗素 / 逻辑 / 实证

下载(281)| 被引(0)

逻辑到数学与从数学到逻辑  CNKI文献

逻辑和数学之间的联系是异常紧密的。出现于弗雷格、罗素、哥德尔和塔斯基著作中的经典逻辑,其主要目的并不是给出判断一个统一的说明,也不是为了处理自然语言中的量词问题,也不是为了消除自然语言...

朱建平 《广西大学学报(哲学社会科学版)》 2015年05期 期刊

关键词: 逻辑 / 数学 / 逻辑哲学 / 数学哲学

下载(153)| 被引(2)

科学的先天形式研究  CNKI文献

反思当代科学哲学研究的现状和理论一直是阐释和发展马克思主义认识论的重要路径。当代科学哲学的两种重要思潮(自然主义和科学社会学)都在一定程度上面临着相对主义的困境。为走出困境,一个可能的...

代利刚 导师:安维复 华东师范大学 2015-05-01 博士论文

关键词: 康德 / 马克思主义 / 逻辑经验主义 / 先天形式

下载(947)| 被引(2)

弗雷格关于数的本体论研究  CNKI文献

德国数学家弗雷格于1879年创立了一阶逻辑系统,并借助该系统进行了数学基础的研究。他关于数的本体论研究包括两个方面:一是反驳传统的关于数的本体论观点,二是从一阶逻辑的角度出发揭示数的本质。弗雷格...

戴冕 导师:张燕京 河北大学 2015-05-01 硕士论文

关键词: 弗雷格 / / 本体论

下载(116)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状