건전성 (Soundness)
쉽게 풀면
건전성은 타당성에 한 가지 조건을 더 요구한다. 논증의 형식이 올바를 뿐 아니라(타당성), 실제로 그 전제들이 모두 참이어야(사실적 정확성) 건전한 논증이 된다. 건전한 논증이라면 결론도 반드시 참이라는 것이 보장된다.
왜 중요한가
논증이 형식적으로 타당할 뿐 아니라 모든 전제가 실제로 참인 경우를 가리키는 건전성으로, 타당성이 전제와 결론 사이의 논리적 관계만을 평가하는 반면 건전성은 전제의 실제 참거짓까지 포함해 평가하는 더 강한 기준이다.
핵심 정리
- 연역 논증이 타당(valid)하다는 것은 전제가 모두 참이라면 결론이 반드시 참이 되는 형식을 가졌다는 뜻입니다. 전제가 실제로 참인지는 묻지 않습니다.
- 건전(sound)한 논증은 (1) 타당하고 (2) 전제가 모두 실제로 참인 논증입니다. 건전한 논증의 결론은 반드시 참입니다.
- 따라서 건전하지 않은 논증은 형식이 부적절하거나(부당) 전제 중 하나 이상이 거짓인 경우입니다. 건전하지 않다고 결론이 거짓인 것은 아닙니다.
- 귀납 논증에는 건전성 대신 강함(strong)과 설득력(cogent) 같은 말을 씁니다(예: Hurley의 교재 분류).
예시로 보기
| 논증 | 타당? | 전제 모두 참? | 건전? | 결론 |
|---|---|---|---|---|
| 모든 사람은 죽는다. 소크라테스는 사람이다. 따라서 소크라테스는 죽는다. | 예 | 예 | 예 | 참 |
| 모든 새는 난다. 펭귄은 새다. 따라서 펭귄은 난다. | 예 | 아니오(첫 전제 거짓) | 아니오 | 거짓 |
| 모든 포유류는 알을 낳는다. 오리너구리는 포유류다. 따라서 오리너구리는 알을 낳는다. | 예 | 아니오(첫 전제 거짓) | 아니오 | 참(우연히) |
| 어떤 새는 난다. 참새는 난다. 따라서 참새는 새다. | 아니오 | 예 | 아니오 | 참(우연히) |
셋째 행처럼 건전하지 않은 논증도 결론이 참일 수 있다는 점이 중요합니다. 건전성은 결론의 참이 아니라 논증이 결론을 보증하는지를 평가합니다.
자주 하는 오해
| 오해 | 바로잡기 |
|---|---|
| 건전하다 = 타당하다. | 타당성은 형식만 보고, 건전성은 전제의 실제 참까지 요구합니다. |
| 결론이 참이니 건전하다. | 참인 결론을 가진 논증이 건전하지 않은 경우가 있습니다. |
| 건전성은 논리학만으로 확인된다. | 형식은 논리가 판정하지만 전제의 참은 경험·수학·철학적 논의 등 다른 근거가 필요하고, 철학에서는 바로 이 전제의 참이 쟁점이 됩니다. |
| 논리 체계의 ‘건전성 정리’와 같은 말이다. | 메타논리학에서 체계가 건전하다는 것은 증명 가능한 모든 것이 의미론적으로 타당하다는 성질입니다. 논증의 건전성과 이름이 같아도 층위가 다릅니다. 짝이 되는 완전성은 괴델(1930)이 일차 논리에서 증명했습니다. |
| 건전성은 재무 건전성과 같은 말이다. | 한국어 ‘건전성’이 같은 글자를 쓰지만, 재무·경영 논문의 건전성은 안정성을 뜻하는 다른 용어입니다. |
논문에서는 이렇게 쓰입니다
실제 논문에서
이 용어를 직접 쓴 국내 논문 문장을 아직 수집하지 못했습니다. 수집되는 대로 출처와 함께 싣겠습니다.
예시 문장
아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.
논증이 건전하다고 주장하려면 형식이 옳다는 것만으로는 부족하고, 전제로 사용된 각 명제가 실제로 참이라는 것을 별도로 논증해야 한다는 건전성의 요건을 설명한다.
이 문장은 논증의 형식만 올바르다고 해서 그 논증이 건전한 것은 아니며, 전제 내용이 실제로 참이어야 건전성이 성립한다는 것을 구체적인 예로 보여줍니다.
조금 더 깊게 보면
타당한 논증이라도 전제가 거짓이면 건전하지 않으므로, 형식적으로 완벽해 보이는 논증이라도 전제의 실질적 진위를 별도로 검토해야만 그 논증이 실제로 결론을 뒷받침하는지 판단할 수 있다.
메타논리학에서 '건전성'이라는 용어는 이와 별개로 하나의 증명체계가 타당한 논증만을 정리로 산출한다는 체계 전체의 속성(증명 가능하면 타당하다)을 가리키는 데도 쓰이므로, 개별 논증의 건전성과 증명체계의 건전성 정리를 혼동하지 않아야 한다.
두 용법 모두 '거짓을 낳지 않는다'는 공통된 직관을 반영하지만, 전자는 특정 논증 하나의 속성이고 후자는 하나의 형식체계 전체가 갖는 메타이론적 속성이라는 점에서 층위가 다르다.
개별 논증의 건전성을 입증하는 것은 타당성 입증보다 대체로 어려운데, 전제의 실제 참거짓은 형식만으로 판정되지 않고 해당 분야(경험 과학, 수학 등)의 탐구를 통해 확인되어야 하기 때문이다.
주의할 점
타당한 논증이라고 모두 건전한 것은 아니지만, 건전한 논증은 정의상 반드시 타당하다는 논리적 포함 관계에 유의해야 한다. 타당한 논증이라고 모두 건전한 것은 아니지만, 건전한 논증은 정의상 반드시 타당하다는 논리적 포함 관계에 유의해야 하며, 이 비대칭적 관계 때문에 건전성을 타당성보다 항상 더 엄격한 상위 기준으로 다루어야 한다.
헷갈리기 쉬운 용어
논증 평가에서 자주 섞이는 용어입니다.
| 용어 | 평가하는 것 | 내용 |
|---|---|---|
| 타당성 | 논증의 형식 | 전제가 참이면 결론이 반드시 참 |
| 건전성 | 형식 + 전제의 참 | 타당하면서 전제가 모두 참 |
| 연역 논증 | 논증의 유형 | 결론이 전제에서 필연적으로 따르길 요구 |
| 귀납 논증 | 논증의 유형 | 결론이 개연적으로 뒷받침됨(강함·설득력) |
참고 문헌
- Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.). Cengage Learning.
- Sider, T. (2010). Logic for Philosophy. Oxford University Press.
- Gödel, K. (1930). Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Monatshefte für Mathematik und Physik, 37, 349–360.
표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.