Outlines of a Formalist Philosophy of Mathematics pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:North-Holland

作者:Haskell B. Curry

出品人:

页数:83

译者:

出版时间:1970-4

价格:GBP 4.42

装帧:Paperback

isbn号码:9780720422061

丛书系列:

图书标签:

形式主义
哲学
逻辑
数学哲学
数学
HaskellCurry
数学哲学
形式主义
数学基础
逻辑学
集合论
公理化
形式系统
数学认识论
哲学
数学

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

《形式主义数学哲学纲要》并非对数学形式主义思想的百科全书式罗列，而是一次对该哲学流派核心关切的深度挖掘与精炼呈现。本书旨在梳理并阐释一种关于数学本质的视角，这种视角将数学视为一个由符号、规则和推理构成的独立体系，其有效性与真理性根植于其自身的内部一致性，而非外在于数学的任何实在性或直觉。全书伊始，作者便着手剖析“形式主义”在数学哲学语境下的具体含义。这并非简单地将数学等同于游戏规则的集合，而是深入探讨了数学对象为何能够超越具体的物理实体或心理表象而拥有其独特性。核心观点在于，数学的意义与价值并非来自对现实世界的模仿或抽象，而是源于其内在形式结构的严谨性与逻辑的自洽性。这种对“形式”的强调，引导读者思考数学的普遍性与必然性究竟来自何处，以及数学语言的符号化过程如何建构起一个独立于直观经验的知识领域。本书的一个关键篇章将集中探讨逻辑在形式主义数学中的地位。逻辑被视为形式主义的基石，它不仅是构建数学理论的工具，更是界定数学真理的标准。作者将详细考察逻辑规则如何被形式化，以及这种形式化如何使得数学陈述的真伪能够被客观地判定，无需诉求于任何主观的理解或阐释。这其中，作者可能会触及早期形式主义者在处理集合论悖论等问题时所面临的挑战，以及他们如何尝试通过严格的公理化和形式化手段来规避这些问题，从而确保数学体系的可靠性。此外，对数学证明的考察也是本书不可或缺的一部分。形式主义者视数学证明为符号序列的变换，其有效性仅取决于是否遵循预设的逻辑规则。本书将深入分析这种关于“证明”的理解，探讨它如何改变了我们对数学知识生产和传播的认知。证明的客观性、可验证性以及其形式化过程的清晰性，被视为形式主义数学体系稳定性的重要保障。作者可能会对比形式主义的证明观与其他数学哲学流派（如直觉主义）在证明概念上的差异，借此凸显形式主义的独特性。本书亦将触及“可判定性”与“可构造性”等概念。在形式主义的框架下，一个数学问题是否具有解，以及这个解是否能够被明确地构造出来，是衡量其数学意义的重要维度。作者将探讨形式主义如何为理解这些概念提供一种清晰的哲学视角，以及它如何促使数学家关注算法、过程以及计算的可能性。这可能涉及到对哥德尔不完备定理的讨论，并非是为了否定形式主义，而是为了更深刻地理解形式化体系的内在局限与能力，以及这些发现如何反过来塑造了形式主义数学哲学的发展方向。 “数学对象的存在性”也是本书探讨的核心问题之一。形式主义者并非否认数学对象，而是以一种独特的、基于形式系统的方式来理解其存在。本书将阐释，在形式主义看来，数学对象的“存在”并非意味着它们在某种独立于我们心智的领域中实际存在，而是指它们是某个逻辑一致的形式系统中可被推理和操作的实体。这种本体论上的立场，显著区别于柏拉图主义等强调数学对象独立实在性的哲学流派。在涉及“数学的实在性”时，本书将聚焦于其内在的逻辑实在性。形式主义者认为，数学的实在性与其说是关于外部世界的摹写，不如说是关于逻辑结构与关系本身的一种实在性。这种理解允许数学超越任何具体的经验限制，拥有普遍的应用性。本书将仔细辨析这种“内在实在性”的含义，以及它如何解释数学在科学研究中扮演的关键角色，即便数学理论本身并非直接从经验中导出。本书也可能涉及形式主义数学在面对“非经典逻辑”或“新数学分支”时的调整与发展。面对数学知识的不断拓展和哲学思考的深化，形式主义思想自身也在不断演进。本书旨在勾勒出这种演进的脉络，展示形式主义如何在保持其核心精神的同时，吸收新的思想和方法，以应对不断变化的数学图景。总而言之，《形式主义数学哲学纲要》是一次对数学内在逻辑结构与形式规则的深刻哲学审视。它并非要呈现一个完整、封闭的数学形式主义体系，而是邀请读者一同进入一个关于数学本质的理性探险，思考数学的语言、逻辑、证明以及存在的深层含义，并理解一种将数学视为纯粹形式活动的哲学视角所带来的洞见与影响。本书的价值在于其对数学根基的追问，以及其对数学知识的客观性与普遍性的独特辩护。