백과

엄밀한 증명방식, 즉 하나 또는 그 이상의 진술들(전제들)에서 어떤 진술(결론)을 도출하는 추론방식을 가리키는 논리학의 용어. 따라서 연역은 일련의 진술들로 구성되는데, 각각의 진술은 전제이거나 증명과정에서 이전에 나타난 어떤 진술의 귀결이다. 이러한 용법은 아리스토텔레스가 삼단논법이라고 불렀던 것을 일반화한 것이다. 그러나 현재 삼단논법은 연역의 특수한 경우에 지나지 않는다. 또 오늘날 대부분의 논리학자들은 연역이 '일반적인 것에서 특수한 것으로' 또는 '보편자에서 특수자'로 진행한다는 전통적인 견해를 옳지 못한 것으로 보고 폐기했다.

몇몇 학자는 모든 타당한 추론이 형식상 연역적이라고 주장하고, 이러한 이유나 또다른 이유를 들어 연역과 귀납의 대비를 거부한다.→ 공리적 방법, 귀납, 증명, 추론, 함언, 형식체계