算术、真与悖论

算术、真与悖论
9787030519627
熊明 著
国家哲学社会科学成果文库
B023.3,B81
科学出版社
2017-03
2017
2017
形式真理论是用数理逻辑的方法研究真与悖论问题的理论，本书分三个部分对这一领域的基本成果与最新进展进行系统的介绍。第一编阐述形式真理论在20世纪30年代的主要成果，包括哥德尔对角线引理和塔斯基不可定义性定理，第二编介绍从20世纪30年代末直到近期，逻辑学家围绕真与悖论问题建立的主要