삼단 논법이란 두 개의 전제와 하나의 결론, 즉 세 단계의 명제로 구성된 추리 방식을 말한다. 전제가 모두 참일 때 거짓인 결론이 도출될 수 없는 추론 형식을 타당하다고 한다. 논리학에 있어 타당성은 추론 절차의 올바름을 뜻하며, 이는 명제의 참ㆍ거짓과는 관계가 없다. 전통 논리학에서는 삼단 논법을 이루는 세 명제들의 성질과 관계를 분석하여 타당한 추리의 형식을 체계화하였다. 삼단 논법의 타당성을 결정하는 요소들 중 하나는 주연(周延)이다. 주연은 명제에서 주어 개념이나 술어 개념이 그 대상의 전부를 지칭하느냐 아니냐를 구별하기 위해서 사용하는 용어이다. 명제 안에서 어떤 개념이 그 대상의 전부를 지칭하도록 사용되었을 때 ‘주연되었다’고 하고 그 대상의 일부분만 지칭하도록 사용되었을 때 ‘부주연되었다’고..