《逻辑学基础》考察逻辑学的范围、研究对象、性质和作用等最一般的问题；着重介绍命题逻辑、词项逻辑、谓词逻辑、模态逻辑和归纳逻辑等各种逻辑分支；分析逻辑学的基本规律和论证。在每章的写作中都体现了理论和实例的结合，尤其注重结合思维训练来作分析。每章后面都有相应的练习题，还精选了综合练习200题作为逻辑思维训练用。为便于自学参考，教材中所有练习题都附有详细解析。《逻辑学基础》最后一章与现行同类书相比，《逻辑学基础》做了许多改进，增加了论证的加强、削弱和假设，论证有效性分析等内容。
《逻辑学基础》考察逻辑学的范围、研究对象、性质和作用等最一般的问题；着重介绍命题逻辑、词项逻辑、谓词逻辑、模态逻辑和归纳逻辑等各种逻辑分支；分析逻辑学的基本规律和论证。在每章的写作中都体现了理论和实例的结合，尤其注重结合思维训练来作分析。每章后面都有相应的练习题，还精选了综合练习200题作为逻辑思维训练用。为便于自学参考，教材中所有练习题都附有详细解析。《逻辑学基础》最后一章与现行同类书相比，《逻辑学基础》做了许多改进，增加了论证的加强、削弱和假设，论证有效性分析等内容。
《逻辑学基础》考察逻辑学的范围、研究对象、性质和作用等最一般的问题；着重介绍命题逻辑、词项逻辑、谓词逻辑、模态逻辑和归纳逻辑等各种逻辑分支；分析逻辑学的基本规律和论证。在每章的写作中都体现了理论和实例的结合，尤其注重结合思维训练来作分析。每章后面都有相应的练习题，还精选了综合练习200题作为逻辑思维训练用。为便于自学参考，教材中所有练习题都附有详细解析。《逻辑学基础》最后一章与现行同类书相比，《逻辑学基础》做了许多改进，增加了论证的加强、削弱和假设，论证有效性分析等内容。
论证是一种具有说理功能的话语序列。在科学研究中，它具有演绎和归纳两种形式。在日常社会生活中，由于涉及不同的语境（包括文化传统），论证呈现出千变万化的形式。为了满足人与人以及人与机器之间日常交流的需求，《论证挖掘与论证形式化》采用两种不同的自下而上方法——广义论证本土化研究程序和机器学习，从具体事例和文本中挖掘或习得不同语境下论证模式、论证元素及结构。进一步，为形式化论证理论——抽象论辩理论具有更广泛的适用范围，《论证挖掘与论证形式化》将这两种自下而上的论证挖掘方法与抽象论辩理论提供的形式方法相结合，符号化处理上述挖掘所得结果，对论证进行合理重建。论证研究对于推动论证科学和人工智能相关领域的发展具有积极意义。
