逻辑（英语：logic），又称理则、论理、推理、推论，是有效推论的哲学研究。逻辑被使用在大部份的智能活动中，但主要在哲学、数学、语义学和计算机科学等领域内被视为一门学科。逻辑讨论逻辑论证会呈现的一般形式，哪种形式是有效的，以及其中的谬论。在哲学里，逻辑被应用在大多数的主要领域之中：形上学/宇宙论、本体论、知识论及伦理学。在数学里，逻辑是指研究某个形式语言的有效推论。在辩证法中也会学习到逻辑。

一些古文明（如印度、中国和希腊）都有对逻辑进行研究。在西方，亚里斯多德将逻辑创建成一门正式的学科，并在哲学中给予它一个基本的位子。