形式逻辑是研究推理的形式结构的学科，所谓推理就是由前提得出结论的过程，逻辑学研究各种各样的推理，并发现所有的推理都有似的地方，即具备某种形式结构，以有限种的形式结构可以构造出无数种推理，形式逻辑......
