연역 추론

1. 개요

연역 추론이란 이미 참으로 받아들인 일반 원리에서 출발해 개별 사례에 관한 결론을 이끌어 내는 논증 방식이다. 그 결정적 특징은 전제를 인정하는 순간 결론을 부정할 수 없다는 데 있다 — 그래서 연역을 재는 잣대는 내용의 진위가 아니라 형식의 올바름, 곧 타당성이다. 개별 관찰을 쌓아 일반 법칙을 짐작하는 귀납 추론과는 추론의 방향도 결론의 성격도 정반대다. 전제에 담긴 정보를 다시 확인할 뿐 새로운 앎을 보태지 않는다는 성격 때문에, 연역은 분석 명제와 종합 명제를 가르는 논리실증주의나 앎의 근거를 캐묻는 인식론 논의와도 이어진다.

2. 상세

2.1. 방향 — 일반 원리에서 개별 결론으로

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

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

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

2.3. 새로운 지식을 만들지 않는다

연역이 내주는 결론은 전제에 이미 잠겨 있던 정보를 꺼내어 되짚는 것에 가깝다. 그래서 연역은 확실성을 보장하는 대신 앎의 총량을 늘리지는 못한다. "미혼남은 결혼하지 않았다"처럼, 결론이 전제의 뜻을 되풀이할 뿐 바깥세상에 관한 새 정보를 보태지 않는다는 지적이 여기서 나온다.²

2.4. 형식 논리학의 심장

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

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

평가원 지문은 연역을 대개 귀납과 짝지어 세워 놓고, 두 추론의 성격 차이를 판정하게 한다. 이 개념이 실제로 놓인 시험은 아래 출제 이력 위젯에서 확인할 수 있다. 자주 나오는 각도는 셋이다.

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

4. 헷갈리기 쉬운 것들

흔한 오해	왜 틀렸나	바르게 이해하기
타당한 연역이면 결론은 무조건 참이다	타당성은 전제와 결론을 잇는 형식의 문제일 뿐이다	전제가 실제로 거짓이면, 형식이 타당해도 결론은 얼마든지 거짓일 수 있다
복잡한 선지도 눈으로 읽으면 논리 관계가 보인다	문장이 길어지면 직관은 충분·필요조건의 방향을 자주 뒤집는다	'P이면 Q'로 기호화해 화살표 방향부터 고정하고 따진다
'모든'이라는 말이 없으면 전칭이 아니다	'재민이는 수영한다' 같은 긍정문도 전칭으로 다룬다	명시적 양화사가 없어도 전칭(∀)으로 처리해야 기호화가 어긋나지 않는다

5. 관련 개념

• 귀납 추론 — 추론의 방향과 결론의 성격이 정반대인 짝 개념
• 논증 — 연역이 속하는 상위 틀. 전제에서 결론으로 가는 구조 전반
• 법조문 해석 — 일반 규정을 개별 사건에 적용하는 추론을 다루는 이웃 문서
• 논리실증주의 — 분석 명제(연역)와 종합 명제를 가르는 검증주의 철학
• 인식론 — 연역이 새 지식을 주는가를 두고 앎의 근거를 따지는 분야

각주

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

2. 결론이 전제의 뜻을 되풀이할 뿐 세상에 관한 새 정보를 더하지 않는 이런 명제를 분석적이라 한다. 연역이 확실성을 얻는 대신 앎의 양을 못 늘린다는 약점은, 뒤집으면 귀납이 앎을 넓혀 주는 강점과 짝을 이룬다. ↩

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