가언삼단논법 (Hypothetical Syllogism)
한 줄 정의: 'P이면 Q이다'와 'Q이면 R이다'라는 두 조건문 전제로부터 'P이면 R이다'를 타당하게 이끌어내는 연역 추론 형식이다.
쉽게 풀면
가언삼단논법은 '비가 오면 길이 막힌다. 길이 막히면 나는 늦는다. 그러므로 비가 오면 나는 늦는다'처럼, 두 개의 조건문을 사슬처럼 연결해 새로운 조건문을 이끌어내는 추론 형식이다. 조건문끼리 연쇄적으로 연결되는 구조를 갖는다.
논문에서는 이렇게 쓰입니다
"이 논증의 결론은 가언삼단논법을 통해 두 중간 전제로부터 직접 도출된다."
여러 단계의 조건문 전제들을 연쇄적으로 결합해 최종 결론에 이르는 논증 구조가 가언삼단논법의 반복 적용으로 설명될 수 있음을 보여준다.
주의할 점
가언삼단논법은 조건문 두 개를 연결하는 것으로, 하나의 조건문에서 곧바로 결론을 이끌어내는 전건 긍정식이나 후건 부정식과는 전제의 개수와 구조가 다르다는 점을 구분해야 한다.