本書では、論理学の中でも特に現代においても有効性をたもっている部分を叙述した。まず伝統的形式論理学、次に、形式論理学の現代的形態である記号論理学の諸体系のうち、初等的な二つの体系、すなわち、命題論理学と述語論理学を取りあげた。