결론을 보장하는 전제에서 시작하면 그것이 바로 연역적 추론입니다. 모든 사람은 죽는다. 소크라테스는 사람이다. 그러므로 소크라테스는 죽는다. 전제가 참이고 형식이 타당하다면 결론은 반드시 참이다. 개연의 여지가 없다. 연역은 논리, 수학, 그리고 형식적 증명의 근간이다.

아리스토텔레스는 삼단논법을 기본 도구로 사용하여 연역을 체계화한 최초의 인물입니다. 삼단논법은 두 개의 전제와 하나의 결론으로 ​​구성되며, 결론이 필연적으로 도출되도록 배열됩니다. 중세 논리학자들은 이 체계를 정교화했고, 프레게와 러셀 같은 근대 논리학자들은 기호 논리를 발전시켜 기호와 규칙으로 연역적 형식을 표현했습니다. 연역은 진리 보존적입니다. 즉, 참인 전제에서 거짓인 결론으로 ​​이어질 수 없습니다. 하지만 전제에 이미 포함된 내용 외에 새로운 내용을 생성할 수도 없습니다. 이것이 바로 연역이 증명에는 강력하지만 발견에는 한계가 있는 이유입니다.

핵심 개념

• 타당성.
• 건전성.
• 삼단논법.
• 반례.

연역은 일상적인 추론, 법적 논쟁, 컴퓨터 프로그래밍, 철학적 증명 등에서 나타납니다. 누군가 "논리적으로 타당하다"라고 말할 때는 대개 연역적 추론을 의미합니다.