Proving the Unprovable pdf epub mobi txt 电子书下载 2026

简体网页||繁体网页

☆☆☆☆☆

出版者:Oxford Univ Pr

作者:Slobogin, Christopher

出品人:

页数:208

译者:

出版时间:2006-9

价格:$ 67.74

装帧:HRD

isbn号码:9780195189957

丛书系列:

图书标签:

数学哲学
逻辑学
哥德尔不完备性定理
可计算性理论
形式系统
证明论
数学基础
递归论
集合论
元数学

下载链接在页面底部

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

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

It is hard enough in many cases simply figuring out whether a person has committed an antisocial act. It is harder still to determine the extent to which he or she intended the act, and why he or she committed it. And most difficult of all is divining whether a person will harm again. The law has increasingly turned to mental health professionals to help address these issues, particularly the last two. Because of their familiarity with and study of human behavior, psychiatrists, psychologists and other clinicians are thought to possess special expertise in assessing culpability and dangerousness. Members of these groups routinely furnish the courts with evaluations of insanity and other mental state at the time of the offense, and even more frequently proffer predictions about future behavior. Both culpability and dangerousness are exceedingly difficult to gauge; even mental health professionals well-versed in the behavioral sciences cannot claim a high degree of reliability in their efforts to address these issues.Though the current trend in evidence law is to demand a rigorous demonstration of scientific validity from expert witnesses, especially when those experts are mental health professionals proffered by the defense, this book argues that this is a mistake. Such a position undermines the fairness of the process and could quite possibly even diminish its reliability, given the defense's constitutional entitlement to tell its story and the inscrutability of past and future mental states. At the same time, Professor Slobogin proposes a number of ways the courts can ensure that experts provide the best possible information about ultimately unknowable past mental states and future behavior.

探寻逻辑边界：一本关于悖论与极限的哲学论著本书深入探讨了人类理性所能触及的最深层结构——那些挑战我们基本认知框架的逻辑悖论与不可证明性命题。它并非一本关于具体科学发现或历史事件的叙事，而是一场对思维工具本身进行审视的智力远征。第一部分：可证性的基石与摇摆本书的开篇聚焦于数学和形式逻辑的奠基工作，特别是对十八、十九世纪数学家们试图建立一个完全自洽、无懈可击的数学体系的宏大努力。我们回顾了欧几里得几何的公理化范式，以及后来非欧几何的出现如何首次揭示了“不证自明”的基础并非绝对真理，而是建立在特定选择之上的结构。随后，我们详细剖析了朴素集合论中的早期矛盾，例如罗素悖论。这一部分旨在展示，即使是最严格定义的语言系统，也内含着自我吞噬的潜力。作者没有停留于简单地陈述悖论，而是深入挖掘了导致这些矛盾产生的思维模式——即对“所有集合的集合”这一概念的直觉依赖。我们通过对弗雷格逻辑系统崩溃的细致考察，展现了在试图囊括一切的过程中，系统自身所面临的内在张力。第二部分：哥德尔的阴影与计算的限制本书的核心篇章献给了对二十世纪逻辑革命的深刻解读。我们不再将哥德尔的（不）完备性定理视为一个晦涩的数学结论，而是将其视为对人类知识边界的哲学宣言。第一篇（Incompleteness Theorem）被置于最核心的位置进行阐释。我们不仅仅是重述“任何足够强大的形式系统都存在无法在该系统内被证明也无法被证伪的命题”，而是着力于解释其构造原理——即通过自指（self-reference）的技巧，将逻辑陈述转化为关于自身可证明性的陈述。这部分将详细分析“G”这个构造性命题的精确含义，并探讨它在逻辑上与说谎者悖论（“我正在说的这句话是假的”）之间的深刻同源性。紧接着，我们转向图灵的工作。图灵机模型的引入，为“什么是可计算的”提供了清晰的定义。本书花了大量篇幅来探讨停机问题（Halting Problem）的不可解性。这里的论证重点在于，识别一个通用计算过程是否最终会停止，本身就是一个不可判定的问题。这不仅限制了计算机的能力，更暗示了在任何基于明确规则的算法框架内，都存在着无法被该框架本身判定对错的根本难题。我们将图灵的可判定性（Decidability）概念与哥德尔的完备性联系起来，揭示了形式系统在表达能力与自我验证能力之间的根本性权衡。第三部分：意义与真值的模糊地带在奠定了逻辑上的不可穿透的界限之后，本书转向了那些发生在自然语言和知识论领域的“模糊地带”。我们考察了蒯因对“知识的两个教条”（分析与综合的区分、还原论）的批判，并分析了这些批判如何进一步侵蚀了我们对“绝对真理”的信心。如果知识体系的各个部分都是相互依赖的，那么“基础”本身就变成了一个社会或历史的约定，而非逻辑的必然。书中还包括对海森堡测不准原理的哲学解读。虽然测不准原理是物理学的发现，但它强有力地暗示了观察行为对被观察对象的不可避免的干扰。在认知领域，这被引申为：试图以完全客观、不卷入的方式去“证明”某些现象（尤其涉及意识或复杂系统的现象）时，我们所使用的工具本身就可能污染了我们想要测量的对象。这是一种认识论上的“作用力与反作用力”。第四部分：超越证明的领域——直觉、艺术与不可言说本书的终结部分探索了人类经验中那些似乎必然超越严格证明范畴的领域。作者论证，逻辑和形式系统虽然强大，但它们是建立在被限定的公理之上的工具箱，它们无法捕捉到所有人类经验的全部广度。我们分析了直觉（Intuition）在科学发现中的角色，例如阿基米德的“尤里卡”时刻或数学家对优雅证明的偏好。这些经验往往是“非算法的”，它们无法被分解为可检验的步骤，却被认为是通往真理的必要桥梁。最后，本书探讨了美学和伦理学中“不可证明性”的体现。我们不能通过公理和演绎法来“证明”米开朗基罗的《大卫》比另一件雕塑更美，也无法在纯粹的逻辑框架内“证明”某个行为是绝对正确的。作者认为，承认这些领域的边界，并非宣告失败，而是对人类心智潜力的更负责任的界定——认识到存在着需要通过体验、共鸣和持续的辩论来接近，而非被单一的逻辑工具所“解决”的问题。总结展望本书的整体论调并非悲观的虚无主义，而是一种审慎的现实主义。它旨在引导读者理解，我们所珍视的理性结构并非无所不能的万能钥匙，而是人类智慧在面对无限复杂性时所创造出的最精妙的工具集。认识到逻辑的极限，恰恰是拓展我们思维视野，拥抱不确定性和丰富性的第一步。本书最终呼吁的，是一种对“证明”持有敬畏之心，并勇于在已知的逻辑疆界之外探索新意义的哲学态度。