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

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

Logic (from the Ancient Greek: λογική, logike) originally meaning the word, or what is spoken, (but coming to mean thought or reason) is generally held to consist of the systematic study of the form of arguments. A valid argument is one where there is a specific relation of logical support between the assumptions of the argument and its conclusion. (In ordinary discourse, the conclusion of such an argument may be signified by words like 'therefore', 'hence', 'ergo' and so on.) The form of an argument type is a schematic way of representing what is common to all arguments of that type.