In the Light of Logic (Logic and Computation in Philosophy) pdf epub mobi txt 电子书 下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:Oxford University Press, USA

作者:Solomon Feferman

出品人:

页数:352

译者:

出版时间:1998-11-19

价格:USD 125.00

装帧:Hardcover

isbn号码:9780195080308

丛书系列:

图书标签:

• Logic
• Philosophy of Logic
• Mathematical Logic
• Computation
• Philosophy of Computation
• Reasoning
• Formal Systems
• Proof Theory
• Model Theory
• Philosophical Logic

逻辑与计算的基石：概念、结构与实在的探寻 图书名称：《真理的织锦：从亚里士多德到图灵的逻辑演进与哲学意涵》 图书简介： 本书旨在深入剖析逻辑思维的结构、计算的本质及其在哲学领域所产生的深远影响。它并非对某一特定哲学流派或计算理论的全面梳理，而是着眼于逻辑作为一种工具，如何被人类用来建构知识体系、理解世界运作规律，以及最终塑造了我们对“思考”本身的认知。 第一部分：古典逻辑的奠基与重塑 本书伊始，我们将追溯逻辑学的源头——亚里士多德的三段论体系。我们将详细考察“形式化”的早期形态，即如何将自然语言的模糊性提炼为清晰、可检验的命题结构。这部分不仅是历史回顾，更是对我们日常推理模式的解构。我们会探讨亚里士多德逻辑在处理全称、特称和否定命题时的严谨性与局限性，特别是它在处理模态（必然性与或然性）问题时的挣扎。 随后，我们将转向晚期希腊和中世纪逻辑学家的工作，例如对“异词”（Insolubles）的探讨，这些悖论揭示了早期逻辑系统内在的张力，预示着未来对基础性概念的严格定义的必要性。我们将探讨中世纪经院哲学家如何利用逻辑工具对神学和形而上学命题进行精确的辩论与分析，从而巩固了逻辑作为“科学之冠”的地位。 第二部分：数理逻辑的黎明与符号的革命 进入近代，逻辑学的焦点从语言的规范转向了数学的基础。本部分将聚焦于布尔的代数化努力，这是第一次尝试将逻辑推理彻底转化为代数运算。我们将详细分析布尔代数如何为现代计算机科学提供了最基本的硬件操作蓝图。 更重要的是，我们将深入探讨弗雷格对“逻辑主义”的宏伟构想。弗雷格通过他的“概念文字”（Begriffsschrift）彻底革新了符号表示法，旨在为数学建立一个完全独立于心理学和经验的、纯粹的逻辑基础。我们必须细致考察他的“函数与论域”的区分，以及这种区分如何奠定了现代一阶谓词逻辑的基石。我们将探讨罗素的类型论是如何在弗雷格的框架中及时出现，用以消解“理发师悖论”这类困扰数学家和逻辑学家的基础性矛盾。 第三部分：完备性、不完备性与计算的边界 本书的核心章节将集中于二十世纪上半叶逻辑学发展的两大主线：形式系统的完备性证明与哥德尔对数学基础的颠覆性发现。我们将清晰阐述希尔伯特“纲领”的雄心壮志——希望将所有数学真理形式化为一个可以被证明的、无矛盾的系统。 随后，我们将转向哥德尔的不完备性定理。这不是一个简单的数学结论，而是一个深刻的哲学声明：任何足够强大的形式系统，其内部必然存在无法被该系统自身证明的真命题。我们将详细解析哥德尔编码的巧妙之处，以及这一发现对“知识的可穷尽性”这一哲学命题的挑战。 紧接着，我们将引入图灵的工作。图灵的“可计算性”概念，即对“算法”的精确定义，是连接纯逻辑与实际计算的桥梁。我们将分析图灵机作为一个思想实验模型，如何清晰界定了“什么是可以被机械过程解决的问题”。图灵机模型的强大之处在于，它通过一个极其简单的结构，概括了所有现代电子计算机的计算能力。 第四部分：逻辑应用于心智与语言的哲学反思 在奠定了逻辑和计算的严格基础之后，本书将探讨这些工具如何反作用于哲学本身。我们将考察逻辑实证主义运动，特别是维特根斯坦早期和后期的思想转变。 早期的维特根斯坦，在《逻辑哲学论》中试图描绘语言与世界的关系——一种“图像论”——试图用逻辑形式来界定可言说的边界。我们将对比这种严格的图像理论与后来的语言学转向，探讨语言的实际使用（语用学）如何挑战了严格的符号逻辑的纯粹性。 我们还将审视计算模型（如图灵机）对“心智哲学”的影响。计算主义视角如何解释人类的推理、决策和认知过程？我们是否可以把人类心智视为一台极其复杂的图灵机？本书将辩证地讨论强人工智能和弱人工智能的哲学争论，聚焦于诸如“中文屋”等思想实验对机械化思维局限性的揭示。 结语：非单调逻辑与未来形态 最后，我们将超越经典逻辑的二值性（真/假），简要探讨非单调逻辑、模糊逻辑等现代分支。这些新的逻辑工具不再要求推理的绝对确定性，而是更适应于日常生活中不完全信息和不断修正的信念系统。 本书试图构建的，是一个关于“形式化思维”的完整叙事：从人类对清晰论证的原始需求，到符号逻辑的精确构建，再到计算能力的极限探索，以及最终对人类心智和语言本质的哲学反思。它展示了逻辑如何不仅仅是分析的工具，更是我们理解实在结构和认知能力边界的核心框架。读者将获得一个结构性的视角，理解我们赖以构建科学、数学和信息技术的思想支柱是如何一步步被建立起来的。

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆