共查询到20条相似文献，搜索用时 15 毫秒
1.
郝兆宽 《科学．经济．社会》2021,39(2):32-38
本文的主要内容来自《哥德尔纲领》(复旦大学出版社,2018年)一书的序言,在这里做了适当的修改,同时增补了该书第四章的有关内容,主要目的是强调当前哲学界对哥德尔思想的研究还很不够,许多深刻的思想尚待发掘.同时,我们也意识到,哥德尔思想备受冷落的根源在于它不属于当代哲学的任何一个范式.跳出已有的藩篱,在数学实践中寻找哲学的灵感也许是理解哥德尔的一把钥匙. 相似文献
2.
现代数学的主要研究对象为集合与映射;高中数学新课程主要以现代数学的集合论观点和公理化方法为两条主线. 相似文献
3.
集合论的概括(抽象)原则说的是,对于任意的性质或条件恰好存在一个由满足这个性质或条件的对象组成的一个集合,康托尔的朴素集合论正是基于这样一条原则建立起来的.对象和集合之间的是"属于"关系,对象和性质之间的是"满足"关系,因而概括(抽象)原则可以用类似于塔斯基T模式的方式表示出来,x缀渍圮准(x),即集合渍恰好满足性质准的那些对象构成.然而,正是由于这个不加限制的概括原则,20世纪初波特兰·罗素在康托尔的朴素集合论中发现了一个悖论,即我们熟知的罗素悖论.罗素悖论的出现使得人们开始考虑对集合形成原则加以限制,增加新的公理限制集合论的朴素概括原则,这就是公理集合论的发展路径.公理化集合论是一种指向修改概括(抽象)原则拯救朴素集合论的集合论,因而其约束概括原则限制生成集合的任意性,对于维持集合论系统的协调性具有极端重要的意义.然而,随着弗协调思想和技术的发展,人们对待矛盾或不协调的态度和处理方法也在发生相应的改变,包容或容纳矛盾及不协调可以是集合论发展的一种路径选择.朴素集合论是一种不协调的理论,弗协调逻辑是唯一一类能够容纳不协调理论的逻辑类型;因此使用弗协调逻辑构造新的弗协调集合论系统是集合论发展的新路径. 相似文献
4.
达米特认为意义理论的比较研究有助于解决实在论与反实在论的争论问题 ,以促使一个“研究纲领”的产生。他的反实在论哲学以其意义理论分歧或语义学模型分歧为出发点 ,借助现代逻辑的手段 ,试图用直觉主义逻辑来奠定其反实在论哲学的逻辑基础 ,并尝试把应用于数学领域的直觉主义逻辑方法推广到日常语言领域 ,以解决不同意义理论之间的争论问题。因此 ,达米特的反实在论本质上是一种语义反实在论。这种反实在论的研究不仅促使我们深入地思考语言描述与客观实在的关系问题 ,而且使我们找到了一种研究哲学问题的新方法。 相似文献
5.
何浩平 《科学．经济．社会》2014,(1):19-25
本文试图证明胡塞尔的现象学哲学对二十世纪至今的数学哲学发展产生了重要的影响。首先,我简要介绍了胡塞尔生前与其他数学家和数学哲学家的互动。接着,我重点论述了胡塞尔现象学对直觉主义数学哲学家威尔以及数学实在论者哥德尔的影响。以此,我希望表明,不仅胡塞尔哲学对数学哲学发展有着重大影响,并且在当前,胡塞尔的数学哲学思想还是鲜活的。 相似文献
6.
李侠 《科学技术与辩证法》2005,22(4):11-13
科学哲学在21世纪应该向哪个方向发展?这是当前国内外科学哲学界普遍关注的重大问题。对此,笔者认为,科学哲学在经历了近三十年的沉寂与酝酿之后,表现出一个明显的研究纲领开始转型的迹象,即科学哲学开始从历史主义向自然主义和自然化认识论的方向演变,这种转变暗示了两种研究进路:首先,在本体论层面从实在论与反实在论的争论中跳离出来,转而关注外延更大的自然主义,这样就有效地回避了实在论与反实在论长期争论所导致的僵持状态;其二,在认识论上,以自然化认识论为主要的理论旨趣。通过这样的梳理,就可以清晰发现自上世纪90年代以来,当代科… 相似文献
7.
郭俊立 《科学技术与辩证法》2007,24(3):40-44
学界广泛认为科学知识社会学的强纲领与传统认识论存在严重冲突。文章将对这种冲突作进一步的辨析,认为以对称性原则为核心的强纲领只是与认识论的外在论相冲突,而与认识论的内在论是一致的。强纲领认识论的反实在论思想将其推至极端的相对主义。 相似文献
8.
杨睿之 《科学．经济．社会》2021,39(2):39-48
文章对裘江杰在《集合论多宇宙观与形式主义》中的若干观点提出挑战,试图论证:作为数学哲学的形式主义是无法做到彻底地本体论中立的,一些形式主义者对元数学的特别关注就促进数学实践而言的作用是有限的.特别地,作者结合对一些新进研究成果及其背后想法的梳理试图展示:形式主义在探究数学新公理和关于集合论多宇宙观的研究中是缺席的;反过来,集合论多宇宙观的有关研究成果则显示出其明显超出形式主义的价值. 相似文献
9.
桂起权 《科学技术与辩证法》2010,27(3):1-7
1.我们的物理学哲学研究的总纲领,是毕达哥拉斯主义与科学实在论的理念的整合。换句话说,我们相信物理世界的基本结构及其相互作用的奥秘都深藏于数学和谐的规律之中。然而,这并非人为的而是客观世界本身所固有的。2.在本体论上,我们相信＂场的实在论＂,认为无形无象的场是物理世界的第一性实体。同时承认＂关于结构的知识＂是认识不可观察实体的必由之路（知识论版本的结构实在论）。3.在因果性观点上,我们主张,作为自组织系统的物理世界,在整体上是由因果律与机遇律共同决定的。4.我们持有多元主义方法论观点,认为从不同视角看,多种量子力学解释各有其合理性。 相似文献
10.
本文为《现代反实在论新解》的第二部分,着重梳理与阐明现代反实在论的主流及其代表性人物,如戴维森、达米特、后期的普特南等。讨论的主题包括戴维森对库恩概念模式相对论的批评,达米特通过对真理观的重构而提出的反实在论思想,该思想又是怎样推进了逻辑实证论的反实在论纲领。笔者在文章最后提出诸如实在论反实在论这样的哲学争论,是否像帕菲特所说的那样为一种"空问题"。 相似文献
11.
本文选自王浩最后一本著作A Logical Journey——From Godel to Philosophyr(cambridge：The MIT Press,996)的引言部分，有删节，题目为译者所加。众所周知，虽然Solomon Feferman等人编辑的哥德尔《文集》已经出版了4卷，但哥德尔大量的思想，尤其是哲学思想，至今还隐藏在书信和私人谈话中。王浩这本书的一个目的是整理他在70年代与哥德尔的谈话，连贯一致地报道和解释哥德尔的哲学观点；另一个目的是利用这些材料阐述王浩自己的哲学信念。书中内容包括哥德尔的生平与思想发展，他对上帝和来生的玄思，他与王浩谈话的背景与内容，他对于不同的哲学和哲学家的议论，他证明心比脑和计算机优越的企图，他关于哲学作为精确科学的设想，他对数学中的柏拉图主义的论证和建立公理形而上学的尝试，以及他试图发展一种作为概念论的大逻辑的理想。这里节译的“引言”部分，是全书概要，一方面简述了上面这些内容的要点(当然有些要点在这里未能、也无须充分展开)，另一方面在作者所构想的哲学框架内，对哥德尔表面上零散的思想做了梳理和评价，说明它们既与西方哲学主干密切衔接，又远超时代潮流。虽然哥德尔的宏大规划并未完成，但其方法的新颖与内容的深刻，无疑为当代哲学留下了一笔丰厚的遗产。最后，王浩谈了他自己对于哲学、数学和逻辑之间的关系的理解，并借助清晰性和确定性标准，试图为不同的数学和哲学建立了一种由弱到强的谱系，使得我们在解释上能够消泯其中的抵牾，达成一种“公意”的统一。王浩建议，我们应该用这种方法来理解和接受哥德尔哲学的深浅不同的部分。 相似文献
12.
集合论在科技查新中的应用 总被引：2，自引：0，他引：2
本文应用集合论方法对科技查新对比分析过程进行抽象描述，为此提出了查新科技要素及其各自不同范畴、集合和交集等概念。由此论述了准确地进行科技查新对比分析和结论撰写时所需要的集合分析方法以及应在查新报告中重点表述和应忽略的科技要素集合内容。 相似文献
13.
程瑞 《科学技术与辩证法》2009,26(4):33-39
结构时空实在论是结构实在论思想运用于时空实在论研究的重要结果。文章从阐述结构实在论的方法论特征开始,继而分析了时空本体论争论中时空点的地位、结构实在论方法的可能优势及不足,最后探讨目前存在的结构时空实在论的主要形式及其方法论特征,指出一种语义概念下的整体主义方法论趋向。 相似文献
14.
张燕京 《科学技术与辩证法》2005,22(1):47-50
达米特发现真概念 ① 起源于特定的语言实践这一重要事实 ,揭示了真概念既具有实践的必然性 ,又具有理论的局限性 ,从而阐明了真概念具有实在论本质与特征的主要根源。达米特对于真概念的反思 ,既是他批判真值条件意义理论与实在论 ,修正二值逻辑的理论动因 ;又是他创立证实主义意义理论与提倡反实在论 ,构造直觉主义逻辑的基本前提 相似文献
15.
16.
张华夏 《科学技术与辩证法》2009,26(6):1-11
结构实在论是近年来科学实在论与反实在论争论的焦点之一。而为了理解结构实在论必须首先了解科学实在论。文章首先对科学实在论的论据、类型及其问题进行概要性讨论,指出它的主要论据是最佳解释推理和无奇迹论证以及因果解释推理和实验实践论证,并将科学实在论划分为科学理论实在论、理论实体实在论、实验实体实在论和结构实在论;然后对新兴起的结构实在论相关的本体论和认识论作一个总体的评论,阐明结构实在论在当前科学实在论与反实在论争论中的地位与作用,比较各种不同类型的结构实在论,特别是认识的结构实在论和本体的结构实在论的异同,阐明它们的内容、历史、意义和存在问题,并认为拒斥实体的结构实在论是片面的、不完备的,主张建构一种实体的结构实在论来修正和发展结构实在论。 相似文献
17.
结构实在论有三个主要学派,它们在认识论或本体论上对结构概念的强调,有力地回应了反实在论对实在论核心论点的批判,但是其理论与论证过程仍有问题：主要表现在本体论基础、因果关系的协调和科学理论的演化与进步等方面。作为结构实在论第四个版本的相互作用实在论能较好地克服结构实在论上述三方面的不足。 相似文献
18.
罗伯特·拉塞尔提出的创造性互动纲领可以说是当今科学与宗教研究领域最具建设性的创见之一。拉塞尔主要继承巴伯批判实在论类比方法的合理内核,走向互动的方法。这种富有建设性的新型方法论具有很强的现实应用性,为当今教育方法的改革提供了有效的指导方法,带来新型转变。 相似文献
19.
准实在论采取投射主义、表达主义的反实在论立场,同时又辩护对按投射主义理解的判断作出真假评价的权利,而解释真理概念成为这个任务的逻辑基础。准实在论提出过语义学解释、语用学解释和语源学解释三种解释,不仅没有给出准确的真理意义,而且导致了诸多问题。准实在论的真理难题启示我们,真理词项的处理要区分日常领域与各专业领域;对于具有客观性内涵的真理概念,应采取实在论去理解它所评价的判断。 相似文献
20.
众所周知在初等数学中,集合是一个最基本的概念,而且初等数学中的集合所谓代数运算仅仅包含加减乘除四种,初等数学中的映射也就仅指函数一类.本文在初等数学关于集合、代数运算和映射相关知识点的基础上,结合抽象代数的相关知识,对集合中的代数运算以及映射进行推广,再结合若干实例进一步剖析推广后的代数运算与映射概念. 相似文献