本书是一部科普读物，着重介绍模糊逻辑提出的新的逻辑思想，逻辑概念和逻辑规则，尽量少用逻辑符号，以通俗易读的语言介绍模糊逻辑史话，模糊性，模糊逻辑的数学基础、模糊逻辑概念、判断、推理、论论以及模糊思维和模糊逻辑的应用，包括模糊控制、模糊决策等等。

本书研究了相干与衍推谓词逻辑系统，包括公理系统、自然推理系统和结构推理系统的建构，重要内定理和导出规则的证明，并证明了公理系统与对应的自然推理系统、结构推理系统的等价性；同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义，并在此基础上证明了各个系统的可靠性和完全性。

本书共分为十六章，其主要内容包括：模态和模态命题形式；模态逻辑系统；可能世界语义学基本理论；模态语义图；时态逻辑；道义逻辑；认知逻辑；多主体认知逻辑系统；多主体完全的认知逻辑等。

逻辑学不割断历史，逻辑学是在对语言不断完善的过程中发展起来的，这是撰写本书的两个基本出发点。依据这两个出发点，本书选择了四个基本范畴，必然、蕴涵、可能世界和可通达关系，并且讨论了这四个基本范畴的历史沿革，讨论了逻辑学家对这些范畴的基本观点。本书的第三个出发点是对模态逻辑内容的限定，模态基本理论，原则上限定在模态命题逻辑的范围之内。

本书的主要内容包括：命题逻辑概述、基本模态语言、多模态语言、加标转移结构、赋值和可满足、一些对应结果、一般的汇合结果、三种语义后承、形式系统等。

本书通过对“指令”概念的细致辨析，阐明了法律规范的基本性质，在道义逻辑和法律理论两个方面，都取得了具有典范意义的成果。

本书共分为七章，主要内容包括：直觉主义与否定概述、直觉主义否定、直觉主义否定的强化与弱化、直觉主义否定的动态化等。