《形式逻辑》是现代哲学家、逻辑学家金岳霖于60年代组织当时研究逻辑学的专家、学者编写的我国第一部全国高等学校逻辑教材，代表了当时我国形式逻辑教材的最高水平。1979年再版时了修改。全书共分七章，详细介绍了形式逻辑的对象和作用、概念、判断、演绎推理、归纳法，以及形式逻辑的基本规律和论证,附录部分还对西方逻辑史和中国逻辑史的有关资料做了简要介绍。语言简明，深入浅出，曾影晌了一代代青年学生和大批逻辑爱好者、自学者，至今还被作为研习逻辑学的重要读物。