本书基于日常推理立场，较为深入地研究和分析了自然语言中的“若，则”句，提出了集真值性和推演性的日常蕴涵。以日常蕴涵理论为基石，构建了日常（推理）逻辑（主要包括命题逻辑公理系统GM和一阶谓词逻辑系统W），初步实现了传统逻辑思想与现代逻辑技术的系统性、有机性结合，并可能根除两个长期困惑逻辑学界的棘手问题：经典逻辑与日常推理、传统逻辑不一致的问题及蕴涵怪论问题。