证明论是逻辑基础理论的分枝.结构证明论是证明论的分枝，它研究演算中的分析性证明.本书在介绍古典句子逻辑和直觉主义逻辑的基础上，给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算.根据结构的定义和结构规则，区分不同类型的矢列演算，并且以切割消除为工具，给出了插值性质、可判定性等问题的证明.本书还介绍了一阶逻辑、模态逻辑

本书从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型与Agent能力推理、基于规划修订动态逻辑的Agent规划修订推理、基于动态逻辑的Age

论证是一种具有说理功能的话语序列。在科学研究中，它具有演绎和归纳两种形式。在日常社会生活中，由于涉及不同的语境（包括文化传统），论证呈现出千变万化的形式。为了满足人与人以及人与机器之间日常交流的需求，本书采用两种不同的自下而上方法——广义论证本土化研究程序和机器学习，从具体事例和文本中挖掘或习得不同语境下论证模式、论证

《逻辑学导论：原书第三版》在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上，展示了部分前沿成果，如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。《逻辑学导论：原书第三版》对现代逻辑学中部分冗长、复杂的技术细节进行了简化，在证明体系中依次介绍若干符号逻辑系统，使各类读者能够较为直接地了解和掌握相关知

本书用公理化方法研究哲学的核心概念“真”，即将真视为一个不通过其他概念来定义的初始概念，通过一组公理与规则研究真的演绎系统，及其相关的结果。全书分为四个部分，第一部分是基础，简述了一些数学上预备性的记号约定，并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理，给出了公理化真理论及与之相关

本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。书中有大量的例子和练习，

本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑。它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托尔、哥德尔、塔尔斯基等杰出贡献的智慧产物。本书将向读者解释该系统工具

本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告，分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题，下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。

本书在吸收先秦逻辑研究成果的基础上，提出了先秦逻辑是一种“正名-用名”论证类型。“正名”是确立名之所指，体现“名”的哲学功能；“用名”表现在具体论证中，反映论证者对于“名”的正确使用问题。“正名-用名”逻辑不似亚里士多德三段论在直言命题逻辑常项结构中确立逻辑变项外延关系，它是基于价值观的一种逻辑，而不同于印度信仰的逻辑

本书内容包括：点式归约初探；传递逻辑格中有穷深度濒表格逻辑的语义判据；传递逻辑格中无穷深度濒表格逻辑的语义判据；淑表格逻辑语义判据的应用等。