指从思维的一个方面来研究概念、判断、推理等思维工具的一门学问，其目的在协助人们获得推论的知识。形式逻辑也研究正确思维的条件，则人们在推理过程中，使用概念、判断要保持同一、确定，首尾一贯，不要自相矛盾；以求保持充足理由。