证明论

作品数：145被引量：51H指数：4
导出分析报告
相关领域：文化科学政治法律更多>>
相关作者：周志荣陈荣孙吉贵胡学军魏庆玉更多>>
相关机构：中山大学西南大学陕西师范大学北京师范大学更多>>
相关期刊：更多>>
相关基金：国家社会科学基金江苏高校优势学科建设工程项目江苏省自然科学基金中山大学校科研和教改项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Tonk、意义与逻辑
《逻辑学研究》2025年第1期76-92,共17页周志荣 
国家社会科学基金重大项目“逻辑词汇的历史演进与哲学问题研究”(20&ZD046)。
Tonk及其家族成员引起的Tonk-问题是证明论语义学面临的主要挑战之一。常见的解决问题的做法是通过修改或禁止特定的后承关系来阻止由tonk等异常词项导致扩张系统平凡化。这种解决方案并不恰当,它混淆了词项的意义问题和逻辑性问题以及...
关键词：逻辑词项 证明论语义学 意义 协调性 一致性 
证明论语义及其意义颗粒度
《逻辑学研究》2024年第1期69-86,共18页党学哲 
证明论语义是通过“证明”来解释表达式意义的逻辑语义学,与传统模型论语义在哲学和技术方法上存在诸多不同。它作为一种推理主义意义理论,又与布兰顿等的推理主义存在显著区别。证明论语义以典范证明而非“真”为中心建立有效性等语义...
关键词：证明论语义 典范推演 意义颗粒度 推理主义 
模态解释的模态主义进路考察
《科学技术哲学研究》2023年第5期30-37,共8页陈吉胜 
教育部人文社会科学青年基金项目“因果发现的计算知识论路径研究”(22YJC72040002)
模态主义主张模态是初基的,不可被还原。它的产生和发展与模态现实主义有一定的关联。近年来,模态主义得到进一步发展,不仅向逻辑常项理论和逻辑多元论延伸,并且提出了基于模态主义的模态知识论。模态主义虽然具有一定的技术与哲学优势...
关键词：模态主义 可能世界 模型论语义学 证明论语义学 
克莱瑟的“重心转移”及当代证明挖掘
《逻辑学研究》2023年第3期1-35,共35页乌利齐·克伦巴赫 
当代“证明挖掘”研究的历史根源于格奥尔格·克莱瑟的“挖掘证明”研究纲领。在本文中,我们详细阐述克莱瑟这一想法对应用证明论仍在持续的巨大影响,并且讨论证明挖掘的一些逻辑方面。
关键词：重心转移 证明论 历史根源 研究纲领 格奥尔格 克莱 挖掘 当代 
集合论中的类克莱瑟-列维定理
《逻辑学研究》2023年第3期36-52,共17页米夏尔·拉特延 舒双爽 
克莱瑟与列维(1968)曾作过一个著名的表征皮亚诺算术反射原则(RFN(PA))的定理。该定理将RFN(PA)与超限归纳原则TI(ε_(0))联系起来;后者即是超限归纳至序数ε_(0)——最小的取ω幂定点。在这篇文章中我们将此结果推广至一大部分的集合...
关键词：集合论 弗兰克尔 构造主义 普拉特 证明论 归纳定义 如下所述 克莱 
逻辑常项的使用规则的生成与证成被引量：2
《逻辑学研究》2023年第1期1-18,共18页周志荣 
国家社科基金重大项目“逻辑词汇的历史演进与哲学问题研究”(20&ZD046);国家社科基金项目“证明论语义学的核心问题研究”(16CZX052)。
在证明论语义学中,一个逻辑常项的I-规则通常作为该常项的意义定义是自我证成的,而其E-规则就是通过其与I-规则的协调性来证成的。这种思想遭受到tonk-问题挑战,而解决这个问题实质上就是解决逻辑常项的使用规则的协调性问题。E-规则的...
关键词：证明论语义学 逻辑常项 协调性 tonk-问题 规则的证成 
对立体几何教学回归公理化方法的探究--从线面垂直性质定理的证明论起
《上海中学数学》2022年第12期13-14,共2页王朝和 
通过线面垂直性质定理的两种证明的辨析,提出立体几何学习中要强化定理教学,即经历定理的形成过程,领会降维的转化思想,回归公理化方法,形成一般观念。
关键词：立体几何教学 公理化方法 线面垂直性质定理 
对称的时态海廷代数
《逻辑学研究》2022年第3期18-35,共18页葛雪 
本文引入了对称的时态海廷代数类(sIK.t-algebras),它是爱华德直觉主义时态逻辑代数类的S4扩展。本文将给出sIK.t的希尔伯特公理化系统,随后证明sIK.t代数逻辑具有有穷模型性(FMP),该结论将在本文给出的矢列演算系统下,通过证明论和代...
关键词：时态逻辑 证明论 希尔伯特 代数模型 直觉主义 代数逻辑 
议论文如何选取恰当的材料
《快乐青春（简妙作文）（中学生）》2018年第7期32-34,共3页刘艳燕 
【考纲概述】“考纲”在基础等级方面对议论文选材的表述是“符合文体要求”和“内容充实”，即材料能证明论点，论据丰富而典型。在发展等级“丰富”这一点上的表述主要是“材料丰富，论据充实”，就是指论据充足、丰富，分析透彻；在...
关键词：材料 论文 新鲜度 证明论 选择论 时代感 
定向析例,雄辩说理——高考议论文析例技法例析被引量：2
《语文教学与研究》2018年第3期130-137,共8页毛永健 
所谓析例,就是对事例进行分析议论,以阐明事例与论点之间的联系,使事例与论点相扣,达到水乳交融的效果,真正起到证明论点的作用的一种议论方法。2017年,几乎所有省市的高考语文《考试大纲》写作部分都规定为＂作文考试的评价要求分为基...
关键词：论文 高考 技法 考试大纲 事例 证明论 基础 文体 
全选清除导出
共15页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部