아리스토텔레스식 삼단논법에서 항과 항의 결합에는 전칭긍정판단(全稱肯定判斷), 전칭부정판단, 특칭긍정판단, 특칭부정판단의 4가지가 있다. 이것들을 서양 중세의 전통에 따라 A판단, E판단, I판단, O판단이라 한다. 그리고 각각 ＜모든 A는 B이다＞ ＜모든 A는 B가 아니다＞ ＜어느 A는 B이다＞ ＜어느 A는 B가 아니다＞라는 꼴로 표현된다. 이처럼 삼단논법은 기본적으로 자연언어의 논리이다.

삼단논법은 중개념의 위치에 따라 ＜S는 P이다＞를 ＜S-P＞로 기호화하여 제1격은 ＜M-P, S-M, ∴S-P＞, 제2격은 ＜P-M, S-M, ∴S-P＞, 제3격은 ＜M-P, M-S, ∴S-P＞, 제4격은 ＜P-M, M-S, ∴S-P＞의 4가지 격으로 분류된다. 여기서 P·M·S는 각각 대개념·중개념·소개념을 나타낸다. 삼단논법을 구성하는 3가지 명제는 앞에서 거론한 4가지의 판단 중 어느 것이라도 좋으므로 모두 256가지의 삼단논법이 가능하다. 그러나 아리스토텔레스식 삼단논법에서는 24가지가 타당할 뿐이다.

아리스토텔레스 이후 이슬람 문화권과 서양 중세를 통해 삼단논법에 관해서는 많은 연구가 이루어졌는데, 그 후 19세기 말에 나타난 근대 논리학의 그늘에 가리워져, 삼단논법은 지난날의 매력을 잃었다. 그러나 최근에는 근대 논리학과 밀접한 관계를 가지고 삼단논법 연구가 다시 활발해지기 시작하였다. 인도에서도 아리스토텔레스식 삼단논법과는 다른 형태의 삼단논법이 오늘날까지 2000년에 걸쳐 연구되어 왔다.