本书是金岳霖哲学三书之一，是《论道》《知识论》的论证基础。内容主要介绍逻辑中的演绎法。书中前两部分是对传统逻辑的介绍与批评；第三部分介绍了现代西方数理逻辑系统；第四部分就逻辑系统的完全性、一致性和独立性等问题予以深入探讨。