当前位置:主页 > 社科论文 > 逻辑论文 >

伊卡洛斯环保悖论_《河南大学》2003年硕士论文

发布时间:2016-10-21 14:28

  本文关键词:悖论与数理逻辑的发展探析,由笔耕文化传播整理发布。


《河南大学》 2003年

悖论与数理逻辑的发展探析

张莉敏  

【摘要】: 两千多年来,悖论一直是倍受逻辑学家关注的热点话题。在西方逻辑史上,曾有过三次悖论研究的高潮,尤其是罗素悖论所引发的第三次高潮,直接促进了数理逻辑的形成和发展。这是因为罗素悖论的出现造成数学基础的危机,在循着如何排除悖论的思路进行数学基础研究所取得成果的基础上,数理逻辑中相继出现了三个划时代的成就,从而推动了数理逻辑的主要分支“四论”的产生和发展。本文分三部分对悖论与数理逻辑的关系进行了探讨,具体内容如下: 第一部分主要论述了罗素悖论的出现及其影响,并对罗素悖论为何会造成数学基础的危机进行了具体分析。 第二部分着重论述悖论是如何促进了数理逻辑的形成和发展。本文对这个问题从三个方面进行了分析:(一)悖论与数理逻辑三大学派的关系:其中对罗素的类型论进行了重点分析,,并加入自己的思考。同时,对悖论如何促进直觉主义和形式主义学派的形成也进行了探讨。(二)悖论与数理逻辑三大成就的关系:其中以悖论与哥德尔不完全性定理的关系为重点,从悖论对哥德尔不完全性定理产生、构造及证明过程的影响进行了论证,并尝试做一些符号化等技术性的工作。此外,本文还对悖论与塔尔斯基的语义学和图灵机理论的关系进行了分析和研究。(三)论证了悖论在数理逻辑的主要分支“四论”的形成和发展中的作用。其中重点分析了公理化集合论,指出:它是为解决悖论问题而产生的,也是目前解决集合论悖论问题最好的方案。另外,数理逻辑的其它三个分支即证明论、递归论、和模型论也都是在研究悖论问题中逐渐形成和发展的。 第三部分论述在探析悖论与数理逻辑的关系中所得到的意义和启示:只要我们把形式化的方法和哲学性的分析结合起来,用辩证的观点看问题,用系统的方法研究问题,悖论不但可以得到相对的解决,而且在解决悖论的过程中会引出一系列的重大发现。

【关键词】:
【学位授予单位】:河南大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:B812
【目录】:

  • <中文摘要>3
  • <中文关键词>3-4
  • <英文摘要>4-5
  • <英文关键词>5-6
  • 引 言6
  • 一、集合论悖论的发现及其影响6-8
  • 二、悖论与数理逻辑的形成和发展8-33
  • (一)悖论与数理逻辑的三大学派9-17
  • 1、悖论与逻辑主义学派9-12
  • 2、悖论与直觉主义学派12-14
  • 3、悖论与形式主义学派14-17
  • (二)悖论与数理逻辑的三大成就17-26
  • 1、悖论与哥德尔不完全性定理17-22
  • 2、悖论与图灵机理论22-23
  • 3、悖论与塔尔斯基的语义学23-26
  • (三)悖论与“四论”的形成和发展26-33
  • 1、悖论与公理化集合论26-29
  • 2、悖论与证明论29-31
  • 3、悖论与递归论31-32
  • 4、悖论与模型论32-33
  • 三、意义和启示33-36
  • (一)悖论与数理逻辑关系研究的方法论意义33-34
  • (二)悖论与数理逻辑关系研究所得到的启示34-36
  • 结 语36-37
  • <参考文献>37-39
  • 后 记39
  • 下载全文 更多同类文献

    CAJ全文下载

    (如何获取全文? 欢迎:购买知网充值卡、在线充值、在线咨询)

    CAJViewer阅读器支持CAJ、PDF文件格式


    【引证文献】

    中国硕士学位论文全文数据库 前1条

    1 戴峰;哲学视域下的第三次数学危机[D];太原科技大学;2010年

    【参考文献】

    中国期刊全文数据库 前8条

    1 沈跃春;现代西方悖论研究之进展[J];安庆师院社会科学学报;1991年04期

    2 沈跃春;悖论与20世纪逻辑学的发展[J];安庆师范学院学报(社会科学版);2000年06期

    3 杨熙龄;略论现代西方逻辑学的发展[J];国外社会科学;1979年01期

    4 杨熙龄;悖论研究八十年[J];国外社会科学;1980年07期

    5 梁立明;集合论悖论若干哲学问题的思考[J];河南师范大学学报(哲学社会科学版);1987年03期

    6 朱水林;;论现代逻辑[J];上海社会科学院学术季刊;1987年02期

    7 张家龙;论语义悖论[J];哲学研究;1981年08期

    8 钱捷;悖论与真理[J];哲学研究;2000年05期

    【共引文献】

    中国期刊全文数据库 前10条

    1 刘程;邱紫华;;不能不说的话:维特根斯坦与弗雷格、罗素[J];阿坝师范高等专科学校学报;2006年04期

    2 黄展骥;“矛盾被证”是卓论?是谬论?——澄清陈波教授的误解[J];安徽大学学报;2000年06期

    3 王建芳;悖论的拟化形式[J];安徽大学学报;2003年01期

    4 李秀敏;论亚相容逻辑中的“矛盾”——达科斯塔的亚相容逻辑思想述评[J];安徽大学学报;2005年01期

    5 夏素敏;试析形式理性与辩证理性之关系[J];安徽大学学报;2005年02期

    6 秦玮远;;“说谎者悖论”的再探讨[J];安徽大学学报;2006年01期

    7 丁和平;;悖论与“自指”[J];安徽大学学报(哲学社会科学版);2007年02期

    8 贾国恒;;摹状词与专名的关系解析[J];安徽大学学报(哲学社会科学版);2007年02期

    9 杜国平;马亮;;哲思逻辑的判定问题[J];安徽大学学报(哲学社会科学版);2007年05期

    10 李莉;;纽科姆疑难的哲学意涵[J];安徽大学学报(哲学社会科学版);2008年02期

    中国重要会议论文全文数据库 前10条

    1 张四化;葛宇宁;;从对集合论悖论的剖析看制约逻辑的客体性[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

    2 廖琳;龚启荣;;论罗素的逻辑主义[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年

    3 王健平;;论相关蕴涵及其推理——法律逻辑中的蕴涵是相关蕴涵[A];第十六届全国法律逻辑学术讨论会论文(成就·反思·前瞻——中国法律逻辑三十年)[C];2008年

    4 翟玉章;杨玲;;现代逻辑和哲学的进步[A];第八届全国分析哲学研讨会论文集(上)[C];2012年

    5 刘叶涛;;克里普克论指称的转移[A];2007年全国哲学学科建设论坛论文集[C];2007年

    6 王习胜;;论方法论取向的逻辑悖论研究[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

    7 张瑾;高迎泽;;解悖与辩证[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

    8 刘叶涛;;克里普克论指称的转移[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

    9 刘邦凡;高鹏;;论《吕氏春秋》中的悖论思想[A];第一次南开逻辑学专业学人学术研讨会论文集[C];2012年

    10 刘邦凡;李春颖;;论邓析的“两可”之说[A];第一次南开逻辑学专业学人学术研讨会论文集[C];2012年

    中国博士学位论文全文数据库 前10条

    1 张昆;渗透数学观念的教学设计方法研究[D];西南大学;2011年

    2 徐俊;信仰播撒与权力博弈[D];南京理工大学;2011年

    3 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年

    4 李超;伯特兰·罗素和平思想的起源与发展[D];南京大学;2011年

    5 李虹;《红楼梦》诗词英译移情比较研究[D];上海外国语大学;2011年

    6 王栋;戴维森意义理论之镜中的语言与实在[D];吉林大学;2012年

    7 费多益;论科学的合理性[D];中国社会科学院研究生院;2001年

    8 董岭;艺术功能论[D];暨南大学;2001年

    9 李春勇;20世纪中国的逻辑争辩与逻辑观[D];华东师范大学;2002年

    10 徐英瑾;维特根斯坦哲学转型期中的“现象学”之谜[D];复旦大学;2004年

    中国硕士学位论文全文数据库 前10条

    1 魏红杰;罗素社会历史观探析[D];江西师范大学;2010年

    2 马翠萍;数学概念中的辩证关系及其教学研究[D];西北民族大学;2010年

    3 段艳;论休谟史学[D];淮北师范大学;2010年

    4 刘瑞琳;“道德悖论”还是“道德的悖论”[D];河南大学;2011年

    5 熊斌;弗雷格意义理论研究[D];西南大学;2011年

    6 庄丽;悖论,矛盾和辩证法[D];西南大学;2011年

    7 吴齐兴;西方谬误研究的历史考察与反思[D];南京大学;2011年

    8 黄楚安;彭加勒“科学的逻辑”之我见[D];华中师范大学;2011年

    9 宋绯;试论多视角下的中学语文课文概括[D];湖南师范大学;2011年

    10 钱蘅;刑事推定规则功能与结构探析[D];复旦大学;2011年

    【同被引文献】

    中国期刊全文数据库 前10条

    1 张其亮;;数学基础问题的哲学观及其启示[J];高等理科教育;2008年03期

    2 张月华;;康托与集合论的创立[J];科技信息(学术研究);2008年03期

    3 叶峰;;数学真理是什么?[J];科学文化评论;2005年04期

    4 黄秦安;数学真理:从神性化的形而上学到人性化的文化构建──兼评M.克莱因的《数学:确定性的丧失》 [J];兰州大学学报;2001年06期

    5 丹尼尔·麦克佩斯;;数学真理的问题(英文)[J];逻辑学研究;2009年02期

    6 黄展骥;不同的“悖论观”!──答复沈跃春先生[J];人文杂志;1995年06期

    7 吴哲辉;悖论思维与科学发展[J];山东科技大学学报(社会科学版);2000年03期

    8 周勇;第2次数学危机的影响和启示[J];数学通讯;2005年13期

    9 张家龙;评数学基础中的直觉主义学派[J];自然辩证法研究;1992年04期

    10 刘杰;;论数学的真理困境——从实在论的角度看[J];哲学研究;2006年12期

    中国硕士学位论文全文数据库 前2条

    1 曲宏宇;亚伯拉罕·鲁滨逊的数学哲学思想探析[D];大连理工大学;2005年

    2 薛永强;普特南内在实在论真理观透视[D];黑龙江大学;2008年

    【二级参考文献】

    中国期刊全文数据库 前7条

    1 沈跃春;;关于悖论实质的哲学思考[J];安庆师院学报(社会科学版);1985年03期

    2 沈跃春;;关于思维领域中的三类矛盾[J];安庆师院学报(社会科学版);1986年04期

    3 沈跃春;现代西方悖论研究之进展[J];安庆师院社会科学学报;1991年04期

    4 沈跃春;现代悖论的跨学科研究及其发展趋势[J];安庆师院社会科学学报;1998年04期

    5 沈跃春;悖论性质新论[J];河北学刊;1990年04期

    6 沈跃春;走出悖论定义理论的误区─—对黄展骥和几种流行的悖论定义的辨驳[J];人文杂志;1995年05期

    7 张建军;回归自然语言的语义学悖论─—当代西方逻辑悖论研究主潮探析[J];哲学研究;1997年05期

    【相似文献】

    中国期刊全文数据库 前10条

    1 申彤;我所认识的王浩先生[J];读书;1995年10期

    2 王浩 ,邓庆生;哥德尔的数学客观主义[J];北京大学学报(哲学社会科学版);1987年01期

    3 叶闯;直觉与哥德尔对数学概念实体存在之证明——读《理性的生命——哥德尔思想研究》[J];哲学研究;2003年07期

    4 刘新文;;哥德尔的遗产及哥德尔百年启示[J];世界哲学;2006年04期

    5 杨熙龄;哥德尔理论与悖论有没有“必然联系”?[J];国外社会科学;1981年01期

    6 文鑫;;“哥德尔的遗产及哥德尔百年纪念”综述[J];哲学动态;2006年09期

    7 刘晓力;哥德尔与胡塞尔的现象学[J];自然辩证法通讯;2001年01期

    8 胡作玄;;哥德尔百年[J];自然杂志;2006年02期

    9 F.帕特陶特!法,张清宇;不完全性、构造论和真[J];哲学译丛;1999年03期

    10 ;哥德尔的证据[J];大科技;2001年02期

    中国重要会议论文全文数据库 前10条

    1 刘晓力;;一份珍贵的史料与一段误读的历史[A];2000年逻辑研究专辑[C];2000年

    2 熊明;;哥德尔-根岑翻译和本体论映射[A];1998年逻辑研究专辑[C];1998年

    3 王路;;数理逻辑的光辉历程——介绍张家龙著《数理逻辑发展史——从莱布尼兹到哥德尔》[A];1994年逻辑研究专辑[C];1994年

    4 张家龙;;王宪钧教授对中国数理逻辑发展的贡献——纪念王宪钧教授诞辰90周年[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

    5 吴允曾;;可计算性理论的发展及其应用[A];逻辑学文集[C];1978年

    6 张建军;;类说谎者认知悖论[A];1994年逻辑研究专辑[C];1994年

    7 郭泽深;;当代数学基础问题研究的若干类型[A];1995年逻辑研究专辑[C];1995年

    8 杨子京;;从开放的角度看悖论问题[A];1996年逻辑研究专辑[C];1996年

    9 张金成;;变换经典逻辑的时空——《数理辩证逻辑导论》读后[A];1996年逻辑研究专辑[C];1996年

    10 郭泽深;;数学柏拉图主义的困境与出路[A];1996年逻辑研究专辑[C];1996年

    中国重要报纸全文数据库 前10条

    1 本报记者 张 洪;[N];大众科技报;2003年

    2 吴燕;[N];中华读书报;2005年

    3 胡作玄;[N];中华读书报;2006年

    4 胡作玄;[N];中华读书报;2006年

    5 李雾;[N];南方周末;2006年

    6 冯馨 清华大学新闻与传播学院;[N];中国图书商报;2005年

    7 张倩侠;[N];中国教育报;2003年

    8 刘晓力;[N];科技日报;2000年

    9 尼克;[N];东方早报;2011年

    10 胡作玄 中科院系统所研究员;[N];中国图书商报;2005年

    中国博士学位论文全文数据库 前2条

    1 张本祥;不可计算复杂性的机理与意义[D];华南师范大学;2006年

    2 范昭赋;基于算子分量矩阵模型的IMP程序诊断[D];中山大学;2007年

    中国硕士学位论文全文数据库 前10条

    1 宗为翰;哥德尔关于绝对不可判定命题的思想[D];复旦大学;2010年

    2 何宝军;哥德尔的柏拉图主义[D];华东师范大学;2008年

    3 杨睿之;哲学思想与具体学科研究实践的相互影响[D];复旦大学;2008年

    4 杨永明;哥德尔的概念实在论[D];复旦大学;2010年

    5 朱增跃;哥德尔:数学不是语言的句法[D];复旦大学;2011年

    6 韩宇胜;论法律的不确定性[D];中国政法大学;2001年

    7 唐芳芳;哥德尔定理的意义[D];清华大学;2005年

    8 谢时国;从罗素的逻辑主义立场看他的类型论[D];西南大学;2006年

    9 赵晓聃;规则遵循问题的语义分析及语境选择[D];山西大学;2008年

    10 白林秋;塞尔与克里普克专名理论比较研究[D];燕山大学;2009年


      本文关键词:悖论与数理逻辑的发展探析,由笔耕文化传播整理发布。



    本文编号:148129

    资料下载
    论文发表

    本文链接:https://www.wllwen.com/shekelunwen/ljx/148129.html


    Copyright(c)文论论文网All Rights Reserved | 网站地图 |

    版权申明:资料由用户4ef23***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com