共查询到20条相似文献,搜索用时 15 毫秒
1.
弗雷格《算术的基本规律》中二阶逻辑理论FL是不一致的,在语法上可以推演出罗素悖论,在语义上,矛盾于康托尔定理,进而是不可满足的。通过仔细考察弗雷格的逻辑系统FL、FL的子系统FA以及算术还原为逻辑的推理过程,可以看出弗雷格在用公理五与概念的数的显定义推演出休谟原则后,不再实质依赖于公理五与概念的数的显定义。休谟原则与带完整二阶存在概括规则的二阶逻辑组成的系统FA是一致的,并且足以推出戴德金皮亚诺系统的五条公理,这实质上给出了不同于皮亚诺公理系统的另外一种算术公理化系统。根据自然数的定义,弗雷格实质上利用数学归纳法证明了每个自然数都有后继存在,加上后继的唯一性,弗雷格就保证了无穷多的自然数的存在。 相似文献
2.
3.
循环并不可恶--《恶性循环:非良基现象的数学》评介 总被引:1,自引:0,他引:1
上世纪初,罗素悖论和其他几个集合论悖论的出现引起了许多著名数学家的震惊。为了排除悖论,集合论学者们借助公理方法对康托尔的理论和方法进行了系统整理,建立起了多种严谨的集合论体系,当今应用广泛的ZF集合论就是其中最为著名的一种。直观上集合与类不分,一个性质决定一个类,ZF集合论不能承诺所有这些类都是集合,它用基础公理FA来保证所承诺的集合都是良基的。说一个类X为良基的,是指不能有一个由类组成的无穷序列X1、X2、…、Xn、… (不一定都不相同 )使得…∈Xn∈…∈X2∈X1∈X成立。这样的无穷序列被称为从X开始的一条无穷∈降… 相似文献
4.
20世纪初,在逻辑和数学中发现了许多悖论,包括罗素本人所发现的悖论(后被称为罗素悖论)。这些悖论动摇了数学的基础,史称第三次数学危机。为了解决这一次数学危机,罗素提出了逻辑主义的纲领,并得到一些著名的逻辑学家的支持,成为数理逻辑中的三大学派之一。本文旨在对罗素的逻辑主义作出全面的科学的评述。一、数学概念和数学定理的推导罗素的逻辑主义包含两个部分:(1)数学概念可以通过显定义从逻辑概念推导出来;(2)数学定理可以通过纯逻辑推演(即一阶逻辑演算)由逻辑公理推导出来。罗素所使用的逻辑概念有:命题联结词(否定,析取,合取,蕴涵)… 相似文献
5.
近年来,弗雷格研究的一个突破性成果是发现了弗雷格定理:用Hume原理取代弗雷格的公理V*,把它作为唯一的非逻辑公理加入到《概念记号》的二阶逻辑中可得到一个一致的系统;应用《概念记号》的序列理论来定义自然数,便可在上述系统中证明Peano关于自然数的五个公设。弗雷格定理的发现促使人们重新审视弗雷格的著作,《概念记号》便是焦点之一。本文回答四个问题:1.弗雷格在《概念记号》中要解决什么具体问题?2.他所说的“语言的逻辑缺陷”究竟是什么?3.有什么证据把《概念记号》的量词理论归于二阶逻辑?4.序列的纯… 相似文献
6.
疑难推理中,最引人注目的是悖论。自从1901年罗素从弗雷格的《数学基础》中举出了有名的罗素悖论之后,八十年来,悖论已成为数学、哲学、逻辑、语言的重大研究课题。但是悖论的雏形古已有之。著名的芝诺四悖论就是。长期以来,人们很少从逻辑上考察芝诺悖论究竟“障”在哪里,有的人甚至把芝诺的四悖论当作无聊的诡辩而加以嘲笑,这是不足取的。本文从逻辑上为芝诺悖论做一点辩诬工作,以发掘其中的积极因素。 相似文献
7.
8.
9.
非直谓现象普遍存在于许多领域中。在数学中,对集合的最小元的定义是非直谓的。在逻辑中,罗素悖论的产生是由于允许非直谓地定义一个集合,即“所有不包含它自身的集合的集合”。莱布尼兹对“同一性”的定义——“a与b是相同实体当且仅当对所有性质f,如果f(a)则f(b),反之亦然”——是非直谓的。罗素构造分歧类型论的动机不是来自形式系统的悖论,而是来自日常语言中的悖论。本文的目标是构造一文化景观命题逻辑来刻画关于特定的非直谓语句的推理。一个非直谓语句的表达预设了一个语句集,一个典型的非直谓语句是“拿破仑具备一名伟人将军的所有德性”(罗素的例子)。本文所关注的是“一阶”非直谓语句,即仅预设直谓语句集的非直谓语句。非直谓语句的一个性质是:一个非直谓语句等价于它所预设的语句集中的成员(可能无穷)的合取。这一性质需要在要构造的逻辑系统的句法中被表达出来,而针对此本文所采用的手段是在命题逻辑系统的符号中加入“命题量词”,也就是说本文要构造一个量化命题逻辑系统。在形式化部分,本文给出了这个逻辑的句法、语义、希尔伯特公理系统和它的完全性证明。 相似文献
10.
罗素悖论是逻辑学中极为重要的一个悖论,它对现代逻辑的推进和完善起到了关键的作用.但学界对罗素悖论提出的背景和逻辑学界的研究状况了解不多.在罗素悖论提出之前,逻辑学家施罗德、策梅罗等就已经展开了对罗素悖论及类型理论雏形的讨论.不少逻辑学家和哲学家,如弗雷格、罗素、胡塞尔和维纳等都对这两人的贡献进行了评价与分析. 相似文献
11.
悖论从形态上可分为两类,即逻辑悖论与语义悖论。罗素不赞成把悖论划分为两类,因为他认为所有悖论的产生都是同一种错误的结果,即都是由于违反“恶性循环原则”(一个“集合”自身必不是这个“集合”的元素)而造成的。他的观点不是没有道理的,从悖论的特征及其形成的深层原因看,确实这种划分并不重要。但是这种划分又是可能的;逻辑悖论导致了集合论的发展,而语义悖论则导致了语义学的发展。 相似文献
12.
13.
哥德尔(Kurt Godel)是现代逻辑史上的巨匠,他在逻辑史上有两大贡献:一是他证明了罗素和怀特海在《数学原理》中提出的一阶逻辑演算的完全性定理(1930),即任何有效的一阶公式都是可证的。二是他证明了著名的不完全性定理(1931),《数学原理》的系统和集合论的ZF公理系统不足以判定能在这些系统中形式化的所有数学问题... 相似文献
14.
15.
1989年A.Blass和A.Scedrov构造了含有原子的模型V(A)(A是所有原子的集合,参见文献[1])并证明了V(A)是ZFA(ZFA=ZF+A,公理A断言:存在所有原子的集合)的模型。由于集合论的公理系统GB是ZF的一个保守扩充,因此,集合论的公理系统GBA(GBA=GB+A,其中GB是集合论的含有集合和类的哥德尔-贝奈斯公理系统)也是ZFA的一个保守扩充。本文的目的是在集合论的含有原子和集合的公理系统ZFA的自然模型V(A)的基础上,为集合论的含有原子、集合和类的公理系统GBA建立模型。因此,我们首先介绍了A.Blass和A.Scedrov的含有原子的模型V(A);第二,给出并证明V(A)具有的一些基本性质;第三,扩充了集合论的公理系统ZFA的形式语言LZFA并定义含有原子和集合的类C;第四,构造含有原子、集合和类的模型∑(A),称它为自然模型,最后,证明了∑(A)是GBA的模型。 相似文献
16.
自伯特兰·罗素等人在素朴集合论中发现悖论以来,悖论研究一直是数学哲学和逻辑哲学的重要课题,甚至是其一定时期的核心课题。然而,以研究科学方法论为核心内容的科学哲学,却一直未能给予悖论研究以足够的重视。本文试图说明,悖论研究在科学方法论中有着重要的地位和作用,应成为科学哲学研究的重要内容。 相似文献
17.
这篇短文,意在驳斥那种认为所有自指命题从逻辑和语义的角度去分析都不合逻辑的理论。首先我认为一个命题可以以多种方式自指,并不能把所有的自指命题都看作同一类型。其次,在自然语言中,虽然如“这个命题是假的”这样的句子有其逻辑和语义的缺陷,但并不是所有的自指命题都是如此。在这方面,历史上有很多论述。罗素在其分类理论中。第一个指出所有自指命题都无意义,在其使数学基本原则规范化的研究中,分类理论的建立和发展特以用来处理自指悖论。其它逻辑学家在试图使集合理论规范化,精确阐述真假规则过程中也遇到了同样的悖论。显然,建立一种规范系统,确保此系统中形成和派生规则不产生逻辑悖论,是极其重要的。 相似文献
18.
通过对三值逻辑方案遭遇强化型说谎者悖论反击而导致解悖失败的案例分析表明,只要是研究演绎推理及其规律的逻辑系统,包括所有严谨合理的经典与数理的以及那些扩展的和异常的逻辑系统都要遵守的一个基本规则,那就是强化型二值原则。金岳霖先生说:"二值原则不过是对命题的值引用二分法的结果"。因此,同一律和二分法是比二值原则还要更基本的逻辑设定。依据分离公理和戴德金分割,可以确定二分法的操作步骤。在对二分法操作步骤的逻辑分析中,如果按照"逻辑必然的实质就是穷尽可能"的要求,会发现通过母项内部的一个分界点来划分,并不能百分之百地确保得到的都是真正的二分。在两种特殊情况下,两个子项之间会出现一个遗漏元素或一个重叠元素,使二子项的关系成为上反对关系或下反对关系,而不是矛盾关系,这样就导致了二值原则普适性的失效。将这个发现应用到对理发师悖论的分析中,就明白理发师正是那一个重叠元素。更深入的考察,还会发现只要具有统一特征"矛盾等价式"的逻辑悖论,其结构就与理发师悖论相同。这些悖论的统一特征恰恰就是那一个重叠元素的特征,从而给出了说谎者悖论、集合悖论、格雷林悖论、理查德悖论等同一类型逻辑悖论产生根源的一个合理解释。 相似文献
19.
皮亚诺(G·Peano)是19世纪意大利著名的数学家,逻辑学家和语言学家。1884年起任都灵大学讲师、教授,并曾兼任都灵军事科学院教授。皮亚诺在数学基础方面取得了突出的成就,“皮亚诺五公理”作为自然数论的出发点沿用至今。但正如罗素所说,“许多现代的数学研究显然是在逻辑的边缘上,许多现代的逻辑研究是符号的形式的,以致对于每一个受过训练的研究者来说,逻辑和数学的非常密 相似文献
20.
文章旨在简要地讨论弗雷格《概念文字》,指出其中的两个重要但被一些国内学者误解或忽略的贡献:首先我们指出,根据Boolos等人的论证,弗雷格《概念文字》中的逻辑本质上是带完整二阶存在概括规则的二阶逻辑,这点在国内一些学者的著作与文章中存在误解;其次,我们讨论弗雷格如何用遗传性概念来定义祖先关系,进而定义自然数或有穷数,并使得数学归纳法仅根据自然数的定义就得以成立,这也为弗雷格把算术还原为逻辑奠定了基础。 相似文献