후건 부정식 (Modus Tollens)
한 줄 정의: 'P이면 Q이다'와 'Q가 아니다'라는 두 전제로부터 'P가 아니다'를 타당하게 이끌어내는 연역 추론 형식이다.
쉽게 풀면
후건 부정식은 '비가 오면 땅이 젖는다. 땅이 젖지 않았다. 그러므로 비가 오지 않았다'처럼, 조건문의 결과 부분(후건)이 거짓임을 근거로 그 원인이 되는 조건(전건)도 거짓이라고 타당하게 결론짓는 추론 형식이다.
논문에서는 이렇게 쓰입니다
"반증주의자는 후건 부정식을 통해 이론으로부터 도출된 예측이 실패할 경우 그 이론이 반증된다고 주장한다."
칼 포퍼의 반증주의가 '이론이 참이면 특정 예측이 성립한다. 그런데 예측이 실패했다. 그러므로 이론은 거짓이다'라는 후건 부정식의 논리 구조를 과학적 방법론의 핵심으로 삼고 있음을 보여준다.
주의할 점
후건 부정식은 조건문 자체를 부정하는 것이 아니라, 조건문과 후건의 부정으로부터 전건의 부정을 이끌어내는 타당한 형식이라는 점에서 전건 부정의 오류와 명확히 구별해야 한다.