形式邏輯

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

基本解释

关于思维的形式及其规律的科学。研究概念、判断、推理等主要思维形式和研究同一律、矛盾律、排中律等思维规律是形式逻辑的内容。

形式逻辑 （逻辑学术语）

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