![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/9/9b/Philbar_4.png/640px-Philbar_4.png&w=640&q=50)
논리학
논리와 관련된 구성과 원리들을 분석하고 체계화하는 학문 / From Wikipedia, the free encyclopedia
논리학(論理學, 문화어: 론리학, 영어: logic, formal logic)은 '논리' 및 그것과 관련한 구성과 원리들을 분석하고 체계화하는 학문이다. 타당한 논증, 곧 추론과 증명의 법칙을 연구하는 학문으로, 일반적으로 논증 학문이라고 정의한다. 판단·추리·개념 등과 관련하여 올바른 명제를 전제로 하는 '타당한 추론(推論)의 형식'(valid rules of inference)에 관한 인문 과학이라 한다. 흔히 철학 한 분과로 분류하나,[1][2] 형식 논리학은 수학기초론과 관련이 깊다. 한편 라이프니츠는 '모든 과학들이 공리들을 규명할 때 그러한 사용에서 그리고 그러한 원칙에서의 논리학의 당위적인 역할'이라는 맥락으로 서술했다.[3][4]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/49/Aristoteles_Logica_1570_Biblioteca_Huelva.jpg/640px-Aristoteles_Logica_1570_Biblioteca_Huelva.jpg)