No True Scotsman 오류
No True Scotsman 오류는 어떤 주장에 반례가 제시되었을 때, 반례의 사례가 **"진정한 X가 아니다"**라고 재정의함으로써 반례를 배제하는 비형식적 논리 오류입니다. 영국 철학자 Antony Flew가 1975년 저서 Thinking About Thinking에서 명명했습니다.
원조 예시
Flew가 제시한 원래 예시는 다음과 같습니다.
A: "어떤 스코틀랜드인도 시리얼에 설탕을 넣지 않는다." B: "하지만 내 삼촌 Angus는 스코틀랜드인인데 설탕을 넣어." A: "아, 그렇다면 진정한(true) 스코틀랜드인이라면 설탕을 넣지 않는다."
A는 반례(Angus)를 배제하기 위해 "진정한"이라는 수식어를 추가했고, 이로써 원 주장은 반증 불가능해졌습니다.
구조적 특징
- 경험적 주장을 제시한다 (검증 가능한 형태)
- 반례가 제시되면 정의를 수정한다
- 수정된 정의가 반례를 배제하도록 한다
- 결과적으로 주장은 반증 불가능한 순환 논리가 된다
소프트웨어 공학에서의 적용
애자일 선언문과 관련해 자주 인용되는 오류입니다.
A: "애자일로 개발하면 프로젝트가 성공한다." B: "우리 팀은 애자일로 했는데 실패했어." A: "그건 진짜 애자일이 아니었던 거지."
Will Anderson의 에세이와 Pablo Curell Mompo의 글에서 이 구조를 상세히 분석합니다.
반박
론 제프리스는 Dark Scrum: Is It 'No True Scotsman'?에서 **"구체적 기준으로 '아니다'라고 말할 수 있으면 NTS 오류가 아니다"**라고 반박했습니다. 예컨대 "WIP 제한이 없으면 Kanban이 아니다"처럼 명확한 기준을 제시할 수 있다면, 이는 NTS가 아니라 단순한 정의적 배제입니다.
그러나 애자일의 경우 "마인드셋", "진정한 실천" 같은 주관적 기준에 의존하는 경우가 많아, NTS 비판이 지속됩니다.
철학적 배경
NTS 오류는 반증 가능성과 밀접한 관련이 있습니다. 칼 포퍼가 과학과 비과학을 구분하는 기준으로 제시한 반증 가능성은, NTS처럼 반례를 배제해가며 주장을 유지하는 체계는 과학이 아니라고 봅니다.