논증을 위한 형식적, 비형식적 오류에 대하여

1. 형식적 오류의 정의

형식적 오류는 논증에서 논리적 구조가 타당하지 않거나 규칙에 맞지 않아 발생하는 오류를 의미한다. 즉, 논증의 내용이 올바르더라도 논리 전개 과정에 문제가 있어서 설득력이 떨어지거나 잘못된 결론에 도달하는 경우를 가리킨다. 이 오류는 주로 연역적 추론이나 논리적 형식을 평가할 때 나타나며, 구조적 부적합성 때문에 논리적 타당성을 갖추지 못하게 된다. 예를 들어, ‘모든 사람은 죽는다. 소크라테스는 사람이다. 그러므로 소크라테스는 죽는다’라는 삼단 논법은 형식적으로 올바른 구조를 갖추고 있지만, 이는 논리적 오류는 아니다. 반면, ‘모든 새는 날 수 있다. 펭귄은 새다. 따라서 펭귄은 날 수 있다’는 논증은 구조상 문제가 없다. 하지만 ‘모든 새는 날 수 있다. 펭귄은 새다. 따라서 펭귄은 날 수 있다’는 것 역시 형식적 오류는 아니지만, 실제로 펭귄이 날지 못하는 예외를 고려하지 않은 밀접한 문제다. 여기서 명확한 형식적 오류의 예시를 들자면, ‘p와 q가 모두 참이면 r도 반드시 참이다’라는 조건문을 잘못된 방식으로 ‘p 또는 q가 참이면 r이 참이다’로 바꿔서 결론을 도출하는 경우다. 이는 논리적 표기…