理論の構造を研究する学問のこと。
東洋では、紀元前4世紀ごろからインドで論証の形式の分類が始まり、とくに仏教がおこってから詳しい論理学の研究が行われるようになったといわれる。
これは日本にも伝えられて「因明（いんみょう）」の名で知られているが、現代の論理学とは直接のつながりはない。
西洋では、古代ギリシアですでにかなり進んだ論理学の研究が行われており、その結果をアリストテレスが集大成し、自分の創見を付け加えて体系化したものが、論理学の最古の文献として伝えられている。
このアリストテレスの論理学が中世のスコラ哲学を経ていささか形を変え、近世の初めに一つのカリキュラムとして定着したのが、伝統的論理学であり、日本では、40年ほど前までは、もっぱらこの伝統的論理学が教えられていた。