本書是金岳霖哲學三書之一，是《論道》《知識論》的論證基礎。內(nèi)容主要介紹邏輯中的演繹法。書中前兩部分是對傳統(tǒng)邏輯的介紹與批評；第三部分介紹了現(xiàn)代西方數(shù)理邏輯系統(tǒng)；第四部分就邏輯系統(tǒng)的完全性、一致性和獨立性等問題予以深入探討。