[欧布里德悸论与不可判定性语句]王跃军

【欧布里德悸论与不可判定性语句】王跃军.pdf所在单位 哲学系(本校填系、所):逻辑 专 业:研究方向:辩证逻辑 指导教师或推荐 人姓名、职称:王聘兴副教授(在职人员填后者)学习期限:85年9月至88年7月目录 引盲 第一章:说真话者语句与说谎者论 第一节歌布里德俘论的历史溯源 第二节说真话者语句与说谎者俘论群族 第三节寻找说真话者语句与说谎者语句的结合点 第二章对一种经典分析的批判 第一节自我指称 第二节恶性循环 第三节否定性 第四节罗素的类型论 第三章说谎者俘论与不可判定性语句 第一节语句可判定的条件 第二节不可判定性语句的形成 第三节不可判定性语句的排除:从系统的建立 结束语:慎重些,在使用排中律时格的心情,他在《关于算术概念》一书一开始便写道:“使一个 科学家最感难堪的事,莫过于当他工作垂成之际,忽然发现自己 的理论基础瓦解了。”我们还可以理解至今爆发的数学史上的三 次大危机为什么有两次是由论的产生而引起的.学论的产生 只是一个信号,惊论存在的意义是超过情论本身的。所以往往一个解决论的方案也不仅仅是“头痛医头,脚痛医脚”的方案,罗素的类型论与塔斯基的层次理论源于对学论的解决,然而其影 响远不止于此,这也就很好地说明了这一点。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。