論理を形式化して，論理を研究する分野

最近は数理論理学や数学基礎論とほぼ同義

大きくに古典論理と非古典論理に分別される

古典論理のもとはアリストテレスの伝統的論理学とかがヒントになってる