삼단논법 (Syllogism)
쉽게 풀면
삼단논법은 '모든 사람은 죽는다. 소크라테스는 사람이다. 그러므로 소크라테스는 죽는다'처럼, 두 전제와 하나의 결론이라는 세 문장으로 이루어진 가장 대표적인 연역 논증 형식이다. 두 전제 모두에 등장하는 '사람'이라는 매개념이 소크라테스와 죽음을 논리적으로 이어주는 역할을 한다.
왜 중요한가
두 개의 전제로부터 하나의 결론을 이끌어내는 아리스토텔레스의 정언삼단논법으로, 중명사를 매개로 대전제와 소전제를 연결해 결론을 도출하는 형식논리학의 고전적 추론틀이다.
핵심 정리
- 정언삼단논법은 세 개의 정언 명제로 이루어집니다. 대전제(결론의 술어 P와 매개념 M을 잇는 명제), 소전제(결론의 주어 S와 M을 잇는 명제), 결론(S와 P를 잇는 명제)입니다. 매개념 M은 결론에는 나타나지 않습니다.
- 정언 명제는 네 가지 꼴입니다. A: 모든 S는 P이다 / E: 어떤 S도 P가 아니다 / I: 어떤 S는 P이다 / O: 어떤 S는 P가 아니다.
- 매개념이 두 전제에서 놓이는 위치에 따라 격이 네 가지, 세 명제의 꼴 조합(식)이 4×4×4=64가지이므로 형태는 모두 256가지입니다.
- 이 가운데 타당한 것은 전통 논리(모든 항에 대응하는 대상이 있다고 전제)에서 24개이고, 그 전제 없이도 타당한 것은 15개입니다. 이 숫자는 256가지를 모두 따져 확인한 값입니다.
- 아리스토텔레스는 『분석론 전서』에서 세 격을 다루었고, 네 번째 격은 후대 전통에서 더해졌습니다. 중세에는 타당한 식에 바르바라, 켈라렌트 같은 이름을 붙여 외웠습니다.
예시로 보기
| 구분 | 예(가상의 예) | 판정 |
|---|---|---|
| 타당한 식(바르바라, AAA-1격) | 모든 논문은 참고 문헌을 가진다. 이 글은 논문이다. 그러므로 이 글은 참고 문헌을 가진다. | 타당. 전제가 참이면 결론은 반드시 참 |
| 부당한 식(매개념 부주연) | 모든 개는 동물이다. 모든 고양이는 동물이다. 그러므로 모든 개는 고양이다. | 부당. 두 전제가 참이어도 결론이 거짓일 수 있음 |
| 존재 함축이 필요한 식(다랍티) | 모든 유니콘은 뿔을 가진다. 모든 유니콘은 말과 닮았다. 그러므로 어떤 말과 닮은 것은 뿔을 가진다. | 유니콘이 있다고 전제할 때만 타당(전통 논리). 현대 해석에서는 부당 |
- 타당성은 형식의 성질이고 참은 문장의 내용의 성질입니다. 거짓 전제로도 타당한 논증을 만들 수 있고, 참 전제와 참 결론이 있어도 부당한 논증이 있습니다.
자주 하는 오해
- 모든 연역이 삼단논법은 아닙니다. 조건문이나 선언문을 다루는 추론, 관계(“A는 B보다 크다”)를 다루는 추론은 정언삼단논법의 틀에 들어가지 않습니다. 현대 술어논리가 이를 포괄합니다.
- ‘삼단’은 세 문장을 뜻하지, 세 단계의 추론이 아닙니다. 두 전제에서 한 번에 결론을 이끄는 한 단계 추론입니다.
- 타당한 논증이 곧 참인 논증은 아닙니다. 타당하고 전제까지 모두 참이어야 ‘건전한’ 논증입니다.
- 법학의 ‘법적 삼단논법’(대전제=법규범, 소전제=사실, 결론=판결)은 이 형식을 응용한 틀이며, 실제 법 판단이 이 틀 하나로 이루어진다는 뜻은 아닙니다.
논문에서는 이렇게 쓰입니다
실제 논문에서
국내 학술지 논문에서 이 용어가 쓰인 문장을 그대로 옮겼습니다. 제목·학술지·연도와 원문 링크를 함께 적었습니다.
“이러한 법적 삼단논법은 논리학의 삼단논법을 법학에 응용한 것이다.”
쿤(T. Kuhn)의 과학적 방법론이 법학 방법론에 주는 의미 ―사회변화와 법적 삼단논법의 재구성―, 법철학연구, 2019 · KCI 한국학술지인용색인 · 원문 보기 ↗
“이때의 분류에서가설법은 정언적 삼단논법 제1격의 소전제를 결과로 도출하는 논증으로 정의된다.”
가추법과 디자인 씽킹 - 창의적 발상의 이론과 실제 -, 기호학 연구, 2014 · KCI 한국학술지인용색인 · 원문 보기 ↗
예시 문장
아래는 용어의 쓰임을 보여 주려고 만든 예시로, 실제 논문에서 가져온 문장이 아닙니다.
아리스토텔레스가 전제와 결론에 등장하는 명제들의 배열 방식(격)과 양(전칭/특칭)·질(긍정/부정)의 조합(식)에 따라 삼단논법을 체계적으로 분류한 것이 서양 형식논리학의 출발점이 되었음을 설명한다.
자연언어 논증을 형식화하여 논리적 타당성을 점검하는 절차를 예시한다.
조금 더 깊게 보면
삼단논법의 타당성은 명제의 질(긍정·부정)과 양(전칭·특칭), 격의 배열에 따라 엄격히 결정되므로, 형태가 삼단논법처럼 보여도 이 형식적 조건을 만족하지 못하면 부당한 논증이 된다.
아리스토텔레스가 세 격을 중심으로 체계화한 삼단논법은 이후 네 번째 격까지 더해져, 매개념의 위치(격 4가지)와 각 명제의 양·질 조합(식 64가지)에 따라 이론상 256가지 형태로 정리되며, 그중 전통 논리에서 타당하다고 인정되는 것은 24개(현대 해석으로 존재 함축 없이 타당한 것은 15개)다.
이 분류 체계는 이후 중세 논리학자들이 각 타당한 식에 라틴어 기억법 이름(바르바라, 켈라렌트 등)을 붙여 암기하기 쉽게 정리하면서 논리학 교육의 표준으로 오랫동안 자리 잡았다.
주의할 점
삼단논법은 술어논리의 한 특수한 하위 형태로 볼 수 있으며, 현대 술어논리는 삼단논법이 다루지 못하는 훨씬 복잡한 추론까지 다룰 수 있는 더 일반적인 체계라는 점에 유의해야 한다.
삼단논법은 술어논리의 한 특수한 하위 형태로 볼 수 있으며, 현대 술어논리는 삼단논법이 다루지 못하는 훨씬 복잡한 추론(다중 양화, 관계 명제 등)까지 다룰 수 있는 더 일반적인 체계라는 점에 유의해야 한다. 정언삼단논법은 '모든', '어떤', '어떤도 ~아니다' 같은 정언 명제만을 다루므로, 조건문이나 선언문으로 이루어진 가언삼단논법·선언삼단논법과는 다루는 명제의 종류 자체가 다르다는 점도 구별해야 한다.
헷갈리기 쉬운 용어
| 용어 | 무엇인가 | 삼단논법과의 관계 |
|---|---|---|
| 가언삼단논법 | “P이면 Q, Q이면 R, 그러므로 P이면 R” 꼴 | 조건문을 다루는 별개의 논증 형식 |
| 선언삼단논법 | “P이거나 Q이다, P가 아니다, 그러므로 Q” 꼴 | 선언문을 다루는 별개의 논증 형식 |
| 귀류논증 | 가정에서 모순을 이끌어 가정을 거부하는 논증 | 논증 전략이며 정언삼단논법의 한 격식이 아님 |
참고 문헌
- Aristotle. (1989). Prior Analytics (R. Smith, Trans.). Hackett.
- Łukasiewicz, J. (1951). Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press.
- Kneale, W., & Kneale, M. (1962). The Development of Logic. Clarendon Press.
표의 기준값은 위 문헌에 근거한 관례이며, 분야·학술지마다 다른 기준을 쓸 수 있습니다.