형식적 오류(形式的誤謬, formal fallacy)는 논리학과 철학에서 사용되는 개념으로, 논증의 형식 또는 구조 자체에 결함이 있어 타당하지 않은 추론 패턴을 가리킨다. 표준 논리 시스템(예: 명제 논리)에서 깔끔하게 표현될 수 있는 논리 구조의 결함으로 인해 논증이 무효화되는 경우를 뜻하며, 유효하지 않은 연역적 논증으로 정의된다.
형식적 오류의 핵심은 논증의 형식(form)이나 구조(structure)에 문제가 있다는 점이다. 따라서 전제(premise)의 내용이 사실이든 아니든 상관없이, 그 형식 자체가 타당하지 않기 때문에 결론이 정당화되지 않는다. 다시 말해, 논증 자체가 참된 전제를 가질 수 있음에도 여전히 잘못된 결론에 도달할 수 있으며, 이는 연역이 잘못된 오류에 해당한다. 형식논리학에서는 타당성(validity)과 진실(truth)이 분리되어 있으므로, 형식적 오류가 있다 하더라도 결론 자체가 우연히 참일 가능성은 존재하지만, 그 결론은 논리적으로 정당화되지 않는다.
형식적 오류는 논증의 형식은 타당하나 하나 이상의 전제가 거짓이기 때문에 건전하지 않은 비형식적 오류(informal fallacy)와 대비된다. 형식적 오류는 주로 연역 논증에서 발생하며, 귀납 논증에서도 나타날 수 있는 비형식적 오류와 구분된다.
주요 유형
형식적 오류의 대표적인 예로는 다음과 같은 것들이 있다.
-
전건 부정의 오류(Denying the Antecedent): "만약 P라면 Q다. P가 아니다. 따라서 Q가 아니다."의 형식을 취한다. 예를 들어 "만약 비가 온다면 길이 젖는다. 비가 오지 않는다. 따라서 길이 젖지 않는다."라고 추론하는 경우, 길이 다른 이유로 젖을 수 있으므로 이는 형식적 오류이다.
-
후건 긍정의 오류(Affirming the Consequent): "만약 P라면 Q다. Q가 맞다. 따라서 P다."의 형식을 취한다. 예를 들어 "만약 비가 온다면 길이 젖는다. 길이 젖었다. 따라서 비가 왔다."라고 추론하는 경우, 길이 젖는 이유는 비 외에도 여러 가지가 있으므로 이 역시 형식적 오류이다.
-
매개념 부주연의 오류(Fallacy of the Undistributed Middle): 삼단논법에서 매개념(중명사)이 전제에서 모든 외연에 걸쳐 주연되지 않을 때 발생한다. "모든 X는 Y이다. Z도 Y이다. 따라서 Z는 X이다(또는 X는 Z다)"의 형식이 이에 해당한다.
'비합리'(Non Sequitur)와의 관계
"비합리"(non sequitur, 라틴어로 '따라가지 않는다'는 뜻)라는 용어는 일반적으로 특정 명칭이 붙어 있지 않은 형식적 오류 유형을 가리키는 데 사용된다. 즉, 별도의 이름이 부여되지 않은 타당하지 않은 논증을 지칭하는 포괄적 표현으로 쓰인다.
수학적 오류
특수한 사례로 수학적 오류(mathematical fallacy)가 있다. 이는 의도적으로 유효하지 않은 수학적 증명으로, 오류가 미묘하게 숨겨져 있는 경우가 많다. 주로 교육 목적으로 만들어지며, 명백한 모순에 대한 가짜 증명 형태를 취한다.
어원
'형식적 오류'는 영어 'formal fallacy'의 번역어이다. 'formal'은 '형식의, 형식적인'을 의미하며, 'fallacy'는 라틴어 'fallacia'(속임수, 잘못된 추론)에서 유래하였다. 즉, 논증의 내용이 아니라 논리적 형식 자체의 결함에서 비롯된 오류라는 점을 강조하는 용어이다.
