개념· 명제· 추론 등을 기호화하여 연구하는 형식적인 논리학으로서, 수학 기초론 분야의 하나. 수학적 논리학, 수리(數理) 논리학이라고도 한다.

사고(思考)의 형식적 법칙을 체계화한 아리스토텔레스에서 출발하였다. 19세기 중엽에 불(Boole), 드 모르간(de Morgan)을 거쳐 프레게(G.Frege)에 의해 취급되어 왔다.

영국의 러셀(B.A.W.Russell)과 화이트헤드(A.N.Whitehead)의 《수학 원리(Principia)》(1910)에 집대성되었다.