逻辑通常指人们思考问题，从某些已知条件出发推出合理的结论的规律。 说某人逻辑性强，就是说他善于推理，能够得出正确的结论。说某人说话不合逻辑，就是说他的推理不正确，得出了错误的结论。 逻辑有时也指逻辑学。逻辑学是研究推理规律的理论。逻辑学分古典逻辑和现代逻辑。 逻辑又有演绎逻辑，归纳逻辑，形式逻辑，非形式逻辑等不同类型。 逻辑推理中的已知条件和结论都是可以判断真假的命题。如果把命题作为最基本的成分，只研究命题推理的规律，就得到命题逻辑。进一步，把命题再细分为谓词，量词就得到谓词逻辑。 用符号表示命题，谓词，量词，得到符号逻辑。符号逻辑常用来研究数学中的推理，因此也叫数理逻辑。 二十世纪，数理逻辑发展迅速，它的四个主要分支：集合论，模型论，递归论，证明论已成为数学的重要学科。现代逻辑如模态逻辑，时态逻辑，概率逻辑，量子逻辑，模糊逻辑等各式各样的应用逻辑层出不穷。 这样一来，逻辑的含义是太丰富了。逻辑已经成为数学，哲学，计算机科学，甚至每一门学科的基础。