图书标签: 逻辑学 逻辑 悖论 哲学逻辑 逻辑与语言 真理论 真 形式真理论
发表于2024-11-22
算术真与悖论(精) pdf epub mobi txt 电子书 下载 2024
形式真理论是用数理逻辑的方法研究真与悖论问题的理论,熊明著的《算术真与悖论(精)》分三个部分对这一领域的基本成果与最新进展进行系统的介绍。第一编阐述形式真理论在20世纪30年代的主要成果,包括哥德尔对角线引理和塔斯基不可定义性定理:第二编介绍从20世纪30年代末直到近期,逻辑学家围绕真与悖论问题建立的主要理论,包括塔斯基、克里普克、赫兹贝格尔、古普塔、贝尔纳普、莱特格布等的理论;第三编是笔者自2005年以来在形式真理论领域获得的一系列成果的总结和发展,主要包括T-模式的相对化、悖论的悖论度、悖论的自指性与循环性。
本书适合高校逻辑学、哲学等专业的师生阅读学习。
熊明,1973年生,云南昭通人,先后就读于北京大学哲学系、中山大学数学系,获哲学学士、硕士学位、理学博士学位。麻省理工学院语言学与哲学系访问学者。现为华南师范大学政治与行政学院教授、博士生导师。主要研究方向为真理论与数学基础,出版专著一部、教材一部,在国内国际学术期刊上发表论文二十余篇。代表作品有论文“AnIntuitionisticCharacterizationofClassicalLogic”(JournalofPhilosophicalLogic,2008)、“Tarski’STheoremandLiar-likeParadoxes”(LogicJournaloftheIGPL,2014)和专著《塔斯基定理与真理论悖论》。成果获金岳霖学术奖、洪谦哲学奖、广东省哲学社会科学奖、中国逻辑学会科研奖等多个奖项。
内容还是超过了我目前的水平啊,不过思路还是能把握到的。很好的一本书,希望以后有机会能再读一遍
评分内容还是超过了我目前的水平啊,不过思路还是能把握到的。很好的一本书,希望以后有机会能再读一遍
评分内容结合了之前塔斯基定理那本书和近年几篇论文,前面两编分别讲解了算术真可不定义性问题和几个重要人物的形式真理论,包括塔斯基、克里普克和古普塔与赫兹伯格。而侧重点在最后一编,主要以图论作为工具研究了不同悖论性语句集的刻画框架的特征以及其修正周期,并且比较它们之间的悖论度。
评分内容结合了之前塔斯基定理那本书和近年几篇论文,前面两编分别讲解了算术真可不定义性问题和几个重要人物的形式真理论,包括塔斯基、克里普克和古普塔与赫兹伯格。而侧重点在最后一编,主要以图论作为工具研究了不同悖论性语句集的刻画框架的特征以及其修正周期,并且比较它们之间的悖论度。
评分内容还是超过了我目前的水平啊,不过思路还是能把握到的。很好的一本书,希望以后有机会能再读一遍
评分
评分
评分
评分
算术真与悖论(精) pdf epub mobi txt 电子书 下载 2024