思考の形式及び法則である。これに加えて、思考のつながり、推理の仕方や論証のつながりを指す。

論理学は、伝統的には哲学の一分野で、数学的演算の導入により、記号論理学という分野ができた。記号論理学と、記号論理学をふまえた論理学、数理論理学でない論理学に分化している。