共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
数学是逻辑吗?--论数学的逻辑主义基础 总被引:2,自引:0,他引:2
数学与逻辑的关系问题一直都是数学哲学家们关注的重点,对这一问题的解决直接关系到人们对数学基础的研究能否深入。以罗素为代表的逻辑主义提出数学可化归为逻辑的观点受到了哲学界广泛的关注和批判。文章试图通过剖析逻辑主义的基本论点,进一步揭示数学与逻辑之间的联系与差异,指出数学不只是逻辑。因为我们认为非直谓定义、集合论的无穷公理在数学研究中有着广泛的应用,然而这二者却不容于逻辑。因此,数学比逻辑有着更宽泛的研究对象和范畴。 相似文献
3.
高坤 《科学.经济.社会》2021,39(2):49-56
哥德尔纲领是由哥德尔提出的一个旨在解决集合论独立性问题的研究方略,它对最近半个世纪的集合论研究产生了巨大的影响.当代集合论的一些最新成果显示,这个纲领有可能面临一个完美的实现.很多人认为,这将有力地支持数学实在论.但更深入的分析表明,哥德尔纲领的真正基础是集合的迭代概念,而非实在论;并且,集合的迭代概念以及践行哥德尔纲领所使用的外在的公理辩护方法,实际上与实在论的立场有潜在的冲突,反倒与反实在论的图景更为契合. 相似文献
4.
寇亮 《科学.经济.社会》2021,39(2):57-64
讨论了现代集合论中新公理选择的问题,展示了两种备选项:大基数公理和力迫公理及它们各自的背景与目标.本文认为,大基数公理和力迫公理的背后有着截然不同的哲学预设,它们目前的结论也相互矛盾,但是,二者仍有许多相同之处,它们的矛盾并非是不可调和的. 相似文献
5.
6.
悖论是一种特殊的、具有语用性质的逻辑矛盾。任何悖论都是特定认知共同体从其公认正确的背景知识中合乎逻辑地推导出来的。发现、分析和解决悖论需要思维的逻辑因素与非逻辑因素的共同作用,反思、想象和辩证思维等思维方式在其中居于尤为重要的地位。 相似文献
7.
杨睿之 《科学.经济.社会》2021,39(2):39-48
文章对裘江杰在《集合论多宇宙观与形式主义》中的若干观点提出挑战,试图论证:作为数学哲学的形式主义是无法做到彻底地本体论中立的,一些形式主义者对元数学的特别关注就促进数学实践而言的作用是有限的.特别地,作者结合对一些新进研究成果及其背后想法的梳理试图展示:形式主义在探究数学新公理和关于集合论多宇宙观的研究中是缺席的;反过来,集合论多宇宙观的有关研究成果则显示出其明显超出形式主义的价值. 相似文献
8.
Q分析法:图书馆学情报学的结构语言 总被引:1,自引:0,他引:1
本文揭示了Q分析法是研究同一集合或两个不同集合元素之间的关系类型的一种结构语言。Q分析法的理论根源是集合论和仪数拓扑学,主要功能是实现研究对象的自然聚类;其主要特点是启发思维,与各学科理论指导结合运用,使复杂问题形成多角度关联,自然分类使之结构化。运用Q分析法于图书情报学领域,将填补其空白点,使情报计量方法体系得以发展充实。 相似文献
9.
郭垒 《科学技术与辩证法》2004,21(6):25-29
“适应”、“选择”是生物学理论中最具本质性的术语 ,自然选择是生物学与物理科学之间区分的最后底线。因此 ,进化论的演绎公理系统可以更清楚地反映出生物学与物理科学之间在什么程度上以及在什么意义上有着区别和联系。MaryB .Williams提出的进化论公理系统概括了有关进化论的所有观念 ,同时又与关于进化速率和机制的众多分歧在逻辑上相一致。由于国内鲜有人了解这个系统 ,本文根据Rosenberg的简要论述进行了编译 ,并把这个公理系统与自组织理论联系起来 ,给出进化论演绎公理系统的一种语义或分子模型的简要讨论。 相似文献
10.
学习迁移是指一种学习对另一种学习的影响或习得的经验对完成其他活动的影响.迁移是使习得的经验得以概括化、系统化的有效途径,是形成能力的关键环节.应用有效的迁移原则,学习者可以在有限的时间内学得更快、更好.教师在教授抽象的概念、原理时要借助具体的事例,帮助学生完成迁移的产生,加快教学进程. 相似文献