版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
丛 书 名:国家哲学社会科学成果文库
版本说明:1
I S B N:(纸本) 9787030519627
出 版 社:科学
出 版 年:2017年
页 数:xii, 260页页
学科分类:01[哲学] 010101[哲学-马克思主义哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
馆 藏 号:201225145...
摘 要:形式真理论是用数理逻辑的方法研究真与悖论问题的理论,熊明著的《算术真与悖论(精)》分三个部分对这一领域的基本成果与最新进展进行系统的介绍。第一编阐述形式真理论在20世纪30年代的主要成果,包括哥德尔对角线引理和塔斯基不可定义性定理:第二编介绍从20世纪30年代末直到近期,逻辑学家围绕真与悖论问题建立的主要理论,包括塔斯基、克里普克、赫兹贝格尔、古普塔、贝尔纳普、莱特格布等的理论;第三编是笔者自2005年以来在形式真理论领域获得的一系列成果的总结和发展,主要包括T-模式的相对化、悖论的悖论度、悖论的自指性与循环性。本书适合高校逻辑学、哲学等专业的师生阅读学习。