논리학은 논증에서 전제들로부터 결론이 도출될 수 있는지를 판단하는 학문이다. 논리학을 학문으로 체계화한 사람은 기원전 3세기의 철학자 아리스토텔레스이다. 그는 논증의 일반적인 원리를 연구함으로써 논증의 타당성을 검토하려고 했다. 아리스토텔레스는 정언 문장으로 이루어진 연역 논증을 중심으로 논리학을 연구하였는데, 이러한 논리학을 ⓐ 전통 논리학이라 부른다. 연역 논증은 결론이 이미 전제에 포함되어 있기 때문에 전제가 참이면 결론이 반드시 참이 되는 형식의 논증을 말한다. 그리고 정언 문장이란 참과 거짓을 판별할 수 있는 문장 중에서 ‘주어-술어’로 이루어진 다음 네 가지 형식의 문장을 말한다. ∙ 모든 A는 B이다. ∙ 어떤 A는 B이다.∙ 모든 A는 B가 아니다. ∙ 어떤 A는 B가 아니다. (1)은 연..