形式逻辑是研究思维的形式及其规律。 思维是人脑对客观世界的反应。 概念、 判断、 推理， 是三种基本的思维形式。 在社会实践中人们首先产生概念， 然后运用概念进行判断和推理。 概念和判断是推理的基础。