论笛卡尔《哲学原理》中关于上帝存在的证明

1

作者 黄锐 《哲学进展》 2023年第12期2477-2481,共5页

笛卡尔在《哲学原理》中用了三条路径来证明上帝的存在,前两条都是以“我思故我在”为基础进行的证明,第三条是从上帝观念的完满性必然包含存在性进行的证明。不过,第三条路径的本体论证明理由并不充分,从上帝观念的完满性可以推出存在... 笛卡尔在《哲学原理》中用了三条路径来证明上帝的存在,前两条都是以“我思故我在”为基础进行的证明,第三条是从上帝观念的完满性必然包含存在性进行的证明。不过,第三条路径的本体论证明理由并不充分,从上帝观念的完满性可以推出存在性,但同时也能推出不存在性。 展开更多

关键词 上帝 理性 存在证明

下载PDF 职称材料

一种低成本的标签组存在证明协议

2

作者 熊永平 《微型电脑应用》 2022年第12期38-41,共4页

现有大多数协议仅能证明单标签存在不足,对此给出一种适用于检验是否同时存在多标签的证明协议。所设计协议适用于低成本无源标签中。采用线性函数对传送信息进行加密,在线性函数构造过程中巧妙运用加密信息汉明权值作为参数,从而减少... 现有大多数协议仅能证明单标签存在不足,对此给出一种适用于检验是否同时存在多标签的证明协议。所设计协议适用于低成本无源标签中。采用线性函数对传送信息进行加密,在线性函数构造过程中巧妙运用加密信息汉明权值作为参数,从而减少参数引入,降低计算量及存储空间。对所设计协议进行理论分析和仿真,表明所设计协议不仅能够证明多标签同时存在,且在计算量及安全角度优于其他经典协议。 展开更多

关键词 射频识别系统 标签组 存在证明 线性函数 汉明权值

下载PDF 职称材料

喀纳斯:一方净土亮边陲

3

作者 刘谓福 《少儿科技》 2007年第4期30-31,共2页

这里是地球上最后一块未被开发的地方,她的存在证明人类过去有着无比美好的栖身地。

关键词 喀纳斯湖 存在证明 净土 克拉玛依油田 阿勒泰 联合国 湖水 生产建设兵团 千米 小盆地

原文传递

傍晚,我希望遇见这样一个人(外四首)

4

作者 空格键 《江南（诗）》 2013年第5期40-41,共2页

关键词 孤独 默许 阳光 白日梦 存在证明 块石 上面 宫殿 持久战 清明

原文传递

黑格尔的上帝存在证明及其历史意义 被引量：1

5

作者 庄振华 《世界宗教文化》 CSSCI 北大核心 2021年第3期99-106,共8页

历史上的上帝存在证明大都直接断定概念与存在的合一,康德从这一关键枢纽入手摧毁这些证明。然而黑格尔的历史梳理表明,双方都有其局限性:安瑟尔谟的本体论证明作为问题的原发之地,扎根于充沛的超越性信仰之中,该证明对宇宙秩序的坚守... 历史上的上帝存在证明大都直接断定概念与存在的合一,康德从这一关键枢纽入手摧毁这些证明。然而黑格尔的历史梳理表明,双方都有其局限性:安瑟尔谟的本体论证明作为问题的原发之地,扎根于充沛的超越性信仰之中,该证明对宇宙秩序的坚守值得肯定,但它忽视了尘世事物对上帝力量的体现;康德的批判及其代表的现代经验实在论直接断定而并未证明概念与存在的两分,陷入知性思维而不自知,因而取消了上帝概念及其主动实现的问题。要了解"存在""概念""理念"这些范畴的本性,审视黑格尔心目中真正的上帝存在证明,必须以他的《逻辑学》为依据,洞察"存在向概念的过渡"和"概念向存在的过渡"各自在不同层面支持对方这一思想实情。黑格尔的上帝观在各种新兴"实在论"对康德先验论构成重大挑战的当今时代,不失为一条既尊重现代理性,又坚守宇宙秩序的可参考的出路。 展开更多

关键词 黑格尔 上帝存在证明 康德 思辨

原文传递

中世纪关于上帝存在的证明——信仰与理性

6

作者 袁野 孙晔 《辽宁行政学院学报》 2011年第7期44-46,共3页

中世纪哲学的主要问题是信仰与理性之间的问题,本文阐述了围绕关于上帝存在证明的教父哲学代表人物奥古斯丁的知识论证明和本体论证明,经验哲学的代表人物安瑟伦的本体论证明及托马斯·阿奎那宇宙论证明,就此讨论基督教哲学中信仰... 中世纪哲学的主要问题是信仰与理性之间的问题,本文阐述了围绕关于上帝存在证明的教父哲学代表人物奥古斯丁的知识论证明和本体论证明,经验哲学的代表人物安瑟伦的本体论证明及托马斯·阿奎那宇宙论证明,就此讨论基督教哲学中信仰与理性,这种思想传统不仅对于中世纪的基督教哲学、而且对于近、现代的西方宗教思想都产生了极其深远的影响。 展开更多

关键词 帝存在证明 信仰与理性 奥古斯丁知识论和本体论 安瑟伦的本体论 阿奎那宇宙论

下载PDF 职称材料

区块链技术与数字环境下的商业秘密保护 被引量：20

7

作者 张怀印 《电子知识产权》 CSSCI 2019年第3期71-78,共8页

数字环境下的商业秘密保护面临严峻的挑战,大量存在网络空间的商业秘密被窃取,给企业造成巨大损失。区块链技术(Blockchain Technology)是一种基于分布式账本、加密技术、时间戳技术的组合,已经在金融业、音乐版权保护、物流等领域得到... 数字环境下的商业秘密保护面临严峻的挑战,大量存在网络空间的商业秘密被窃取,给企业造成巨大损失。区块链技术(Blockchain Technology)是一种基于分布式账本、加密技术、时间戳技术的组合,已经在金融业、音乐版权保护、物流等领域得到广泛的运用。区块链技术运用于商业秘密保护,能够有效解决企业商业秘密在数字环境下遇到的保密措施难以实施、电子证据的证明难度大等难题。利用时间戳技术和"零知识证明"可以为商业秘密保护提供存在性证明,并在诉讼中提供更具可靠性和真实性的电子证据。区块链的分布式账本、非对称加密算法和共识信任机制可以有效保证商业秘密存储的真实性问题,确保数据在交易中不被篡改。 展开更多

关键词 区块链技术 商业秘密 存在性证明 保管

下载PDF 职称材料

例析函数零点存在构造性证明的策略与方法

8

作者 孙秀平 郝进宏 《数学教学研究》 2024年第3期58-61,共4页

构造取值异号的两点一直是导数专题中零点存在性证明的一个难点,从函数特征出发,利用函数有界性、放缩法及构造新函数思想等进行函数零点存在构造性证明是突破此难点的重要途径.

关键词 零点存在构造性证明 高考 导数

下载PDF 职称材料

何谓“实在”?何以“必然”?——康德的“存在神论”批判及其形而上学要义 被引量：2

9

作者 谢裕伟 《哲学研究》 CSSCI 北大核心 2022年第9期118-127,共10页

“存在神论”是康德用来刻画传统形而上学中一种思想机制的术语,这个机制从根本上说是由“实在性”这一存在论概念与“绝对必然存在者”这一神学概念之间的复杂关系构成的。“存在不是实在谓词”的论题并不能仅凭自身而直接构成对这个... “存在神论”是康德用来刻画传统形而上学中一种思想机制的术语,这个机制从根本上说是由“实在性”这一存在论概念与“绝对必然存在者”这一神学概念之间的复杂关系构成的。“存在不是实在谓词”的论题并不能仅凭自身而直接构成对这个机制真正的批判,因为它对“绝对必然存在者”的适用性并不是自明的。我们从康德1770年代的笔记中可以看到,他逐渐与存在神论分道而行的关键点在于,用“感性的实在性”取代了“设定的实在性”。本文尝试以历史性的和体系性的分析表明:唯当康德通过对“设定的实在性”和“绝对必然存在者”两个概念的反思而完成了对存在神论机制的整体批判时,“存在不是实在谓词”的论题在反驳存在论证明上的效力才能得到充分体现。 展开更多

关键词 鲍姆嘉登 存在论证明 设定 绝对必然性 综合之思

原文传递

TSA系统研究与实现

10

作者 周绍斌 胡成全 齐红 《大连理工大学学报》 EI CAS CSCD 北大核心 2003年第z1期16-18,共3页

仅仅依靠传统的数字签名技术无法提供数据的存在性证明,进而就无法保证活动的不可抵赖性.为了实现时间值与数据的关联,可以通过时戳权威来完成.它是一个可信的第三方,可以提供时戳来建立数据在某一时间存在的证明.通过对现有时戳协议的... 仅仅依靠传统的数字签名技术无法提供数据的存在性证明,进而就无法保证活动的不可抵赖性.为了实现时间值与数据的关联,可以通过时戳权威来完成.它是一个可信的第三方,可以提供时戳来建立数据在某一时间存在的证明.通过对现有时戳协议的分析,参照RFC3161中描述的时戳协议,设计实现了一个TSA系统JITTimeStampV1.0.实际应用表明,该系统具有安全、灵活、稳定、高效等特点. 展开更多

关键词 时戳 时戳权威 公钥基础设施 存在性证明

下载PDF 职称材料

从上帝存在的证明视角看康德对宗教理性根基的内在转换 被引量：1

11

作者 闻骏 《云南社会科学》 CSSCI 北大核心 2007年第2期40-44,共5页

着眼于对关于上帝存在的证明问题这一宗教哲学的基础和核心的分析,详尽地展示了康德对传统的上帝存在证明的批判和建构新的道德论证明的转换过程。通过对这一转换过程的深入分析得出其实质(宗教哲学的根基从知识论基础向道德论基础的转... 着眼于对关于上帝存在的证明问题这一宗教哲学的基础和核心的分析,详尽地展示了康德对传统的上帝存在证明的批判和建构新的道德论证明的转换过程。通过对这一转换过程的深入分析得出其实质(宗教哲学的根基从知识论基础向道德论基础的转换),最后对这种转换的意义及影响作了总结和阐发。 展开更多

关键词 上帝存在的证明 道德论证明 知识论基础 道德论基础

下载PDF 职称材料

存在性证明--区块链技术在数字版权的运用 被引量：2

12

作者 梁飞 《电视研究》 CSSCI 北大核心 2020年第2期31-34,共4页

区块链构建的协作和共识系统使得其天生具有"存在性证明"应用的属性。通过分析区块链技术在"存在性证明"的操作流程呈现出的可信性,可以确认其对破解融合环境下的电视媒体数字版权确权、维权取证困境的价值。

关键词 区块链 数字版权 存在性证明 媒体融合 电视媒体

原文传递

区块链存在性证明领域的专利技术综述 被引量：2

13

作者 张晓娜 王凯凯 谭明敏 《中国发明与专利》 2021年第6期36-41,66,共7页

区块链具有开放透明、不可篡改和可追溯特性,在实体经济中可以保证信息的真实性和可靠性,因此,存在性证明成为区块链技术落地的重要应用之一。本文对区块链存在性证明领域的专利申请状况、专利申请趋势、应用发展情况等进行了分析,并对... 区块链具有开放透明、不可篡改和可追溯特性,在实体经济中可以保证信息的真实性和可靠性,因此,存在性证明成为区块链技术落地的重要应用之一。本文对区块链存在性证明领域的专利申请状况、专利申请趋势、应用发展情况等进行了分析,并对该领域的五大应用场景进行了梳理。 展开更多

关键词 区块链 存在性证明 防伪溯源

下载PDF 职称材料

离散数学中的证明方法探讨

14

作者 张辉 王裕明 +1 位作者 孙宪坤 游晓明 《福建电脑》 2017年第11期63-64,75,共3页

离散数学课程的教学目的之一,旨在通过加强数学推理,培养提高学生的数学思维能力。抽象的数学思维,多是通过课程中证明的严密推理加以训练。本文讨论了离散数学教学中的一些常见问题的证明,强调从证明思想上去比较这些证明的异同,培养... 离散数学课程的教学目的之一,旨在通过加强数学推理,培养提高学生的数学思维能力。抽象的数学思维,多是通过课程中证明的严密推理加以训练。本文讨论了离散数学教学中的一些常见问题的证明,强调从证明思想上去比较这些证明的异同,培养学生归类理解证明的基本方法,以提高学生分析问题解决问题的能力。 展开更多

关键词 演绎证明 归纳证明 存在性证明 唯一性证明 对角线法则

下载PDF 职称材料

代际公平的理论难题:分析方法与解决思路 被引量：1

15

作者 杨充霖 《首都师范大学学报（社会科学版）》 CSSCI 北大核心 2021年第5期139-147,共9页

文章揭示了代际公平的不可证定义、存在性证明及不兼容选择三大理论难题;分析了三大难题解决的本体论基础、认识论依据与实证科学方法并发现关键是代际公平的不可证定义问题;论证了不可证定义问题的解决在于代际公平向跨代公平的扩展,... 文章揭示了代际公平的不可证定义、存在性证明及不兼容选择三大理论难题;分析了三大难题解决的本体论基础、认识论依据与实证科学方法并发现关键是代际公平的不可证定义问题;论证了不可证定义问题的解决在于代际公平向跨代公平的扩展,存在性证明问题的解决在于纯理论分析转向对当代跨代公平的实证研究,不兼容选择的解决在于代际社会的兼容性选择转向个体跨代兼容行为的社会选择。 展开更多

关键词 代际公平的理论难题 不可证定义 存在性证明 不兼容选择

下载PDF 职称材料

连续函数零点存在性证明方法探析

16

作者 王世荣 《新智慧》 2022年第19期83-85,共3页

连续函数的零点是高中数学教学的重要内容之一,更是连结函数、方程和图象的重要媒介。本文从连续函数零点的定义出发,归纳和总结了连续函数零点存在性常见的三种证明方法,并对这几种方法进行了相应的分析与比较,以供参考。一、引言及预... 连续函数的零点是高中数学教学的重要内容之一,更是连结函数、方程和图象的重要媒介。本文从连续函数零点的定义出发,归纳和总结了连续函数零点存在性常见的三种证明方法,并对这几种方法进行了相应的分析与比较,以供参考。一、引言及预备知识连续函数的零点在分析和探求各类方程解的问题、根的存在性与唯一性问题以及图象交点问题中起着重要的作用。 展开更多

关键词 高中数学教学 存在性证明 连续函数 几种方法 函数的零点 方法探析 预备知识 重要媒介

原文传递

当抽象的几何理论转化为算法程序

17

作者 顾险峰 《科技导报》 CAS CSCD 北大核心 2015年第18期102-103,共2页

1几何计算化面临的挑战几何计算化对于现代几何理论和计算机科学都提出了强有力的挑战。单纯从理论方面而言,就已经困难重重;考虑到计算机实现,我们不可避免地要渡过许多难以逾越的天堑。1）存在性与构造性证明经典几何理论中的大量存... 1几何计算化面临的挑战几何计算化对于现代几何理论和计算机科学都提出了强有力的挑战。单纯从理论方面而言,就已经困难重重;考虑到计算机实现,我们不可避免地要渡过许多难以逾越的天堑。1）存在性与构造性证明经典几何理论中的大量存在性证明都是基于抽象的拓扑方法,而非直接的构造法。从证明本身,我们只知道解的存在,但是无法具体找到解。 展开更多

关键词 几何理论 几何计算 算法程序 构造性证明 存在性证明 构造法 蒙日-安培方程 计算机科学 三角剖分 曲面求交

原文传递

函数零点存在性证明中的放缩法

18

作者 郝进宏 《中学生数学（高中版）》 2019年第11期21-22,共2页

函数零点是联系函数、方程与不等式的重要纽带,是培养学生数形结合和化归能力的良好载体,也是历年高考的重点考查对象,最常见的考查形式是判断某区间内的零点个数.我们利用零点存在性定理进行判断,两点的选择有时却非常困难,此时可以借... 函数零点是联系函数、方程与不等式的重要纽带,是培养学生数形结合和化归能力的良好载体,也是历年高考的重点考查对象,最常见的考查形式是判断某区间内的零点个数.我们利用零点存在性定理进行判断,两点的选择有时却非常困难,此时可以借助放缩法,但是放缩法的要求很高,稍不小心就会过度放缩从而使放缩法失效. 展开更多

关键词 数形结合 存在性证明 联系函数 考查形式 放缩法 函数零点 方程与不等式 零点存在性定理

原文传递

单纯贸易经济模型平衡价格体系的存在性证明

19

作者 李农 《四川理工学院学报（社会科学版）》 1989年第4期81-83,共3页

本文利用Brouwer不动点定理给出了一个单纯贸易经济模型平衡价格体系的存在性证明.

关键词 贸易经济模型 平衡价格 存在性证明 BROUWER不动点定理 消费者 存在性问题 单形 社会总资产 数理经济学 价格体系

下载PDF 职称材料

康德的存在论题及其存在论意义

20

作者 李兆勇 《云南大学学报（社会科学版）》 CSSCI 北大核心 2010年第3期47-54,共8页

康德曾经阐释过关于上帝存在的存在论证明,在此中海德格尔发现了康德的存在论题。海德格尔对这一论题的探讨将会涉及模态范畴与直观,这样就形成了先验辩证论—先验分析论—先验感性论的追溯过程,这一过程贯穿了《纯粹理性批判》的主体部... 康德曾经阐释过关于上帝存在的存在论证明,在此中海德格尔发现了康德的存在论题。海德格尔对这一论题的探讨将会涉及模态范畴与直观,这样就形成了先验辩证论—先验分析论—先验感性论的追溯过程,这一过程贯穿了《纯粹理性批判》的主体部分,由此也就表明可以对康德及其《纯粹理性批判》进行存在论的阐释。而海德格尔这种追溯过程的内在动机与线索是为形而上学或存在论的奠基,其意图则是要指出我们必须通过时间才能追问存在的意义问题。 展开更多

关键词 康德 海德格尔 存在论题 存在论证明 模态范畴 直观 时间

下载PDF 职称材料