syllogism 삼단논법: 이미 확실하다고 알려진 두 가지 판단으로 하나의 판단이 사실임을 추론하는 논법. 전통적 형식논리학에서 대표적인 간접추리논법으로 대전제, 소전제, 결론으로 이루어져 있다. 예를 들면 '사람은 모두 죽는다'(대전제), '소크라테스는 사람이다'(소전제), 따라서 '소크라테스는 죽는다'(결론)으로 구성된다.
