悖论和数理逻辑发展探析.pdfVIP

中文摘要 ， f两千多年来，悖论一直是倍受逻辑学家关注的热点话磁。在西方逻辑史上， —营鸯避三次悸论研究躲衰潮，尤其怒罗素饽论所弓l发鲍第三次赢潮，直接健进了 数理逻辑的形成和发展。这是因为罗素悖论的出现造成数学基础的危机，在循着 妇秘熊除蜉谂蕊思爨遴行数学基礁鞭究掰取褥成果黪基础上，数理逻辑中相继出 现了三个划时代的成就，从而推动了数理逻辑的主簧分支“四论”的产生和发展。y 。 本文分三部分对搏谂与数理逻辑豹美系遴孬歹擦霹，具终内容躲下： 第一部分主要论述了罗索悖论的出现及其影响。并对罗索悖论为何会造成数 学鏊斌瓣危凝遴纷了其葵分辨。 篇=部分着重论述悖论是如何促进了数理逻辑的形成和发展。本文对这个问 爨簸三令方獬进程了分辑：(一)搏论与数溅逻辑三大学派豹关系：荚孛对罗素翡 类型论进行了重点分析，并加入自融的思考。同时，对悖论如何促进直觉擞义和 形式主义学澈豹形袋氆进行了探讨。(二)搏论与数疆逻辑三犬成就豹关系：其中 以悖论与哥德尔不完全性定理的关系为重点，从悖论对哥德尔不完全性定理产生、 构造及证弱过程豹影响迸行了论证，并尝试徽一些符号亿等技术经酌工作。诧外， 本文还对悖论与塔尔斯基的语义学和图灵机理论的关系进行了分析和研究。(--) 论诚了悖论农数理逻辑的主器分支“四论”韵形成和发展中的作用。其中爨点分 析了公理化集合论，指出：它是为瓣决悖论问题而产生盼，也是目前解决集合论 悖论闯题最好的方案。另外，数理逻辑的其它三个分支邵诞翡论、递归论、和模 型论也都是在研究悖论闯题中逐渐形成和发展鲍。 第三部分论述农探析悖论与数理逻辑的关系中所得到的意义和肩示：只要我 们把形式化瓣方法和越学性的分柝缕会起来，用辩诞的鼹点看闻题，用系线的方 法研究问题，悖论不但可以得到相对的解决，而且在解决悖论的过粳中会引出一 系列豹重丈发现。 美键遢： 搏谂 数学基殛 数理逻辑 Abstract thecentralofthe forover2000 Paradoxhas been topic logicians years． always the ofthe in in climaxes Therehadbeenthree historywest．f logical investigatingparadox oftheresearch‘ tothethirdclimax the ofRusell’S leads appearance paradox Especially theformationand of intothe has accelerated development paradox，whichdirectly the of mathematical of