《当代形式逻辑引论》原创性地研究并清晰而准确地阐述了概念、命题、逻辑定理、逻辑证明，以及在各方面的应用。 作为真正的逻辑科学的传统形式逻辑源远流长，具有始终深深地植根于和自然语言形影不离的普通逻辑思考实际、在理论上坚持论证不许循环等深刻正确的主导思想，向人类认识世界、改造世界提供效能卓著的从已知获取新知的工具。