연역 추론

1. 개요

연역 추론이란 전제가 모두 참일 때 결론도 반드시 참이 되는 관계를 지닌 논증 방식이다. 핵심은 전제를 받아들이면서 결론을 부정할 수 없다는 필연성이다. 형식의 타당성과 전제의 실제 참은 별도로 확인한다. 귀납 추론은 전제에서 결론으로 나아갈 때 개연적 지지를 제공한다는 점에서 구별된다. 연역과 귀납은 추론 방식의 구별이며, 명제를 분석적·종합적으로 나누는 논리실증주의나 인식론의 논의와 같은 분류는 아니다.

2. 상세

2.1. 일반 원리의 적용은 한 유형이다

일반 원리를 특정 사례에 적용하는 것은 연역의 한 유형이다. "모든 사람은 죽는다"라는 일반 전제와 "소크라테스는 사람이다"라는 사례 전제를 맞물리면 "소크라테스는 죽는다"는 결론이 저절로 떨어진다. 전제 안에 이미 담겨 있던 내용을 특정한 대상에게 확정해 주는 셈이라, 결론은 전제라는 울타리를 결코 벗어나지 못한다.

2.2. 타당성 — 내용이 아니라 형식을 본다

연역의 좋고 나쁨은 전제가 실제로 옳은지와 별개로, 전제에서 결론으로 가는 형식만으로 가려진다. 전제를 모두 참이라 가정했을 때 결론이 거짓일 여지가 조금도 없으면 그 논증은 타당하다. 뒤집어 말하면, 전제가 사실은 틀렸더라도 형식만 맞으면 타당한 논증일 수 있다 — 타당성과 결론의 실제 참은 다른 층위의 문제다.¹

2.3. 결론의 필연성과 명제의 종류를 구별한다

타당한 연역에서는 결론이 전제의 논리적 범위를 넘어가지 않는다. 그렇다고 연역의 결론이 모두 분석 명제이거나 경험에 관한 내용을 담을 수 없다는 뜻은 아니다. 분석과 종합은 명제의 의미와 내용에 관한 구별이고, 연역과 귀납은 전제와 결론의 지지 관계에 관한 구별이다. 경험적 사실을 진술하는 종합 명제도 연역의 결론이 될 수 있다.²

2.4. 형식 논리학의 심장

추론의 내용을 걷어 내고 뼈대만 남겨 타당성을 따지는 분야가 형식 논리학이고, 연역은 그 중심에 있다. 추론의 꼴만 다루던 아리스토텔레스의 전통 논리에서 출발해, 기호와 수식으로 추론을 다루는 현대 수리논리학으로 이어지는 흐름이 그것이다.

3. 수능에서는 이렇게 나온다

평가원 지문은 연역을 대개 귀납과 짝지어 세워 놓고, 두 추론의 성격 차이를 판정하게 한다. 추론 구조를 점검하는 관점은 다음과 같다.

1. 필연 대 개연 판별: <보기>의 어떤 추론을 두고 "결론이 반드시 참인가, 아니면 개연적으로 그럴듯할 뿐인가"를 묻는다. 전제만 옳으면 결론이 확정되면 연역, 예외 가능성이 남으면 귀납이다.
2. 조건 명제 기호화: 지문 진술을 'P이면 Q이다'로 옮기고 충분조건·필요조건 관계를 벤다이어그램처럼 따지게 한다. 화살표를 주는 쪽이 충분조건, 받는 쪽이 필요조건이라는 방향 감각이 핵심이다.³
3. 일반 원리의 적용: 지문이 내세운 일반 규정이나 이론을 특정 사례에 대입했을 때 결론이 따라 나오는지를 <보기>로 확인하게 한다. 이때도 판단 기준은 대입의 방향만이 아니라 전제를 인정할 때 결론이 필연적인가이다.

4. 헷갈리기 쉬운 것들

흔한 오해	왜 틀렸나	바르게 이해하기
타당한 연역이면 결론은 무조건 참이다	타당성은 전제와 결론을 잇는 형식의 문제일 뿐이다	전제가 실제로 거짓이면, 형식이 타당해도 결론은 얼마든지 거짓일 수 있다
복잡한 선지도 눈으로 읽으면 논리 관계가 보인다	문장이 길어지면 직관은 충분·필요조건의 방향을 자주 뒤집는다	'P이면 Q'로 기호화해 화살표 방향부터 고정하고 따진다
'모든'이 생략되면 일반 명제도 단칭 명제다	'고래는 포유류다'는 문맥상 고래 전체에 관한 전칭 주장이다	특정 개인이 수영한다는 단칭 명제는 이와 다르다. 재민을 a, 수영함을 S로 놓으면 현대 기호 논리에서는 S(a)로 쓴다. 전통 삼단논법에서 단칭을 전칭처럼 다루는 관행과 구별한다4

5. 관련 개념

• 귀납 추론 — 필연적 도출과 달리 전제에서 결론을 개연적으로 뒷받침하는 추론
• 논증 — 연역이 속하는 상위 틀. 전제에서 결론으로 가는 구조 전반
• 법조문 해석 — 일반 규정을 개별 사건에 적용하는 추론을 다루는 이웃 문서
• 논리실증주의 — 분석·종합의 명제 구별과 의미 기준을 논의하는 철학적 흐름
• 인식론 — 연역이 새 지식을 주는가를 두고 앎의 근거를 따지는 분야

각주

1. 형식이 타당한 것과 전제가 실제로 참인 것은 서로 다른 층위의 문제다 — 선지가 "타당하다"만 말하고 결론이 사실인 양 슬쩍 끼워 넣으면 함정이다. ↩

2. “결론이 전제에서 필연적으로 나온다”와 “결론이 단어 뜻만으로 참이다”는 다른 말이다. 추론 관계의 특징을 명제 자체의 성격으로 옮기지 않는다. ↩

3. 방향이 헷갈릴 땐 이렇게 외우면 편하다 — 충분한 쪽이 화살표를 건네주고, 필요한 쪽이 건네받는다. P→Q에서 P가 충분조건, Q가 필요조건이다. ↩

4. 『forall x』의 일차 논리 설명과 스탠퍼드 철학백과의 포르루아얄 논리 논의 참조. 전통의 명제 분류와 현대의 기호화 규칙은 같은 기준이 아니다. ↩