本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题，命题集和论证的所有可能赋值提供完整的且图表化的表征表；命题逻辑语言并不能完全充分表达所有有效论证和语义关系，谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性，真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。
《现代汉语词汇学》(第3版)对汉语词汇学中几个关键性和基础性的理论问题做出了系统而深刻的论述。以“词”为核心，上接词汇，下通词素；以语言使用的 小单位为认识枢纽连接语音和语义,融入语法和修辞；从静态与动态、共时与历时等不同角度论述汉语词汇系统的现状与演变发展的规律,是20世纪50年代以来现代汉语词汇研究的开拓性成果。
《碛砂藏》是当今最为常见的一部宋元私刻藏经，附载了大量随函音义。《 隨函音义研究》首次对其随函音义进行了系统整理，发掘其在佛教文献学及语言学方面的研究价值，有助于学界进一步重视和利用这类汉文佛教材料，亦有助于今后通过佛经随函音义以了解佛教文化的传播和民众佛教信仰的基本情况。
