逻辑学与哲学

本书系统介绍了现代逻辑的核心内容及其哲学应用。全书分为两大部分：第一部分奠定逻辑基础，详细讲解真值函项逻辑（TFL）和初阶带等词逻辑（FOL）的语义论与证明论方法，包括真值表、语义树杈法和自然演绎法，并延伸至固定论域模态逻辑。第二部分聚焦于逻辑学在哲学问题上的深刻反馈与应用，探讨了可变论域模态逻辑与形而上学模态、确定摹状词理论、分体论的形式化、语义悖论与堆垛悖论，以及逻辑工具在回应知识论怀疑论、反实在论论证等传统哲学难题中的力量。最后，本书以“如何'说'不可说”作结，尝试以逻辑模型论方法触碰哲学表达的边界，充分展现了逻辑分析在哲学探究中的基础性地位与当代活力。

第一章 导论

第一节 逻辑学是什么？

第二节 逻辑学的基本概念

第三节 逻辑学基本概念间的关联

第四节 逻辑学研究的当代方法

第一部分 逻辑基础：真值函项逻辑TFL与初阶带等同逻辑FOL

第二章 真值函项联结词与真值表

第一节 真值函项联结词

第二节 真值函项语言TFL

第三节 部分与完整真值表

第三章 TFL的语义论方法

第一节 真值表的应用

第二节 TFL语义模型与逻辑概念的准确化

第三节 TFL元证明

第四章 TFL的语义树杈法

第一节 语义树杈法的基本概念

第二节 TFL语义树杈法的各种规则

第三节 TFL语义树杈法的应用

第五章 TFL的自然演绎法

第一节 自然演绎法的基本想法与基本概念

第二节 TFL自然演绎法的基本推论规则

第三节 TFL自然演绎法的应用

第六章 初阶带等词的语言FOL

第一节 简单句的内在结构

……