是有效推论的哲学研究。逻辑被使用在大部份的智能活动中，但主要在心理、学习、哲学、语义学、数学、推论统计学、脑科学、法律和电脑科学等领域内被视为一门学科。逻辑讨论逻辑论证一般会呈现的一般形式，哪种形式是有效的，以及其中的谬论。逻辑通常可分为三个部份：归纳推理、溯因推理和演绎推理。 科学方法都属于归纳推理, 没有必然性。 数学则属于演绎推理。在哲学里，逻辑被应用在大多数的主要领域之中：形上学/宇宙论、本体论、知识论及伦理学。在数学里，逻辑是指形式逻辑和数理逻辑，形式逻辑是研究某个形式语言的有效推论。