本书从逻辑学的研究对象、学科性质和作用、学习方法入手，讲述了传统词项逻辑、命题逻辑、谓词逻辑、传统归纳逻辑、现代归纳逻辑、科学逻辑、论辩逻辑、语言交际逻辑，各部分均具体展开，介绍各自的定义、分类、推理形式等内容，然后在此基础上讲解了逻辑思维的基本规律。为了帮助学习者掌握各种推理形式，各章后均设置了思考题和参考答案。

　　本书共十六章，其中第一至三章主要介绍本书所用到的软件——“塔斯基世界”，第四至十六章分别介绍运用该软件实现逻辑运算，包括原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式证明和布尔逻辑、蕴涵及其逻辑、量词及其逻辑、多重量词、量词的证明方法、形式证明和量词等。

　　本书全面而简洁地阐述了逻辑思维的概念、逻辑思维种存在的陷阱，以及如何打破固有思维模式，快速提升逻辑推理能力，学会用清醒的头脑，提高专注力，发现逻辑思维中的真相，帮助你解放大脑，开启一次有趣的逻辑思维之旅。

      《简明逻辑学教程》在选材上兼顾了逻辑基本原理和批判性思维知识。在系统地介绍了概念、命题、推理、逻辑规律、逻辑方法、逻辑谬误等逻辑基本原理的基础上，又结合基础知识介绍了相关应试中的有关题型及其解析方法，弥补了过去逻辑学教材只讲基本原理，没有具体例题，抽象枯燥的不足。
　　《简明逻辑学教程》简明易懂，各章都以“趣味逻辑”开头，增强了趣味性，而且各章内容紧凑，便于使用，有实用性；教材针对性较强，每章都结合相关内容设置一定量的例题。

孟伟、唐明贵主编的这本《新编实用逻辑学教程 》尽力运用通俗平实的语言和贴近现实生活的实例， 诠释普通逻辑学的基本理论知识，从而提高读者正确 表达思想的能力和解决具体问题的能力。
本书由前言、绪论、**编概念、第二编命题、 第三编推理和第四编论证等部分组成。其中，前言生 动讲述了逻辑学的功用，学习逻辑学的意义。绪论讲 述了逻辑学的基本知识，包括内涵、研究对象、逻辑 简史、分类、性质和学习方法等。**编概念讲述了 概念的内涵、外延、种类、概念间关系、下定义、划 分等明确概念逻辑方法

自古希腊柏拉图以降，对真的分析一直受到哲学、逻辑学、语言学等多学科共同关注，近年来对 真概念的讨论与技术化处理又成为逻辑学界的热点。邵强进、张志林、黄翔编*的《逻辑真(精)》试图从语形、语义及语用三方面，分析不同领域、不同用法及不同理论体系中的真；并力图区分真理 、真命题与真三个基本概念：真理是在观念中的东西，真命题是在语言层面上的存在，而真则是真命题所承载的一种属性；真作为一种属性，存在从不同角度的定义；但也有理论指其不可定义；借助于逻辑技术化方法，可以把真 视为不加定义的初始谓词，形成

孟伟、唐明贵主编的这本《新编实用逻辑学教程 》尽力运用通俗平实的语言和贴近现实生活的实例， 诠释普通逻辑学的基本理论知识，从而提高读者正确 表达思想的能力和解决具体问题的能力。
本书由前言、绪论、**编概念、第二编命题、 第三编推理和第四编论证等部分组成。其中，前言生 动讲述了逻辑学的功用，学习逻辑学的意义。绪论讲 述了逻辑学的基本知识，包括内涵、研究对象、逻辑 简史、分类、性质和学习方法等。**编概念讲述了 概念的内涵、外延、种类、概念间关系、下定义、划 分等明确概念逻辑方法

自古希腊柏拉图以降，对真的分析一直受到哲学、逻辑学、语言学等多学科共同关注，近年来对 真概念的讨论与技术化处理又成为逻辑学界的热点。邵强进、张志林、黄翔编*的《逻辑真(精)》试图从语形、语义及语用三方面，分析不同领域、不同用法及不同理论体系中的真；并力图区分真理 、真命题与真三个基本概念：真理是在观念中的东西，真命题是在语言层面上的存在，而真则是真命题所承载的一种属性；真作为一种属性，存在从不同角度的定义；但也有理论指其不可定义；借助于逻辑技术化方法，可以把真 视为不加定义的初始谓词，形成

自古希腊柏拉图以降，对真的分析一直受到哲学、逻辑学、语言学等多学科共同关注，近年来对 真概念的讨论与技术化处理又成为逻辑学界的热点。邵强进、张志林、黄翔编*的《逻辑真(精)》试图从语形、语义及语用三方面，分析不同领域、不同用法及不同理论体系中的真；并力图区分真理 、真命题与真三个基本概念：真理是在观念中的东西，真命题是在语言层面上的存在，而真则是真命题所承载的一种属性；真作为一种属性，存在从不同角度的定义；但也有理论指其不可定义；借助于逻辑技术化方法，可以把真 视为不加定义的初始谓词，形成

　　《互模拟理论的逻辑研究》从逻辑的角度研究互模拟，主要以模型论、集合论和模态逻辑的知识为背景，意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程，从理论层面探讨互模拟的基本理论和作用。
　　《互模拟理论的逻辑研究》的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。
　　《互模