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