形式逻辑就是研究推理的形式结构的学科。所谓推理就是由前提得出结论的过程，如前提：如果张三是人，那他就会死；并且张三是人；所以，张三会死。
逻辑学研究各种各样的推理，并发现所有的推理都有似的地方，即具备某种形式结构。如上面那个例子中的“如果。。那么， 并且，所以”等的组织方式。我们以有限种的形式结构可以构造出无数种推理，以上面的推理为例，我们还可以构造：“【如果】天下雨，【那么】地会湿，并且刚刚天下雨了，【所以】现在地一定湿了”，“【如果】明天是星期一，【那么】我就要上班，【并且】明天正好是星期一，【所以】我就要上班了”等等。
但推理的形式结构有好坏之分，好的形式结构能确保你从正确的前提得到正确的结论，坏的形式结构就可能让你从正确的前提得到错误的结论。形式逻辑的任务就是研究那些好的形式结构是什么样的，以及为什么这样的形式结构就是好的。