期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到72篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于彭罗斯三个世界理论视角的形式化证明
1
作者 杨帆 《自然辩证法通讯》 北大核心 2025年第7期119-126,共8页
在信息化时代,人们能够使用计算机实现对数学定理的形式化证明,由此改变了数学实践的范式。鉴于形式化证明中涉及到人脑证明、机器证明和数学形式三种不同类别的存在,有必要从本体论层面对其进行考察。彭罗斯的三个世界理论发展自波普尔... 在信息化时代,人们能够使用计算机实现对数学定理的形式化证明,由此改变了数学实践的范式。鉴于形式化证明中涉及到人脑证明、机器证明和数学形式三种不同类别的存在,有必要从本体论层面对其进行考察。彭罗斯的三个世界理论发展自波普尔,并以其将数学形式作为柏拉图世界的独立存在而适用于形式化证明的本体论构建。为了使彭罗斯的三个世界理论能够作为形式化证明的本体论,还需要对其理论中世界间的关系进行改造。改造后的形式化证明的本体论为“数学是发现还是发明”这一著名问题提供了进一步的反思,彰显出三个世界理论带来的崭新视角。 展开更多
关键词 形式化证明 三个世界 本体论 数学哲学
原文传递
基于符号互动论的人工智能价值分析方式 被引量：6
2
作者 李阳 丛杭青 《自然辩证法通讯》 CSSCI 北大核心 2023年第4期79-87,共9页
不同社会阶层和群体对人工智能的态度和价值判断大相径庭,而这种价值判断以及价值判断的来源缺少有效的分析。基于符号互动论,人工智能存在“社会符号”与“互动个体”两种形态、“利益”与“伤害”两种价值。以两种形态与两种价值对人... 不同社会阶层和群体对人工智能的态度和价值判断大相径庭,而这种价值判断以及价值判断的来源缺少有效的分析。基于符号互动论,人工智能存在“社会符号”与“互动个体”两种形态、“利益”与“伤害”两种价值。以两种形态与两种价值对人工智能的价值形成进行分析,可得出不同个体或群体对人工智能的价值判断以及价值判断的来源。该分析方法聚焦于个体或群体对人工智能的态度和感知的形成机制,能够帮助理解人工智能伦理问题的成因,从而为人工智能设计、决策及治理提供一种微观新思路。 展开更多
关键词 人工智能 符号互动论 人工智能伦理 人工智能价值
原文传递
狭义相对论的一阶公理化 被引量：1
3
作者 陈磊 史晓菲 《北京师范大学学报（社会科学版）》 CSSCI 北大核心 2012年第4期103-110,共8页
狭义相对论是20世纪最伟大的物理学理论之一。一直以来,狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注。但由于学科的交叉性,这个问题一直没有得出很好的结论。匈牙利学者HajnalAndréka等人于2007年提出了一个狭义相对... 狭义相对论是20世纪最伟大的物理学理论之一。一直以来,狭义相对论的公理化问题受到物理学家和逻辑学家的共同关注。但由于学科的交叉性,这个问题一直没有得出很好的结论。匈牙利学者HajnalAndréka等人于2007年提出了一个狭义相对论的一阶逻辑系统Specrel,我们发现这个系统无论在逻辑上,还是在物理上要刻画狭义相对论都是不够的。我们在此基础上提出了狭义相对论的另一个一阶逻辑系统Specrel’,并在这个系统中证明了洛仑兹变换——这一狭义相对论的重要基础公式。从而可以得到"动钟变慢"、"动尺收缩"等一系列狭义相对论的典范效应。 展开更多
关键词 狭义相对论 一阶逻辑 公理系统 洛仑兹变换
在线阅读 下载PDF
集合论多宇宙观述评 被引量：5
4
作者 杨睿之 《自然辩证法研究》 CSSCI 北大核心 2015年第9期99-103,共5页
集合论作为数学基础的成功使得关于数学对象的本体论问题被归约为关于集合的本体论问题。传统的(集合)实在论强调集合的存在,从而人们可以谈论关于这些集合的概念是否符合那个客观事实。而作者将在本文中介绍并评析另一种逐渐流行起来... 集合论作为数学基础的成功使得关于数学对象的本体论问题被归约为关于集合的本体论问题。传统的(集合)实在论强调集合的存在,从而人们可以谈论关于这些集合的概念是否符合那个客观事实。而作者将在本文中介绍并评析另一种逐渐流行起来的集合论哲学——多宇宙观(Multiverse View)。这一立场强调存在许多集合论宇宙以及相应的集合概念。在该语境下,传统实在论则相应地被看作是一种唯一宇宙观(Universe View)的立场。两者的争论是当前数学基础领域的热门话题。 展开更多
关键词 数学哲学 集合论 多宇宙观
原文传递
“区域安全复合体理论”视角下的上海合作组织 被引量：1
5
作者 李芳芳 张清敏 《辽宁大学学报（哲学社会科学版）》 2015年第1期135-141,共7页
上海合作组织作为当今欧亚大陆上最大的新型区域性多边合作组织,自成立之日起便备受国内学者的关注。本文尝试以巴瑞·布赞所提出的"区域安全复合体理论"为分析框架,论述上海合作组织的形成动因,即分为内部动力和外部压... 上海合作组织作为当今欧亚大陆上最大的新型区域性多边合作组织,自成立之日起便备受国内学者的关注。本文尝试以巴瑞·布赞所提出的"区域安全复合体理论"为分析框架,论述上海合作组织的形成动因,即分为内部动力和外部压力——内部动力是成员国间对自身安全需求的互动,而外部压力则是经济全球化进程的加快;今后的上海合作组织将朝着"安全共同体"的方向发展。但在这一过程中,成员国之间要加强"类属身份"的认同,即在成员国之间培育一种"同类感",这对于促进成员国之间关系的良性发展至关重要。 展开更多
关键词 上海合作组织 区域安全复合体理论 安全动力 类属身份
在线阅读 下载PDF
数学工具主义者对弗雷格问题的认识论分析 被引量：2
6
作者 薄谋 《自然辩证法研究》 CSSCI 北大核心 2020年第3期27-32,共6页
在数学哲学实在论和反实在论对抗的大背景下,德特勒夫森复活了希尔伯特的有限主义。他把自己的思想称为希尔伯特工具主义,这是一种改良版的实在论。通过对弗雷格问题的解决,我们看到希尔伯特工具主义者是如何既承认抽象对象的存在,又发... 在数学哲学实在论和反实在论对抗的大背景下,德特勒夫森复活了希尔伯特的有限主义。他把自己的思想称为希尔伯特工具主义,这是一种改良版的实在论。通过对弗雷格问题的解决,我们看到希尔伯特工具主义者是如何既承认抽象对象的存在,又发展出关于抽象对象的认识论。通过在有限思维中加入抽象的元素,他解决了抽象对象存在的问题。通过复制主义策略和证明模式认识论,他解决了认识抽象对象的问题。这种实在论既不同于弗雷格的实在论,也不同于菲尔德的唯名论,它是一种介于实在论和唯名论间的新形式。 展开更多
关键词 希尔伯特工具主义 弗雷格问题 唯名论 实在论 复制主义
原文传递
希尔伯特的有穷数学 被引量：2
7
作者 康孝军 《自然辩证法通讯》 CSSCI 北大核心 2018年第6期44-49,共6页
希尔伯特为了一劳永逸地解决数学基础问题,提出了著名的希尔伯特纲领。该纲领旨在把数学归约到毋庸置疑的有穷数学。遗憾的是,希尔伯特本人并未对有穷数学给出具体形式化。在简介希尔伯特有穷数学的基本思想后,梳理了各种不同的形式化系... 希尔伯特为了一劳永逸地解决数学基础问题,提出了著名的希尔伯特纲领。该纲领旨在把数学归约到毋庸置疑的有穷数学。遗憾的是,希尔伯特本人并未对有穷数学给出具体形式化。在简介希尔伯特有穷数学的基本思想后,梳理了各种不同的形式化系统:初始递归算术(PRA)、ZFC的有穷数学系统(Fin(ZFC))和基本算术(EA),并对PRA是希尔伯特的有穷数学进行辩护和简要述评。 展开更多
关键词 希尔伯特 有穷数学 初始递归算术
原文传递
一种模糊集合论的公理化方法 被引量：2
8
作者 李娜 杨帆 《重庆理工大学学报（社会科学）》 CAS 2017年第9期18-20,29,共4页
模糊集合论是模糊理论的数学基础,其公理化可以从不同的逻辑语言出发。经典逻辑是较为简洁的一种方法。夏平基于扎德的模糊集概念创立了第一个公理化模糊集合论Za。这个公理化是ZF的。将它扩张为NBG是一种自然的考虑。这样的扩张将作为... 模糊集合论是模糊理论的数学基础,其公理化可以从不同的逻辑语言出发。经典逻辑是较为简洁的一种方法。夏平基于扎德的模糊集概念创立了第一个公理化模糊集合论Za。这个公理化是ZF的。将它扩张为NBG是一种自然的考虑。这样的扩张将作为从非经典逻辑如模糊逻辑出发建立集合论的一个基础。 展开更多
关键词 模糊集合论 公理化 NBG
在线阅读 下载PDF
基于皮尔斯符号三元关系的导游语言构造分析 被引量：2
9
作者 陈雅 《湖州职业技术学院学报》 2020年第4期29-33,37,共6页
导游语言符号包含符号再现体、旅游对象、游客解释项三个关联要素。符号再现体的型符、单符、质符要求导游语言遵循语言规范、具有独创性与正向品质;符号再现体通过像似、指示、规约等方式指称旅游对象,确保对象再现生动直观、井然有序... 导游语言符号包含符号再现体、旅游对象、游客解释项三个关联要素。符号再现体的型符、单符、质符要求导游语言遵循语言规范、具有独创性与正向品质;符号再现体通过像似、指示、规约等方式指称旅游对象,确保对象再现生动直观、井然有序、准确有效;游客通过符号再现体解读,和旅游对象体验生成直接解释项、动力解释项和最终解释项。让游客获得正向最终解释项是导游语言符号的努力方向,解释项的信息反馈对符号再现体及游览对象有优化再造作用。导游语言符号三分构造模型的确立,为导游语言研究与发展提供了形式化的便利工具。 展开更多
关键词 皮尔斯 符号三元关系 导游语言 符号再现体 旅游对象 游客解释项
在线阅读 下载PDF
命题逻辑的证伪系统 被引量：1
10
作者 刘新文 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2011年第3期23-25,共3页
一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系... 一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。 展开更多
关键词 证伪系统 古典命题逻辑 直觉主义命题逻辑 模态命题逻辑
在线阅读 下载PDF
内涵逻辑时代的来临 被引量：1
11
作者 朱建平 《南京社会科学》 CSSCI 北大核心 2015年第9期46-51,共6页
内涵逻辑可以从两个方面来理解:从逻辑—哲学的角度看内涵逻辑是通过分析内涵概念,刻画内涵算子的形式特征,建构内涵概念的形式系统,提供形式系统的模型论(可能世界或内涵)语义学解释,以及给出形式系统元定理(如可靠性和完全性)等方式... 内涵逻辑可以从两个方面来理解:从逻辑—哲学的角度看内涵逻辑是通过分析内涵概念,刻画内涵算子的形式特征,建构内涵概念的形式系统,提供形式系统的模型论(可能世界或内涵)语义学解释,以及给出形式系统元定理(如可靠性和完全性)等方式构造而成的内涵逻辑形式系统。从语言学的角度看,内涵逻辑也可看作是关于其意义依赖于隐晦语境的表达式的形式系统。内涵逻辑是标准逻辑在当代最重要的扩展之一,它在哲学、语言学、计算机科学、人工智能、认知科学和数学等领域都有广泛而深入的应用。 展开更多
关键词 内涵逻辑 内涵语义学 形式语义学
原文传递
俞吾金学术思想专题讨论之二：如何用马克思主义重建儒家人性论--评俞吾金《中国传统人性理论的去魅与重建》 被引量：2
12
作者 陈卫平 《哲学分析》 2013年第1期3-12,共10页
俞吾金《中国传统人性理论的去魅与重建》提出了一个重要的问题，即如何用马克思主义重建儒家人性论。这主要涉及以下三点：一是如何认识儒家性善论的缺陷？二是儒家人性论有哪些值得珍视的思想遗产？三是如何认识马克思主义人性理论在... 俞吾金《中国传统人性理论的去魅与重建》提出了一个重要的问题，即如何用马克思主义重建儒家人性论。这主要涉及以下三点：一是如何认识儒家性善论的缺陷？二是儒家人性论有哪些值得珍视的思想遗产？三是如何认识马克思主义人性理论在中国的失误？俞吾金的文章没有也不可能全部解决这些问题，但他提出了不少值得思考的见解。 展开更多
关键词 马克思主义 儒家 人性论
在线阅读 下载PDF
视觉与言说——德勒兹、福柯与恽南田的花的“世界” 被引量：1
13
作者 姜宇辉 《哲学分析》 2013年第5期91-106,199,共16页
视觉无疑是绘画美学中的一个核心概念。要对其进行深入理解,首先应区分视觉与视见之间的异同,从而将视觉自身的纯粹性作为一个首要出发点。此种纯粹性,既指向着一种原初的生成结构,又似乎必须在与其他的异质性序列(尤其是言语)之间的开... 视觉无疑是绘画美学中的一个核心概念。要对其进行深入理解,首先应区分视觉与视见之间的异同,从而将视觉自身的纯粹性作为一个首要出发点。此种纯粹性,既指向着一种原初的生成结构,又似乎必须在与其他的异质性序列(尤其是言语)之间的开放关联中获得呈现。德勒兹抒写的光之诗学,以及福柯对临床目视的洞察,都启示出可贵的线索。在中国古代画论和画作之中,同样存在着"观"与"言"这个基本问题,而如恽寿平这样的独到画家则尝试着种种打开二者的"知识"—"积层"的实验和实践。 展开更多
关键词 视觉 观 积层
在线阅读 下载PDF
舞蹈《千手观音》的微妙空符号 被引量：1
14
作者 韦世林 《昆明学院学报》 2012年第5期46-48,75,共4页
人类的一切有意识活动都是符号活动,任何符号活动都必须有实符号和空符号参与。人们易识别和关注"有声有色有形"的实符号,常不在意"无声无色无形"的空符号。舞蹈是四维的符号活动。由于张继刚编导充分利用四维空符... 人类的一切有意识活动都是符号活动,任何符号活动都必须有实符号和空符号参与。人们易识别和关注"有声有色有形"的实符号,常不在意"无声无色无形"的空符号。舞蹈是四维的符号活动。由于张继刚编导充分利用四维空符号"亮相"、"定格"的分隔功能、提示功能、衬托功能,才使舞蹈《千手观音》具有了独特的动态美、节奏美和神秘美。 展开更多
关键词 千手观音 四维空符号 符号活动 亮相 定格
在线阅读 下载PDF
科学问题的逻辑系统构造 被引量：2
15
作者 沈振东 《江苏第二师范学院学报（社会科学）》 2015年第1期15-21,共7页
科学哲学研究的主题包括两个基本方面:科学理论的进化和有意义的科学问题的产生。长期以来关于科学理论的进化的研究一直占据科学哲学研究的中心,而忽略以科学问题为主线的研究。本文旨在为问题学(即以科学问题为研究主线)的建构提供一... 科学哲学研究的主题包括两个基本方面:科学理论的进化和有意义的科学问题的产生。长期以来关于科学理论的进化的研究一直占据科学哲学研究的中心,而忽略以科学问题为主线的研究。本文旨在为问题学(即以科学问题为研究主线)的建构提供一些基础性的工作。为此,笔者在这两方面做了一些工作:一是为不同的科学问题之间的比较提供了比较标准,这涉及到科学问题的深刻性和广延性,定义了科学问题的秩和矩的概念以及其他一些相关的概念;二是以模态逻辑系统为工具对科学问题的逻辑系统作尝试性的构造,并指出该逻辑系统与怀疑逻辑在一定程度上具有同构性。 展开更多
关键词 科学问题 秩和矩 序结构 逻辑系统 必然化规则
在线阅读 下载PDF
广义悖论探析
16
作者 刘靖贤 韩东旭 《湖南科技大学学报（社会科学版）》 CSSCI 北大核心 2015年第4期32-35,共4页
陈波教授在《悖论研究》一书中提出了一种广义悖论观,把悖论研究从逻辑、数学、哲学范围推广到自然科学和社会科学等各个领域。笔者就广义悖论观与陈波教授商榷,主要涉及悖论的定义、悖论的分类和具体学科中的悖论。在变异逻辑的框架下... 陈波教授在《悖论研究》一书中提出了一种广义悖论观,把悖论研究从逻辑、数学、哲学范围推广到自然科学和社会科学等各个领域。笔者就广义悖论观与陈波教授商榷,主要涉及悖论的定义、悖论的分类和具体学科中的悖论。在变异逻辑的框架下认为把严格悖论定义为矛盾等价式的做法是不适当的,并尝试性地提出四种广义悖论的划分方案。 展开更多
关键词 广义悖论 悖论的定义 悖论的分类
在线阅读 下载PDF
三段论系统的一个关系解释
17
作者 胡泽洪 杜晓柳 《科学技术哲学研究》 CSSCI 北大核心 2018年第4期55-57,共3页
亚里士多德的三段论在莱布尼茨时代就具有了一个算术意义上的解释,但该解释中的整除关系实际上可以更进一步抽象成为一个偏序关系。借助于偏序关系就足以表达出四种直言命题,并可以证明该解释对于卢卡西维茨的三段论句法系统具有可靠性... 亚里士多德的三段论在莱布尼茨时代就具有了一个算术意义上的解释,但该解释中的整除关系实际上可以更进一步抽象成为一个偏序关系。借助于偏序关系就足以表达出四种直言命题,并可以证明该解释对于卢卡西维茨的三段论句法系统具有可靠性和完全性。 展开更多
关键词 卢卡西维茨 三段论 关系语义 可靠性 完全性
原文传递
逻辑主义重估
18
作者 朱建平 《江汉论坛》 CSSCI 北大核心 2015年第9期27-32,共6页
逻辑主义认为数学是逻辑的一部分,但是要清楚地界定这一论题的涵义并不容易。因为该论题是否成立以及在何种范围内成立涉及诸多相关问题。例如,就弗雷格而言,这是一个与一阶和二阶逻辑有关的问题;就罗素和怀特海而言,这是一个与类型论... 逻辑主义认为数学是逻辑的一部分,但是要清楚地界定这一论题的涵义并不容易。因为该论题是否成立以及在何种范围内成立涉及诸多相关问题。例如,就弗雷格而言,这是一个与一阶和二阶逻辑有关的问题;就罗素和怀特海而言,这是一个与类型论有关的问题;就策梅洛和富兰克林而言,这是一个与集合论有关的问题。而如果仅从一阶和二阶逻辑的观点考察逻辑主义的最小预设和它的逻辑后承,或许能够获知对逻辑主义更清晰和精确的理解。 展开更多
关键词 逻辑主义 一阶逻辑 二阶逻辑 意译
在线阅读 下载PDF
厘清形式系统的几个概念
19
作者 甘进 张学立 《昆明学院学报》 2010年第5期49-52,共4页
一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全性定理和不完全性定理的正确含义,以及其成立所需的条件。最后,依据上述分析,指出形式系统存在漏洞和局限... 一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全性定理和不完全性定理的正确含义,以及其成立所需的条件。最后,依据上述分析,指出形式系统存在漏洞和局限性。同时,也看到了形式化方法的弊端和形式化的限度。 展开更多
关键词 形式系统 一致性 可靠性 不完全性 语义完全 语法完全
在线阅读 下载PDF
简论张清宇的证伪系统
20
作者 刘新文 《重庆理工大学学报（社会科学）》 CAS 2017年第5期7-9,15,共4页
国内第一个以形式化方法建立起矛盾命题(或者说恒假命题)形式系统的是张清宇研究员。结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的"证伪系统"概念和相关工作的学术来源,并给出初步的评价。
关键词 证伪系统 排斥 反驳系统
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
使用帮助 返回顶部