图书信息
书 名: 谢弗函式研究
作 者：刘新文
出版社： 广州暨南大学出版社有限责任公司
出版时间： 2011年9月22日
内容简介
逻辑联结词是逻辑的核心概念之一，刘新文编着的这是中国博士后基金项目“Sheffer竖研究”的研究成果，主要从逻辑史、逻辑演算、证明複杂性理论、证明论以及哲学方面对逻辑联结词谢弗函式进行了深入研究。
《谢弗函式研究》可作为逻辑学、哲学和数学工作者理论学习和科学研究的参考书。
图书目录
前言 /1
第1章 谢弗函式的概念 /1
1 谢弗函式的定义/2
1.1 定义 /3
1.2 波斯特定理/7
1.3 句法概念 /9
1.4 多级联结词 /12
2 逻辑演算 /15
3 希尔伯特新问题 /21
第2章 命题逻辑 /28
1 强完全性定理 /28
1.1 句法 /28
1.2 语义 /35
1.3 完全性定理/39
2 系统Z /40
2.1 句法 /40
2.2 语义 /45
2.3 完全性定理/48
2.4 历史注记 /50
3 重言式的递归枚举 /50
3.1 系统z以及Z# /51
3.2 命题逻辑的递归枚举 /53
第3章 证明複杂性 /62
1 基本概念 /62
2 多项式模拟 /64
2.1 系统Z的规则 /64
2.2 弗雷格系统/65
2.3 遗传有穷集/69
2.4 “扩张的”弗雷格系统/72
2.5 多项式模拟 /75
第4章 证明论与哲学 /78
1 基本概念和思想 /79
2 谢弗竖的证明论 /81
3 谢弗竖的经典理论 /89
4 证明论解释 /98
5 正规化定理 /106
第5章 量化理论 /117
1 谢弗竖和存在量词 /118
1.1 句法 /118
1.2 基本语义 /120
1.3 代入 /127
1.4 欣迪卡集 /140
1.5 公理系统QZh /147
1.6 公理系统QIZh /152
2 系统Z的量化理论 /160
2.1 语法 /161
2.2 语义 /162
2.3 公理系统Z’ /164
参考文献 /169
后记 /187
