科技
形式逻辑是研究推理的形式结构的学科，所谓推理就是由前提得出结论的过程，逻辑学研究各种各样的推理，并发现所有的推理都有似的地方，即具备某种形式结构，以有限种的形式结构可以构造出无数种推理，形式逻辑的任务就是研究那些好的形式结构是什么样的，以及为什么这样的形式结构就是好的。
非形式逻辑是逻辑的一个分支，其任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序。非形式逻辑之所以是非形式的，因为它不依赖于形式演绎逻辑的主要分析工具，即逻辑形式的概念，也不依赖于形式演绎逻辑的主要评价功能，即有效性。
