연역 논증 (Deductive Argument)
한 줄 정의: 전제가 모두 참이면 결론이 필연적으로 참이 되도록 의도된 논증으로, 결론이 전제에 이미 담긴 정보를 넘어서지 않는 추론 형태이다.
쉽게 풀면
연역 논증은 '모든 사람은 죽는다. 소크라테스는 사람이다. 그러므로 소크라테스는 죽는다'처럼, 전제가 참이면 결론이 반드시 참이 되도록 짜여진 추론이다. 결론에는 이미 전제 속에 담겨 있던 정보 이상의 새로운 내용이 추가되지 않는다는 특징이 있다.
논문에서는 이렇게 쓰입니다
"이 절에서는 연역 논증의 형식적 구조를 통해 정리의 증명 가능성을 검토한다."
수학적 증명처럼 전제로부터 결론이 필연적으로 도출되는 구조를 분석함으로써, 논증의 형식적 정확성을 검토하려는 접근을 보여준다.
주의할 점
연역 논증은 전제가 참일 때 결론의 참을 100% 보장하지만, 귀납 논증은 결론을 개연적으로만 지지한다는 점에서 두 논증 형태의 확실성 정도가 근본적으로 다르다는 것을 구분해야 한다.