論理学
ここでいう論理とは、思考の形式及び法則である。これに加えて、思考のつながり、推理の仕方や論証のつながりを指す。よく言われる「論理的に話す、書く」という言葉は、つながりを明確にし、論証を過不足なく行うということである。
論理学は、伝統的には哲学の一分野である。数学的演算の導入により、数理論理学(記号論理学)という分野ができた。現在では、数理論理学は数学と論理学のどちらであるとも(時にどちらでないとも)される。現在の論理学は、(それを論理学であるとするなら)数理論理学と、数理論理学をふまえた論理学、数理論理学でない論理学に分化している。
なお、日本語の「論理学」という語は西周によるものとされている。
中世において西ヨーロッパにはアリストテレスの著作が完全には伝わらず、また6世紀初頭にボエティウスがアリストテレスの論理学書やそのポルピュリオスによる注解を翻訳したため、初期スコラ哲学まではアリストテレスはもっぱら論理学者として理解されていた。このような伝統的論理学の研究はポルピュリオスによるアリストテレス注解によって紹介され、スコラ哲学における論理学書は多くポルピュリオス注解の形で書かれた。一方、アリストテレスの論理学書やそのポルピュリオスによる注解は東方ではネストリウス派によってシリア語に翻訳されており、これがアッバース朝期にアラビア語へと翻訳されて、イスラム教世界での論理学の発展を見た。学校が整備されるようになると、論理学は自由七科の一部門として、専門諸学を学ぶ前の予備学として教えられた。アベラルドゥス、オッカムのウィリアムなどがこの時代の論理学に寄与していた。また、カントが論理学を「アリストテレス以来進歩もなければ 後退もない、いわば完成された学問」と呼んだことからもわかるように、アリストテレスの研究成果は以後長い間、大きな変更を受けることなく受け継がれた。ヨーロッパ中世においては論理学に発展が見られたが、ルネサンス期以降の近世においては論理学はむしろ停滞ないしは衰退期となっていた。
近世においてはライプニッツが今日の数理論理学の先駆となる「普遍言語」を構想した。これは多種多様な自然言語に対して、命題の統一的記述を与える人工言語の構想である。ライプニッツ=ヴォルフ派の学者に属する哲学者バウムガルテンは、伝統的な上級認識能力すなわち理性の論理学に対して、下級認識能力の論理学としての感性学を提唱し、これをギリシア語で感覚を意味する aisthesis によって aesthetica と名づけた。