逻辑主义

作品数：161被引量：278H指数：6
导出分析报告
相关领域：哲学宗教更多>>
相关作者：刘靖贤江怡黄敏卢风郭泽深更多>>
相关机构：中山大学北京大学武汉大学清华大学更多>>
相关期刊：更多>>
相关基金：国家社会科学基金全国教育科学“十五”规划教育部重点课题中央高校基本科研业务费专项资金山西省回国留学人员科研经费资助项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
论牟宗三对“还原公理”的阐释与批判
《湖南科技大学学报（社会科学版）》2024年第2期41-50,共10页蒋昊 
牟宗三早年对《数学原理》有过深入了解,意识到三大存在公理在其中一线贯穿,它们将《数学原理》建立在假定之上,使数学和逻辑的基础不保,而还原公理又是其中最基础的一环。牟宗三对还原公理进行了实在论指认,并判定《数学原理》由此陷...
关键词：牟宗三 《数学原理》 还原公理 逻辑哲学 逻辑主义 
历史主义对德国来源原则的影响——从1881年《国家机密档案馆档案整理条例》说开去
《档案学通讯》2024年第2期100-108,共9页刘芮 
中国人民大学科学研究基金(中央高校基本科研业务费专项资金资助)“来源的概念去魅及话语演变”(23XNH152)。
德国来源原则是历史主义发展的产物,历史主义认识论和方法论推动档案整理方法从逻辑主义逐渐转向历史主义,并在1881年《国家机密档案馆档案整理条例》中留下深刻的时代烙印。历史主义认识论个体性和发展性影响了档案学者和历史学者对全...
关键词：历史主义 逻辑主义 来源原则 登记室制度 
理解人工智能的13个关键词
《三联生活周刊》2023年第14期42-44,共3页肖楚舟 
“人工智能”是一个庞杂的动态概念,各种研究流派和新名词层出不穷。储备一些基本的专业词汇,能帮助我们更快理解人工智能领域的新突破究竟意味着什么。人工智能主要流派1符号主义(Symbolicism)符号主义又称为逻辑主义、心理学派或计算...
关键词：人工智能 符号主义 符号运算 研究流派 心理学派 逻辑主义 动态概念 专业词汇 
罗素类型论的一种唯名论解释被引量：2
《哲学研究》2022年第6期117-125,共9页林静霞 
国家社会科学基金重大项目“广义逻辑悖论的历史发展、理论前沿与跨学科应用研究”(编号18ZDA031)的阶段性成果。
对于罗素类型论中阶序与类型划分的起源与本质,学界主流的实在论解释主张,阶序与类型划分了不同的命题函项,使之对应于不同层级的实体。但这种解释导致量化规则失效和命题函项歧义。近年来,罗素1903—1908年间手稿的面世为重新审视类型...
关键词：类型论 命题函项 唯名论解释 逻辑主义 
基础数学真理何以形而上学必然?
《自然辩证法研究》2022年第4期115-121,共7页陈培阳 
在有关模态的哲学问题中,数学真理常被哲学家们视作是形而上学必然的。然而由于弗雷格的逻辑还原并不成功,因此这实际上是缺少充分解释的。这篇论文将首先澄清形而上学必然性的准确含义,然后分别总结近年来出现的基于逻辑主义策略的、...
关键词：形而上学必然性 逻辑主义 集合论基础主义 数学实践 本质主义 
逻辑主义与历史主义视野下高校教学档案管理运行机制研究被引量：1
《大众文艺（学术版）》2021年第14期221-222,共2页邓繁荣 
高校教学档案属于专门档案范畴,具有档案的一般特征,同时又有其独特性,记录和反映着高等学校真实教学过程,是教学和管理过程集体智慧的结晶。高校档案管理从总体上分为"实体管理"和"内容信息的开发和利用"两个方面,而这两方面所采用的...
关键词：高等院校教学档案管理 逻辑主义 历史主义 “二元主义” 
从现代逻辑主义看爱情命题——试讨论爱情命题在现代逻辑主义视野下的成立可能
《神州》2020年第19期22-23,共2页刘卓 
现代逻辑主义的兴起使人们将目光投入到了语言命题的合理性和逻辑可分析,提出了发展哲学的另一种可能路径。然而其理论中的对形而上学问题的粗暴排斥使其存在哲学层面上对人生问题、伦理问题等思考的缺失,无法完全否定形而上学问题,甚...
关键词：现代逻辑主义 罗素 爱情 卡尔纳普 
罗素的逻辑学和分析哲学——为纪念罗素访华一百周年而作
《北京大学学报（哲学社会科学版）》2020年第3期32-43,共12页陈波 
国家社会科学基金重大项目"当代逻辑哲学重大前沿问题研究"(项目编号17ZDA024)的阶段性成果。
罗素的主要学术成就集中在逻辑学和分析哲学领域。在逻辑学方面,他为了避免悖论,提出(禁止)恶性循环原则,发展了简单类型论和分支类型论;以类型论为基础,建立了命题逻辑、一阶谓词逻辑、等词理论、摹状词理论等;坚持逻辑主义主张,用逻...
关键词：罗素 逻辑主义 逻辑演算 逻辑原子主义 摹状词理论 逻辑构造论 
逻辑性和弗雷格算术与简单类型论的逻辑主义
《逻辑学研究》2020年第3期62-81,共20页石伟军 
弗雷格和罗素的逻辑主义由两个部分构成:可证明性论题和可定义性论题。可以很确信地说,可证明性论题并不能得到完全的辩护。但是,为了向两者,特别是可定义性论题,提供辩护或者拒斥之,我们需要逻辑性的标准来决定,除了其它常元的逻辑性之...
关键词：逻辑主义 弗雷格 常元 同态 可定义性 塔尔斯基 同构 谢尔 
弗雷格的逻辑主义与解释的分析之意义
《清华西方哲学研究》2019年第1期124-144,共21页迈克尔·贝尼 商小彧(译) 
本文提出,分析有三种样式。其中"解释的分析"(interpretive analysis)在20世纪早期受到对数学的基础之关切所促进,在分析哲学中占据了重要的地位。本文以弗雷格和罗素对"解释的分析"之应用为例,强调了弗雷格和罗素对于数学之基础和分析...
关键词：弗雷格 抽象原则 分析哲学 
全选清除导出
共17页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部