可以说：逻辑学包括形式逻辑,是包含关系.
逻辑学研究的内容很光,包括书里逻辑,模态逻辑,等,还包括一些逻辑方面的哲学问题,甚至逻辑史也包含在逻辑学里.
形式逻辑是对命题逻辑等可以符号进行推理的逻辑的概称,不是一个很学术性的说法.