共查询到20条相似文献,搜索用时 328 毫秒
1.
20世纪初,在逻辑和数学中发现了许多悖论,包括罗素本人所发现的悖论(后被称为罗素悖论)。这些悖论动摇了数学的基础,史称第三次数学危机。为了解决这一次数学危机,罗素提出了逻辑主义的纲领,并得到一些著名的逻辑学家的支持,成为数理逻辑中的三大学派之一。本文旨在对罗素的逻辑主义作出全面的科学的评述。一、数学概念和数学定理的推导罗素的逻辑主义包含两个部分:(1)数学概念可以通过显定义从逻辑概念推导出来;(2)数学定理可以通过纯逻辑推演(即一阶逻辑演算)由逻辑公理推导出来。罗素所使用的逻辑概念有:命题联结词(否定,析取,合取,蕴涵)… 相似文献
2.
3.
为了实现把数学还原为逻辑这一逻辑主义的基本纲领,弗雷格发明了一种表意文字,并用这种文字建立了一个表达逻辑规律和推理规律的初步自足的公理系统和一个高阶的逻辑系统,借助于这两个公理系统、他用一些基本的逻辑概念严格定义了自然数,并且建立了自然数的基本性质。然而就在他的工作即将完成之际,英国逻辑学家罗素却发现,在弗雷格的公理系统中,依靠“概括原则”可以推出“不属于自身的集合的集合”的悖论。这就是著名的罗素悖论。其实“罗素悖论”并不是首次在数学中发现的悖论。早在1895年弗雷格就在自己的集合论中发现了一个悖论。1899年康托也发现了一个更简单、更基本的集合论悖论,即著名的“康托悖论”。在此之后,人们又发现了一些其他悖论。随着越来越多的悖论的发现,兴起 相似文献
4.
5.
罗素悖论是逻辑学中极为重要的一个悖论,它对现代逻辑的推进和完善起到了关键的作用.但学界对罗素悖论提出的背景和逻辑学界的研究状况了解不多.在罗素悖论提出之前,逻辑学家施罗德、策梅罗等就已经展开了对罗素悖论及类型理论雏形的讨论.不少逻辑学家和哲学家,如弗雷格、罗素、胡塞尔和维纳等都对这两人的贡献进行了评价与分析. 相似文献
6.
7.
哲学史上,悖论往往起着重要作用,著名的“芝诺悖论”揭示了运动中所包含的矛盾。向人们提出了怎样不仅在表象中而且在概念中把握运动这个严肃问题。“康德悖论”即四个二律背反揭示了辩证思维的矛盾本性,为黑格尔唯心主义辩证法的创立提供了 相似文献
8.
从海德格尔对时间问题的思考出发,本文对芝诺悖论给出了一个不同于以往形而上学的时间论解释。这一时间论解释试图说明,从巴门尼德与芝诺开始的关于存在与运动的思考,尤其是著名的芝诺悖论,在何种意义上开启了后世西方形而上学关于存在与时间问题之思考正统的“开端”,以及这一正统的开端又在何种意义上“遗忘”和“遮蔽”了关于“存在”与“时间”的源初问题。 相似文献
9.
哲学分析可被追溯至芝诺的悖论、苏格拉底与柏拉图的辩证法以及亚里士多德"拯救现象"的方法.现代分析哲学运动始于弗雷格对关涉世界的语言的探究,用命题演算和谓词演算取代古典三段论.同时皮尔士在美国也为哲学分析奠立基础.从罗素、前期维特根斯坦到逻辑实证主义以及希尔伯特、哥德尔等,都将理想(人工)语言的分析置于哲学的中心地位,但它和还原论的"证实"原则都引起争议. 相似文献
10.
学界常常以连续性与可分性之间的辩证法反驳芝诺悖论,但常因为概念语义模糊而很难触及芝诺悖论的核心问题,即存在与质料状态的关系问题。为澄清该问题,我们有必要在古希腊那种十分独特的存在观的背景下,回到芝诺提出这些悖论的初衷,进而考察古今两种最典型的应对之法,即考察亚里士多德是如何将可分性问题推进到"质料状态可否加以规定"的问题,以及黑格尔将质料状态现成化为现实状态的预备阶段后对这些悖论的解读,以便最终借此显明质料状态在现代的失落这一极为关键的思想史现象,探讨当代人应如何面对芝诺悖论。 相似文献
11.
12.
自伯特兰·罗素等人在素朴集合论中发现悖论以来,悖论研究一直是数学哲学和逻辑哲学的重要课题,甚至是其一定时期的核心课题。然而,以研究科学方法论为核心内容的科学哲学,却一直未能给予悖论研究以足够的重视。本文试图说明,悖论研究在科学方法论中有着重要的地位和作用,应成为科学哲学研究的重要内容。 相似文献
13.
14.
语义悖论研究的新思路——情境语义学解悖方案探析 总被引:3,自引:0,他引:3
一、已有解悖方案的思路及不足自古老的说谎者悖论提出后,两千年来有关悖论的研究文献可谓汗牛充栋。特别是20世纪以来,罗素、塔尔斯基、克里普克等对悖论问题的关注,更进一步深化了人们的认识。但众所周知,无论罗素的类型论方案、塔尔斯基的语言层次理论,还是克里普克的真值间隙论方案,均没能合理地解决悖论问题。罗素的类型论方案试图通过对“自指”的限定来消解说谎者悖论,被认为是“用大炮打苍蝇,苍蝇虽然死了,但毁灭的东西也太多”!塔尔斯基试图通过给语言分层的方法来解决说谎者悖论,但“特设性”的指责却无法逃避。克里普克的方案最… 相似文献
15.
16.
罗素的观点看来是主张,类型论提供了避免一切悖论的方法,此外类型论在本质上还是这种方法的理论基础。让我们依次来考虑这两点。晚近的作者在所谓“语义悖论”和集合论悖论之间作出了区分,而罗素没有这样做。埃匹曼尼德悖论被称为语义悖论,因为它在本质上涉及到真的概念(谎话是不真的);并且“真”被称作一种语义关系,因为它是 相似文献
17.
悖论从形态上可分为两类,即逻辑悖论与语义悖论。罗素不赞成把悖论划分为两类,因为他认为所有悖论的产生都是同一种错误的结果,即都是由于违反“恶性循环原则”(一个“集合”自身必不是这个“集合”的元素)而造成的。他的观点不是没有道理的,从悖论的特征及其形成的深层原因看,确实这种划分并不重要。但是这种划分又是可能的;逻辑悖论导致了集合论的发展,而语义悖论则导致了语义学的发展。 相似文献
18.
19.
悖论研究是一个古老的研究领域,信念修正理论则是最近三十年发展而成的新型逻辑理论。悖论的形成、发现与解决是一种典型而复杂的信念修正过程。虽然这两个领域的亲缘关系非同一般,但迄今为止学界对这种亲缘关系缺乏系统的研究。本文从信念修正理论的角度提出一种重新审视悖论相关论题的新思路,进而提出一种基于信念修正理论的新的解悖方法论,最后依据这种解悖方法论对罗素悖论给出了一种新的解决方案。这种交叉研究的新思路不仅能推动悖论研究的发展,也能为信念修正理论指出新的研究方向。 相似文献