논리학은 "무엇이 올바른 추론인가?"라는 문제를 해결하기 위해 출발한 학문이다. 연역추론과 귀납추론이 논리학에 속하는 대표적인 주제이며, 추론을 구성하는 명제, 그리고 이를 다시금 구성하는 개념 역시 논리학의 전통적인 연구 주제다.

고대 그리스에서 아리스토텔레스가 처음으로 고안한 학문이며, 19세기유럽 조지 부울, 고틀로프 프레게, 버트런드 러셀 등의 업적을 통해 수학과 매우 밀접한 관계를 맺게 되었다. 이는 20세기에 수리 논리학이라는 형태로 결실을 맺었다.

논리학, 특히 형식 논리학은 철학, 수학, 언어학, 컴퓨터과학 등에서 걸쳐 두루두루 연구되고, 따라서 대학 과목 역시 여러 대학교의 철학과, 수학과, 컴퓨터공학과에서 두루두루 개설된다. 수학의 경우 논리학은 '수학 기초론'으로서 연구되는 편이고, 컴퓨터과학의 경우에는 논리회로부터 시작해서 프로그래밍 언어에 이르기까지 다양한 분야에 걸쳐 응용된다. 논리학을 전통적으로 연구해온 철학에서 역시 형이상학, 수리철학, 언어철학 등 각 여러 분야에 접목된다.