形式逻辑是研究思维形式结构及其规律的科学,狭义地说，形式逻辑是研究推理有效性的科学。 我们常把它通称为逻辑学。 形式逻辑是如此重要，联合国教科文组织规定逻辑学为七大基础学科之一；2019年在第四十届大会上又把1月14日定为“世界逻辑日”。 逻辑学是思想的武器、认识的工具、科学的方法，任何科学理论都是由不同的概念构成的逻辑系统。 形式逻辑的基础性、工具性、全人类性决定了其在社会中的广泛适用性。 加强逻辑知识教育，对于培养人们的逻辑观念、规则意识，增强人们的理性精神、求真精神，提升人们的思维综合素质、创新能力，推进我国基础研究水平提升和创新型国家建设具有重要意义。