扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
公理化真理论研究 版权信息
- ISBN：9787303289547
- 条形码：9787303289547 ; 978-7-303-28954-7
- 装帧：精装
- 册数：暂无
- 重量：暂无
- 所属分类：>>
公理化真理论研究 内容简介
本书的目的是为了介绍、完善和丰富公理化真理论的成果。全书内容从三个方面进行：**个方面：以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索，对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面：减弱经典公理化真理论的基础理论，将一阶逻辑减弱为直觉主义逻辑，系统地研究基于直觉主义逻辑的公理化真理论。第三个方面：加强经典公理化真理论的基础理论，将皮亚诺算术加强为集合论，系统地研究基于集合论的公理化真理论。
公理化真理论研究 目录
第1编 经典的公理化真理论
引言
第1章 真理论的公理化进路
§1.1 下定义的方法及其不足
§1.2 模型论的方法及其不足
§1.3 公理化进路的技术准备
第2章 朴素的公理化真理论
§2.1 PA的扩充
§2.2 朴素的公理化真理论NT
§2.3 类型和无类型
第3章 类型的公理化真理论
§3.1 去引号理论DT
§3.2 塔尔斯基组合理论CT
§3.3 弱组合理论UDT
§3.4 紧缩论和保守性
第4章 无类型的公理化真理论
§4.1 Friedman-Sheard理论FS
§4.2 无类型的去引号理论
§4.3 Kripke-Fefelxnan理论KF
第5章 基于公理化真理论的模态逻辑
§5.1 模态谓词与蒙塔古悖论
§5.2 基于FS的模态逻辑MFS
§5.3 基于KF的模态逻辑MKF
§5.4 更进一步的讨论
第6章 公理化真理论的数学强度
§6.1 CT的数学强度
§6.2 数学强度的研究工具
第7章 公理化真理论简评
参考文献
第2编 基于直觉主义逻辑的公理化真理论
引言
第8章 技术准备
§8.1 海廷算术
§8.2 递归函数与数字可表示性
§8.3 几个重要的定理
第9章 直觉主义的类型真理论
§9.1 类型去引号理论
§9.2 类型组合理论SICT
§9.3 SICT的证明论分析
第10章 直觉主义的Friedman-Sheard理论
§10.1 IFS理论的构成
§10.2 IFS理论的语义学
§10.3 对IFS的进一步研究
第11章 直觉主义的Kripke—Feferman理论
§11.1 IKF理论的构成
§11.2 IKF理论的语义学
§11.3 对IKF的进一步研究
第12章 直觉主义的弱公理化真理论
§12.1 弱公理化真理论的必要性
§12.2 类型弱公理化真理论
§12.3 无类型弱公理化真理论
参考文献
第3编 基于集合论的公理化真理论
引言
第13章 基础知识
§13.1 二阶算术的形式系统
§13.2 公理集合论系统zF
§13.3 公理集合论系统NBG
§13.4 公理集合论系统KP
§13.5 直觉主义的公理集合论系统IZF
§13.6 直觉主义的公理集合论系统INBG
第14章 具有集合常项的集合论的形式化句法
§14.1 集合论的扩充语言
§14.2 带有常项的集合论语言
§14.3 带集合常项的集合论的形式句法
第15章 Morse-Kelley类理论MK和它的子系统
§15.1 Morse-Kelley类理论MK
§15.2 MK的子系统
§15.3 ∑1范式定理
§15.4 类理论中的良序
§15.5 一些结论
第16章 塔尔斯基真
§16.1 系统TC
§16.2 TC的子系统
§16.3 TC与MK的子系统
第17章 迭代塔尔斯基真
§17.1 系统RTa
§17.2 RTa的子系统
§17.3 RT＜E0的下界
§17.4 RT＜E0的上界
§17.5 Friedman-Sheard系统FS
第18章 自指的真
§18.1 系统KF
§18.2 KF的子系统
§18.3 KFt的保守性
§18.4 KF和KR+Ind的上界
§18.5 KFtc+Ind的下界
第19章 类理论的力迫和整体选择公理的保守性
§19.1 类理论的力迫定
§19.2 兼纳滤子消除
§19.3 个重要结论
参考文献
全书符号一览表
后记
展开全部
公理化真理论研究 作者简介
李娜，南开大学哲学院逻辑教研室教授、博士生导师。主要研究方向为现代逻辑。专著《集合论含有原子的自然模型和布尔值模型》《反基础公理的逻辑研究》两次入选国家哲学社会科学成果文库。发表《GB 的布尔值模型》等多篇学术论文；获得教育*人文社会科学优秀成果二等奖、三等奖各一次。
书友推荐
- >
月亮虎
月亮虎
¥14.4¥48.0 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥13.0¥24.0 - >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
烟与镜
烟与镜
¥14.4¥48.0 - >
朝闻道
朝闻道
¥8.8¥23.8 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
史学评论
史学评论
¥23.5¥42.0
本类畅销
-
理想国-精装典藏版
¥23.1¥68 -
诸子的真相 (何新文选)
¥23¥58 -
中国哲学小史
¥20.9¥49.8 -
大一统与儒家思想
¥16.4¥38 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥26.4¥49.8 -
中国哲学十讲
¥16.9¥49.8
