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의 글에서 이 구조를 상세히 분석한다.
반박
Ron Jeffries는 Dark Scrum: Is It 'No True Scotsman'?에서 **"구체적 기준으로 '아니다'라고 말할 수 있으면 NTS 오류가 아니다"**라고 반박했다. 예컨대 "WIP 제한이 없으면 Kanban이 아니다"처럼 명확한 기준을 제시할 수 있다면, 이는 NTS가 아니라 단순한 정의적 배제다.
그러나 애자일의 경우 "마인드셋", "진정한 실천" 같은 주관적 기준에 의존하는 경우가 많아, NTS 비판이 지속된다.
철학적 배경
NTS 오류는 반증 가능성과 밀접한 관련이 있다. Karl Popper가 과학과 비과학을 구분하는 기준으로 제시한 반증 가능성은, NTS처럼 반례를 배제해가며 주장을 유지하는 체계는 과학이 아니라고 본다.