건전성 (Soundness)
한 줄 정의: 논증이 형식적으로 타당하면서 동시에 모든 전제가 실제로 참인 경우를 가리키는 논리학의 개념이다.
쉽게 풀면
건전성은 타당성에 한 가지 조건을 더 요구한다. 논증의 형식이 올바를 뿐 아니라(타당성), 실제로 그 전제들이 모두 참이어야(사실적 정확성) 건전한 논증이 된다. 건전한 논증이라면 결론도 반드시 참이라는 것이 보장된다.
논문에서는 이렇게 쓰입니다
"이 논증이 건전하려면 형식적 타당성뿐 아니라 두 번째 전제의 경험적 참됨도 별도로 입증되어야 한다."
논증이 건전하다고 주장하려면 형식이 옳다는 것만으로는 부족하고, 전제로 사용된 각 명제가 실제로 참이라는 것을 별도로 논증해야 한다는 건전성의 요건을 설명한다.
주의할 점
타당한 논증이라고 모두 건전한 것은 아니지만, 건전한 논증은 정의상 반드시 타당하다는 논리적 포함 관계에 유의해야 한다.