《数理逻辑基础与粒计算》由两部分内容组成。前四章作为第一部分，讨论了数理逻辑的基础知识，其中包括经典命题演算、经典谓词演算和非经典的模态逻辑，讲解的特点是始终贯穿形式推理在自然推理系统与公理系统中相互等价这条主线。第二部分由后两章构成，内容基于逻辑知识之上，是对第一部分内容的应用和扩展，由作者近年的科研成果作为支撑，其中包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。