谢弗函数研究
作者：刘新文 著
出版时间：2011年版
内容简介
　　逻辑联结词是逻辑的核心概念之一，刘新文编著的《谢弗函数研究》是中国博士后基金项目“Sheffer竖研究”的研究成果，主要从逻辑史、逻辑演算、证明复杂性理论、证明论以及哲学方面对逻辑联结词谢弗函数进行了深入研究。 《谢弗函数研究》可作为逻辑学、哲学和数学工作者理论学习和科学研究的参考书。
目录
前言
第1章 谢弗函数的概念
1 谢弗函数的定义
1.1 定义
1.2 波斯特定理
1.3 句法概念
1.4 多级联结词
2 逻辑演算
3 希尔伯特新问题
第2章 命题逻辑
1 强完全性定理
1.1 句法
1.2 语义
1.3 完全性定理
2 系统Z
2.1 句法
2.2 语义
2.3 完全性定理
2.4 历史注记
3 重言式的递归枚举
3.1 系统z以及Z#
3.2 命题逻辑的递归枚举
第3章 证明复杂性
1 基本概念
2 多项式模拟
2.1 系统Z的规则
2.2 弗雷格系统
2.3 遗传有穷集
2.4 “扩张的”弗雷格系统
2.5 多项式模拟
第4章 证明论与哲学
1 基本概念和思想
2 谢弗竖的证明论
3 谢弗竖的经典理论
4 证明论解释
5 正规化定理
第5章 量化理论
1 谢弗竖和存在量词
1.1 句法
1.2 基本语义
1.3 代入
1.4 欣迪卡集
1.5 公理系统QZh
1.6 公理系统QIZh
2 系统Z的量化理论
2.1 语法
2.2 语义
2.3 公理系统Z’
参考文献
后记