문장의 참·거짓만큼 항의 배치와 양을 살핀다
모든·어떤·어떤 것도 아닌이라는 양을 구분하고, 두 전제가 하나의 중항을 공유하는지 확인합니다.
『분석론 전서』는 어떤 종류의 추론을 분석하나요?
1권은 어떤 전제들이 주어졌을 때 다른 명제가 필연적으로 따라오는 구조를 다룹니다. 특히 범주적 문장에 나타나는 항과 양을 나누고, 두 전제가 공유하는 중항의 위치에 따라 삼단논법을 체계적으로 분류합니다.
목표는 설득력 있는 말투를 모으는 데 있지 않습니다. 전제가 일정한 관계를 이루면 결론이 필연적으로 따라오는 경우와, 그럴듯해 보여도 보장이 없는 경우를 구별하는 것입니다.
전제와 항은 어떻게 구분하나요?
전제는 어떤 것이 다른 것에 속하거나 속하지 않는다고 말하는 문장입니다. 보편·특수·무규정의 양과 긍정·부정의 질을 구분합니다. 항은 전제에서 술어가 되거나 그 술어가 적용되는 대상으로 놓이는 성분입니다.
삼단논법을 검사할 때는 완성된 문장 두 개만 바라보지 않고, 그 안의 세 항이 어느 자리에 놓였는지 분해합니다.
아리스토텔레스가 말한 삼단논법의 핵심은 무엇인가요?
어떤 것들이 놓였을 때, 놓인 것들과 다른 어떤 것이 그것들이 그러하기 때문에 필연적으로 따라오는 논증입니다. 결론을 얻기 위해 바깥 항을 새로 끌어오지 않고, 주어진 전제의 관계만으로 충분해야 합니다.
여기서 “필연적”은 결론이 언제나 실제로 참이라는 뜻이 아닙니다. 전제들이 참이라면 그 형식에서 결론이 거짓일 수 없다는 귀결 관계를 말합니다.
두 전제만 보고 타당한 형식을 고를 수 있을까요?
아래 첫 사례는 첫째 도형의 대표 형식입니다. 두 전제가 중항 B를 통해 C를 A 안에 넣으므로 결론이 따라옵니다. 다른 버튼은 중항 연결이 끊기거나, 겉보기 포함만으로 결론을 넓힌 경우를 보여 줍니다.
단어의 친숙함 대신 항의 위치를 비교해 보세요.
중항의 위치가 결론의 가능한 방향을 바꾼다
첫째 도형의 완전한 형식에서 출발해 둘째·셋째 도형을 전환과 환원으로 비교합니다.
“모든”과 “어떤”을 구분하지 않으면 어떤 문제가 생기나요?
보편 긍정은 한 항의 모든 대상이 다른 항에 속한다고 말합니다. 특수 긍정은 적어도 어떤 대상이 속한다고 말합니다. 보편 전제에서 특수 결론을 얻을 때는 대상이 실제로 존재한다는 전제가 필요한지까지 살펴야 합니다.
원전의 체계는 보편·특수·부정의 조합에 따라 가능한 결론을 다르게 분류합니다. 양을 지우면 강한 전제와 약한 전제를 구별할 수 없습니다.
| 긍정 | 부정 | |
|---|---|---|
| 보편 | 모든 B는 A다 | 어떤 B도 A가 아니다 |
| 특수 | 어떤 B는 A다 | 어떤 B는 A가 아니다 |
왜 어떤 삼단논법은 ‘완전하다’고 부르나요?
아리스토텔레스는 주어진 전제만으로 결론의 필연성이 바로 드러나 더 보탤 것이 없는 경우를 완전한 삼단논법이라 부릅니다. 첫째 도형의 기본 형식들이 이 역할을 합니다.
불완전한 형식이 틀렸다는 뜻은 아닙니다. 전환이나 환원 같은 추가 조작을 통해 첫째 도형의 완전한 형식으로 연결해 필연성을 드러낼 수 있습니다.
첫째·둘째·셋째 도형은 무엇으로 구분하나요?
세 도형은 중항이 두 전제에서 어느 자리에 놓이는지에 따라 갈립니다. 첫째 도형에서는 중항이 한 전제의 주어, 다른 전제의 술어 역할을 하며 큰 항과 작은 항을 사슬처럼 잇습니다. 둘째에서는 중항이 두 전제의 술어, 셋째에서는 두 전제의 주어로 놓입니다.
도형은 문장 내용을 분류하는 이름이 아니라 항 배치의 구조입니다.
“모든 B는 A”를 “모든 A는 B”로 바꾸어도 되나요?
그대로는 안 됩니다. 보편 부정은 단순 전환할 수 있고, 특수 긍정도 전환할 수 있지만, 보편 긍정을 특수 긍정으로 전환할 때에는 원래 주어에 해당하는 대상이 존재한다는 조건을 확인해야 합니다. 특수 부정은 단순 전환이 성립하지 않습니다.
전환 규칙을 잘못 쓰면 둘째·셋째 도형을 첫째 도형으로 환원하는 과정도 무너집니다. 아래에서 세 사례를 비교해 보세요.
나머지 두 도형의 결론은 어떻게 정당화하나요?
둘째 도형의 한 예를 끝까지 보겠습니다. A는 파란 카드, B는 빨간 카드, C는 원형 카드로 정하고, 전제 ① “어떤 파란 카드도 빨간 카드가 아니다”, 전제 ② “모든 원형 카드는 빨간 카드다”를 둡니다. 카드가 실제로 이런지의 사실 확인은 잠시 분리하고 두 전제가 참이라고 가정합니다.
처음에는 중항 B가 두 문장에서 모두 술어입니다. ①은 보편 부정이므로 “어떤 빨간 카드도 파란 카드가 아니다”로 전환할 수 있습니다. A와 B가 겹치지 않는다는 관계는 두 방향에서 같기 때문입니다. 이제 중항 B는 첫 전제의 주어, 둘째 전제의 술어가 되어 첫째 도형입니다.
임의의 원형 카드를 고르면 ②에 의해 빨간 카드이고, 전환한 ①에 의해 파란 카드가 아닙니다. 따라서 “어떤 원형 카드도 파란 카드가 아니다”가 따라옵니다. 이 결론은 보편 부정이므로 카드가 하나 이상 존재한다는 전제를 따로 쓰지 않았습니다.
셋째 도형에서 보편 긍정을 특수 긍정으로 전환하는 경우에는 존재 조건을 살펴야 합니다. 예를 들어 “모든 B는 A”에서 “어떤 A는 B”를 얻으려면 B가 적어도 하나 있다는 조건이 필요합니다. 아래의 환원에는 그런 강도 변화가 없습니다.
- 둘째 도형의 전제 ①: 어떤 A도 B가 아니다.
- ①을 단순 전환: 어떤 B도 A가 아니다.
- 전제 ②는 유지: 모든 C는 B다.
- 첫째 도형의 결론: 어떤 C도 A가 아니다.
C는 B 안에 있고, A는 B와 겹치지 않습니다. 따라서 C와 A도 겹치지 않습니다. 영역 그림은 존재하는 카드 수를 뜻하지 않습니다.
형식이 보장하는 것과 전제가 맡는 몫을 나눈다
타당한 형식은 참인 전제에서 거짓 결론이 나오는 일을 막지만, 전제의 사실성을 대신 확인하지는 않습니다.
타당한 삼단논법이면 결론이 현실에서도 참인가요?
전제들이 실제로 참이고 형식이 타당하다면 결론은 참이어야 합니다. 형식은 전제의 사실성을 보증하지 않습니다. “모든 돌은 새다”처럼 거짓 전제를 넣어도 항 배치는 타당할 수 있습니다.
반대로 전제와 결론이 우연히 모두 참이어도 형식이 타당하지 않을 수 있습니다. 논리 검사는 사실 확인과 다른 질문을 맡습니다.
성립하지 않는 형식을 어떻게 빠르게 드러낼 수 있나요?
전제는 참으로 만들면서 결론만 거짓이 되도록 A·B·C에 익숙한 범주를 넣습니다. 그런 사례가 하나라도 있으면 그 형식은 모든 경우에 결론을 보장하지 못합니다.
반례는 결론의 주제가 마음에 들지 않는다는 반박이 아닙니다. 같은 형식의 보편적 보장에 틈이 있음을 보여 주는 구조적 검사입니다.
같은 내용도 형식에 따라 결과가 달라지는지 확인해 볼까요?
아래 버튼은 타당한 포함 사슬, 중항이 한쪽으로만 넓어지는 잘못된 추론, 특수 전제에서 보편 결론을 끌어낸 경우를 비교합니다. 결과 설명에서 어느 전제가 충분하지 않은지 확인해 보세요.
사례는 원전의 방법을 본뜬 편집부 예이며, 원문 문장을 번역한 것이 아닙니다.
이 체계가 오늘날의 논리학 전체를 이미 담고 있나요?
정언 삼단논법의 구조를 정교하게 분류했지만, 관계 술어가 여러 자리를 갖는 문장, 양화사가 겹치는 문장, 빈 범주의 처리, 현대적 형식 의미론의 모든 장치를 담지는 않습니다. 원문 뒤쪽에는 양상 명제도 다루지만 오늘의 술어논리와 같은 체계는 아닙니다.
가치는 오늘의 체계를 미리 완성한 데 있지 않습니다. 항의 배치와 양을 기준으로 귀결을 체계적으로 분류하고, 환원과 반례를 증명 도구로 함께 쓴 데 있습니다.
| 잘 다루는 질문 | 추가 형식이 필요한 질문 |
|---|---|
| 범주 사이의 보편·특수 포함과 배제 | 여러 자리 관계와 중첩된 양화 |
| 세 항의 중항 배치와 결론 | 빈 범주·동일성·현대 의미론의 세부 |
| 전환·환원·반례 | 형식 언어 전체의 완전성·모형론 |
두 전제에서 결론이 반드시 따라오려면 무엇이 필요할까요?
두 전제가 세 항을 올바르게 공유하고, 보편·특수와 긍정·부정의 양과 질이 허용된 형식을 이루어야 합니다. 첫째 도형의 기본 형식은 이 필연성을 바로 드러내며, 다른 형식은 전환과 환원으로 연결하거나 반례로 배제할 수 있습니다.
현실의 좋은 논증에는 참인 전제도 필요합니다. 항의 배치가 타당성을 맡고, 조사와 관찰이 전제의 사실성을 맡습니다. 두 역할을 나누면 그럴듯한 문장과 필연적 귀결을 더 정확히 구별할 수 있습니다.
자료와 출처
- 주된 원전 · Aristotle, Prior Analytics, Book I–II, trans. A. J. Jenkinson. MIT Internet Classics Archive 전체 목차와 번역를 확인했습니다.
- 집중 확인 범위 · Book I의 1–7장 정의·전환·세 도형과 이어지는 양상 논의를 확인했습니다. 이 글의 중심 설명은 1–7장에 둡니다.
번역문의 긴 문장을 직접 옮기지 않고 논증 구조를 한국어로 풀어 썼습니다. 고대 그리스 전통과 아테네 학문 맥락을 현대 국적과 동일시하지 않았습니다. 세 실험·현대 비교·생활 점검표는 편집부 재구성으로 표시했으며 인용 수는 사용하지 않았습니다.

