形式逻辑 （逻辑学术语）形式逻辑也叫普通逻辑。研究思维形式及其规律的科学。它是一门工具性质的科学，是人们认识事物、表达思想时经常运用的一种必要的逻辑工具。人的认识在理性阶段要实现对客观世界的反映，就要实现思维内容和思维形式的统一，否则，就不能实现这个反映。思维内容就是思维所反映的对象及其属性，形式就是对某个对象反映的方式，也就是用词语表达的概念、用语句所表达的判断和用复句所表达的推理等。