【欧布里德悸论与不可判定性语句】王跃军.pdf

所在单位哲学系(本校填系、所):逻辑专业:研究方向:辩证逻辑指导教师或推荐人姓名、职称:王聘兴副教授(在职人员填后者)学习期限:85年9月至88年7月

目录引盲第一章:说真话者语句与说谎者论第一节歌布里德俘论的历史溯源第二节说真话者语句与说谎者俘论群族第三节寻找说真话者语句与说谎者语句的结合点第二章对一种经典分析的批判第一节自我指称第二节恶性循环第三节否定性第四节罗素的类型论第三章说谎者俘论与不可判定性语句第一节语句可判定的条件第二节不可判定性语句的形成第三节不可判定性语句的排除:从系统的建立结束语:慎重些,在使用排中律时

格的心情,他在《关于算术概念》一书一开始便写道:“使一个科学家最感难堪的事,莫过于当他工作垂成之际,忽然发现自己的理论基础瓦解了。”我们还可以理解至今爆发的数学史上的三次大危机为什么有两次是由论的产生而引起的<指第二次由克莱提出的“无穷小恃论”所爆发的微积分基础的危机与第三次在罗素提出集合论学论之后所爆发的集合论危机>.学论的产生只是一个信号,惊论存在的意义是超过情论本身的。所以往往一个解决论的方案也不仅仅是“头痛医头,脚痛医脚”的方案,罗素的类型论与塔斯基的层次理论源于对学论的解决,然而其影响远不止于此,这也就很好地说明了这一点。