가언삼단논법 (Hypothetical Syllogism)
쉽게 풀면
가언삼단논법은 '비가 오면 길이 막힌다. 길이 막히면 나는 늦는다. 그러므로 비가 오면 나는 늦는다'처럼, 두 개의 조건문을 사슬처럼 연결해 새로운 조건문을 이끌어내는 추론 형식이다. 조건문끼리 연쇄적으로 연결되는 구조를 갖는다.
왜 중요한가
'A이면 B, B이면 C이므로 A이면 C'라는 형식을 갖는 가언삼단논법으로, 조건문들을 연쇄적으로 결합해 새로운 조건적 결론을 이끌어내는 타당한 추론형식이다.
논문에서는 이렇게 쓰입니다
여러 단계의 조건문 전제들을 연쇄적으로 결합해 최종 결론에 이르는 논증 구조가 가언삼단논법의 반복 적용으로 설명될 수 있음을 보여준다.
여러 조건문을 연결한 추론의 타당성을 판단하는 데 이 형식이 활용됨을 보여주는 문장이다.
조금 더 깊게 보면
전건긍정·후건부정과 함께 연역논리의 기본 추론규칙 중 하나이지만, 조건문 자체의 진리조건(실질조건 vs 엄밀조건)에 대한 해석에 따라 이 규칙의 적용범위에 대한 철학적 논쟁이 이어진다. 이 규칙은 자연연역 체계에서 두 번의 조건문 제거와 한 번의 조건문 도입을 결합한 파생 규칙으로 증명될 수 있으며, 세 개 이상의 조건문을 연쇄적으로 연결하는 경우에도 동일한 원리가 반복 적용되어 일반화된다. 전건긍정·후건부정과 함께 연역논리의 기본 추론규칙 중 하나이지만, 조건문 자체의 진리조건(실질조건 대 엄밀조건)에 대한 해석에 따라 이 규칙의 적용범위에 대한 철학적 논쟁이 이어진다. 조건문이 셋 이상 연쇄될 때는 각 연결고리마다 별도로 가언삼단논법을 적용해야 하며, 중간의 한 연결고리라도 성립하지 않으면 전체 연쇄가 무너진다는 점도 유의할 만하다.
주의할 점
가언삼단논법은 조건문 두 개를 연결하는 것으로, 하나의 조건문에서 곧바로 결론을 이끌어내는 전건 긍정식이나 후건 부정식과는 전제의 개수와 구조가 다르다는 점을 구분해야 한다.
가언삼단논법은 조건문 두 개를 연결하는 것으로, 하나의 조건문에서 곧바로 결론을 이끌어내는 전건 긍정식이나 후건 부정식과는 전제의 개수와 구조가 다르다는 점을 구분해야 하며, 조건문의 연쇄가 길어질수록 각 연결 고리의 타당성을 개별적으로 확인하는 절차가 중요해진다.