LTCT KOREA해외 학술 연구
세계 논리학의 지도 · 제16회
그리스 국기그리스편 01 · 삼단논법과 필연적 귀결

두 전제에서 결론이
반드시 따라오려면 무엇이 필요할까요?

아리스토텔레스의 『분석론 전서』 1권을 따라 전제와 항을 구분하고, 중항의 위치가 만드는 세 도형과 전환·반례를 이용해 어떤 결론이 필연적으로 따라오는지 살펴봅니다.

Aristotle · Prior Analytics · 기원전 4세기

세 항이 적힌 나무 패와 명제 띠, 밀랍판을 오른쪽에 배치한 제목 삽화
제목 그림 · 세 항과 명제 띠, 밀랍판을 독립 구도로 표현한 편집부 제작 삽화. 원문 도판이나 본문 도식을 복제하지 않았습니다.
읽기 안내 · 이 글은 MIT Internet Classics Archive가 공개한 A. J. Jenkinson 영어 번역의 1권 전체와 2권 차례를 확인해 구성한 학습용 가상 대담입니다. 실제 인터뷰나 아리스토텔레스의 직접 발언이 아닙니다. 이 글의 국가 표지는 현대 국적을 소급한 것이 아니라 고대 그리스어로 전개된 아테네 학문 활동과 리케이온 연구 전통을 가리킵니다.

Aristotle, Prior Analytics

고대 그리스어 원전, 통상 기원전 4세기 저작으로 분류. A. J. Jenkinson 영어 번역. DOI 없음.

1권 1장의 전제·항·삼단논법 정의, 2–3장의 전환, 4–7장의 세 도형과 환원, 이어지는 양상 논의를 확인했습니다. 이 글은 1권의 정언 삼단논법 구조에 초점을 둡니다.

PART I · 전제와 항, 필연적 귀결

문장의 참·거짓만큼 항의 배치와 양을 살핀다

모든·어떤·어떤 것도 아닌이라는 양을 구분하고, 두 전제가 하나의 중항을 공유하는지 확인합니다.

01
사회자

『분석론 전서』는 어떤 종류의 추론을 분석하나요?

연 연구자

1권은 어떤 전제들이 주어졌을 때 다른 명제가 필연적으로 따라오는 구조를 다룹니다. 특히 범주적 문장에 나타나는 항과 양을 나누고, 두 전제가 공유하는 중항의 위치에 따라 삼단논법을 체계적으로 분류합니다.

목표는 설득력 있는 말투를 모으는 데 있지 않습니다. 전제가 일정한 관계를 이루면 결론이 필연적으로 따라오는 경우와, 그럴듯해 보여도 보장이 없는 경우를 구별하는 것입니다.

생각그림 01 · 추론을 보는 두 층내용 · 형식
문장의 내용사람, 동물, 별처럼 무엇에 관해 말하는지 봅니다.
논리적 형식모든·어떤·어떤 것도 아닌과 항의 배치를 봅니다.
같은 형식은 서로 다른 내용에 적용될 수 있으므로, 필연적 귀결의 조건을 따로 연구할 수 있습니다.
원문 근거 · 제1권 1장.
02
사회자

전제와 항은 어떻게 구분하나요?

연 연구자

전제는 어떤 것이 다른 것에 속하거나 속하지 않는다고 말하는 문장입니다. 보편·특수·무규정의 양과 긍정·부정의 질을 구분합니다. 항은 전제에서 술어가 되거나 그 술어가 적용되는 대상으로 놓이는 성분입니다.

삼단논법을 검사할 때는 완성된 문장 두 개만 바라보지 않고, 그 안의 세 항이 어느 자리에 놓였는지 분해합니다.

생각그림 02 · 문장과 부품전제 · 항
전제“모든 B는 A다”처럼 항 사이의 포함이나 배제를 주장합니다.
항 A결론에서 술어가 되는 큰 항
항 B두 전제를 잇는 중항
항 C결론에서 주어가 되는 작은 항
A·B·C 표기는 원전의 관계를 읽기 위한 중립적 자리표시자입니다.
원문 근거 · 제1권 1장.
03
사회자

아리스토텔레스가 말한 삼단논법의 핵심은 무엇인가요?

연 연구자

어떤 것들이 놓였을 때, 놓인 것들과 다른 어떤 것이 그것들이 그러하기 때문에 필연적으로 따라오는 논증입니다. 결론을 얻기 위해 바깥 항을 새로 끌어오지 않고, 주어진 전제의 관계만으로 충분해야 합니다.

여기서 “필연적”은 결론이 언제나 실제로 참이라는 뜻이 아닙니다. 전제들이 참이라면 그 형식에서 결론이 거짓일 수 없다는 귀결 관계를 말합니다.

생각그림 03 · 필연적 귀결의 조건전제에서 결론으로
전제 1모든 B는 A
전제 2모든 C는 B
공유 항B가 두 문장을 연결
결론모든 C는 A
결론에는 새 항이 나타나지 않습니다. 중항 B는 전제에서 연결을 만들고 결론에서는 사라집니다.
원문 근거 · 제1권 1장과 4장.
04
사회자

두 전제만 보고 타당한 형식을 고를 수 있을까요?

연 연구자

아래 첫 사례는 첫째 도형의 대표 형식입니다. 두 전제가 중항 B를 통해 C를 A 안에 넣으므로 결론이 따라옵니다. 다른 버튼은 중항 연결이 끊기거나, 겉보기 포함만으로 결론을 넓힌 경우를 보여 줍니다.

단어의 친숙함 대신 항의 위치를 비교해 보세요.

생각그림 04 · 실험 1 — 삼단논법 판별조작 가능
실험은 원전의 항 배치를 현대 한국어로 단순화한 것입니다. 실제 대상의 참·거짓을 판정하지 않습니다.
원문 근거 · 제1권 4장. 실험은 편집부 재구성.
PART II · 세 도형과 전환

중항의 위치가 결론의 가능한 방향을 바꾼다

첫째 도형의 완전한 형식에서 출발해 둘째·셋째 도형을 전환과 환원으로 비교합니다.

05
사회자

“모든”과 “어떤”을 구분하지 않으면 어떤 문제가 생기나요?

연 연구자

보편 긍정은 한 항의 모든 대상이 다른 항에 속한다고 말합니다. 특수 긍정은 적어도 어떤 대상이 속한다고 말합니다. 보편 전제에서 특수 결론을 얻을 때는 대상이 실제로 존재한다는 전제가 필요한지까지 살펴야 합니다.

원전의 체계는 보편·특수·부정의 조합에 따라 가능한 결론을 다르게 분류합니다. 양을 지우면 강한 전제와 약한 전제를 구별할 수 없습니다.

생각그림 05 · 양의 네 자리보편 · 특수 · 긍정 · 부정
긍정부정
보편모든 B는 A다어떤 B도 A가 아니다
특수어떤 B는 A다어떤 B는 A가 아니다
네 형식은 서로 바꾸어 쓸 수 없습니다. 전환 가능성도 각 칸에서 다릅니다.
원문 근거 · 제1권 1–3장.
06
사회자

왜 어떤 삼단논법은 ‘완전하다’고 부르나요?

연 연구자

아리스토텔레스는 주어진 전제만으로 결론의 필연성이 바로 드러나 더 보탤 것이 없는 경우를 완전한 삼단논법이라 부릅니다. 첫째 도형의 기본 형식들이 이 역할을 합니다.

불완전한 형식이 틀렸다는 뜻은 아닙니다. 전환이나 환원 같은 추가 조작을 통해 첫째 도형의 완전한 형식으로 연결해 필연성을 드러낼 수 있습니다.

생각그림 06 · 완전과 불완전보임의 방식
완전한 형식전제 배치만으로 결론의 필연성이 바로 드러납니다.
불완전한 형식전환·환원 등의 단계로 이미 확립한 형식에 연결합니다.
구분은 결론의 참값보다 필연성을 드러내는 증명 방식에 관한 것입니다.
원문 근거 · 제1권 1장과 4–7장.
07
사회자

첫째·둘째·셋째 도형은 무엇으로 구분하나요?

연 연구자

세 도형은 중항이 두 전제에서 어느 자리에 놓이는지에 따라 갈립니다. 첫째 도형에서는 중항이 한 전제의 주어, 다른 전제의 술어 역할을 하며 큰 항과 작은 항을 사슬처럼 잇습니다. 둘째에서는 중항이 두 전제의 술어, 셋째에서는 두 전제의 주어로 놓입니다.

도형은 문장 내용을 분류하는 이름이 아니라 항 배치의 구조입니다.

생각그림 07 · 중항 B의 세 자리세 도형
첫째 도형B–A / C–B
둘째 도형A–B / C–B
셋째 도형B–A / B–C
슬래시 앞뒤 표기는 두 전제에서 중항이 놓인 자리를 비교하기 위한 편집부 축약입니다.
원문 근거 · 제1권 4–6장.
08
사회자

“모든 B는 A”를 “모든 A는 B”로 바꾸어도 되나요?

연 연구자

그대로는 안 됩니다. 보편 부정은 단순 전환할 수 있고, 특수 긍정도 전환할 수 있지만, 보편 긍정을 특수 긍정으로 전환할 때에는 원래 주어에 해당하는 대상이 존재한다는 조건을 확인해야 합니다. 특수 부정은 단순 전환이 성립하지 않습니다.

전환 규칙을 잘못 쓰면 둘째·셋째 도형을 첫째 도형으로 환원하는 과정도 무너집니다. 아래에서 세 사례를 비교해 보세요.

생각그림 08 · 실험 2 — 전환의 범위조작 가능
전환은 주어와 술어를 바꾸는 조작입니다. 양과 질에 따라 보존되는 강도가 다릅니다.
원문 근거 · 제1권 2–3장. 실험은 편집부 재구성.
09
사회자

나머지 두 도형의 결론은 어떻게 정당화하나요?

연 연구자

둘째 도형의 한 예를 끝까지 보겠습니다. A는 파란 카드, B는 빨간 카드, C는 원형 카드로 정하고, 전제 ① “어떤 파란 카드도 빨간 카드가 아니다”, 전제 ② “모든 원형 카드는 빨간 카드다”를 둡니다. 카드가 실제로 이런지의 사실 확인은 잠시 분리하고 두 전제가 참이라고 가정합니다.

처음에는 중항 B가 두 문장에서 모두 술어입니다. ①은 보편 부정이므로 “어떤 빨간 카드도 파란 카드가 아니다”로 전환할 수 있습니다. A와 B가 겹치지 않는다는 관계는 두 방향에서 같기 때문입니다. 이제 중항 B는 첫 전제의 주어, 둘째 전제의 술어가 되어 첫째 도형입니다.

임의의 원형 카드를 고르면 ②에 의해 빨간 카드이고, 전환한 ①에 의해 파란 카드가 아닙니다. 따라서 “어떤 원형 카드도 파란 카드가 아니다”가 따라옵니다. 이 결론은 보편 부정이므로 카드가 하나 이상 존재한다는 전제를 따로 쓰지 않았습니다.

셋째 도형에서 보편 긍정을 특수 긍정으로 전환하는 경우에는 존재 조건을 살펴야 합니다. 예를 들어 “모든 B는 A”에서 “어떤 A는 B”를 얻으려면 B가 적어도 하나 있다는 조건이 필요합니다. 아래의 환원에는 그런 강도 변화가 없습니다.

생각그림 09 · 둘째 도형을 첫째 도형으로 환원하기추론 따라가기
  1. 둘째 도형의 전제 ①: 어떤 A도 B가 아니다.
  2. ①을 단순 전환: 어떤 B도 A가 아니다.
  3. 전제 ②는 유지: 모든 C는 B다.
  4. 첫째 도형의 결론: 어떤 C도 A가 아니다.
B · 빨간 카드
C · 원형 카드
A · 파란 카드

C는 B 안에 있고, A는 B와 겹치지 않습니다. 따라서 C와 A도 겹치지 않습니다. 영역 그림은 존재하는 카드 수를 뜻하지 않습니다.

『분석론 전서』 1권 5장의 환원 방식을 카드 사례로 재구성했습니다. 집합 영역은 현대적 설명 도구입니다.
원문 근거 · 제1권 5–7장.
PART III · 반례와 적용 범위

형식이 보장하는 것과 전제가 맡는 몫을 나눈다

타당한 형식은 참인 전제에서 거짓 결론이 나오는 일을 막지만, 전제의 사실성을 대신 확인하지는 않습니다.

10
사회자

타당한 삼단논법이면 결론이 현실에서도 참인가요?

연 연구자

전제들이 실제로 참이고 형식이 타당하다면 결론은 참이어야 합니다. 형식은 전제의 사실성을 보증하지 않습니다. “모든 돌은 새다”처럼 거짓 전제를 넣어도 항 배치는 타당할 수 있습니다.

반대로 전제와 결론이 우연히 모두 참이어도 형식이 타당하지 않을 수 있습니다. 논리 검사는 사실 확인과 다른 질문을 맡습니다.

생각그림 10 · 두 번의 검사사실성 · 타당성
전제 검사각 전제가 대상 세계에서 참인지 자료와 관찰로 확인합니다.
형식 검사그 전제들이 참일 때 결론이 거짓일 수 없는지 확인합니다.
좋은 논증에는 두 검사가 모두 필요합니다. 어느 하나가 다른 하나를 대신하지 않습니다.
원문 근거 · 제1권의 필연적 귀결 정의. 두 검사 표현은 편집부 해설.
11
사회자

성립하지 않는 형식을 어떻게 빠르게 드러낼 수 있나요?

연 연구자

전제는 참으로 만들면서 결론만 거짓이 되도록 A·B·C에 익숙한 범주를 넣습니다. 그런 사례가 하나라도 있으면 그 형식은 모든 경우에 결론을 보장하지 못합니다.

반례는 결론의 주제가 마음에 들지 않는다는 반박이 아닙니다. 같은 형식의 보편적 보장에 틈이 있음을 보여 주는 구조적 검사입니다.

생각그림 11 · 반례 설계전제 참 · 결론 거짓
형식 고정항의 자리만 남김
대상 선택포함·배제 관계를 정함
전제 확인두 문장을 참으로 만듦
결론 검사거짓이면 반례 완성
한 사례로 보편적 타당성을 깨뜨릴 수 있지만, 여러 성공 사례만으로 타당성을 증명할 수는 없습니다.
원문 근거 · 제1권 4–6장의 불성립 형식에 대한 항 선택.
12
사회자

같은 내용도 형식에 따라 결과가 달라지는지 확인해 볼까요?

연 연구자

아래 버튼은 타당한 포함 사슬, 중항이 한쪽으로만 넓어지는 잘못된 추론, 특수 전제에서 보편 결론을 끌어낸 경우를 비교합니다. 결과 설명에서 어느 전제가 충분하지 않은지 확인해 보세요.

사례는 원전의 방법을 본뜬 편집부 예이며, 원문 문장을 번역한 것이 아닙니다.

생각그림 12 · 실험 3 — 반례 찾기조작 가능
반례 버튼은 항의 내용보다 전제와 결론 사이의 보장 관계를 살피게 합니다.
원문 근거 · 제1권 4–6장의 반례 방식. 구체 사례는 편집부 재구성.
13
사회자

이 체계가 오늘날의 논리학 전체를 이미 담고 있나요?

연 연구자

정언 삼단논법의 구조를 정교하게 분류했지만, 관계 술어가 여러 자리를 갖는 문장, 양화사가 겹치는 문장, 빈 범주의 처리, 현대적 형식 의미론의 모든 장치를 담지는 않습니다. 원문 뒤쪽에는 양상 명제도 다루지만 오늘의 술어논리와 같은 체계는 아닙니다.

가치는 오늘의 체계를 미리 완성한 데 있지 않습니다. 항의 배치와 양을 기준으로 귀결을 체계적으로 분류하고, 환원과 반례를 증명 도구로 함께 쓴 데 있습니다.

생각그림 13 · 강점과 경계역사적 성취
잘 다루는 질문추가 형식이 필요한 질문
범주 사이의 보편·특수 포함과 배제여러 자리 관계와 중첩된 양화
세 항의 중항 배치와 결론빈 범주·동일성·현대 의미론의 세부
전환·환원·반례형식 언어 전체의 완전성·모형론
오른쪽 열은 적용 범위를 밝히기 위한 현대적 비교입니다.
원문 근거 · 제1권의 정언·양상 삼단논법 범위. 현대 비교는 편집부 해설.
14
사회자

두 전제에서 결론이 반드시 따라오려면 무엇이 필요할까요?

연 연구자

두 전제가 세 항을 올바르게 공유하고, 보편·특수와 긍정·부정의 양과 질이 허용된 형식을 이루어야 합니다. 첫째 도형의 기본 형식은 이 필연성을 바로 드러내며, 다른 형식은 전환과 환원으로 연결하거나 반례로 배제할 수 있습니다.

현실의 좋은 논증에는 참인 전제도 필요합니다. 항의 배치가 타당성을 맡고, 조사와 관찰이 전제의 사실성을 맡습니다. 두 역할을 나누면 그럴듯한 문장과 필연적 귀결을 더 정확히 구별할 수 있습니다.

생각그림 14 · 필연적 귀결의 네 조건항 · 양 · 연결 · 전제
세 항결론에 필요한 큰 항·작은 항·중항
양과 질모든·어떤·부정의 정확한 강도
중항 연결두 전제를 실제로 잇는 공통 항
사실성현실 적용에서는 전제도 따로 확인
형식과 사실성을 나누어 검사하면 귀결의 강도를 더 정확히 말할 수 있습니다.
생각그림 15 · 생활 논증 점검표적용
항을 표시하기같은 말이 같은 뜻으로 쓰였나요?
양을 보존하기“어떤”을 “모든”으로 키우지 않았나요?
반례 찾기전제는 참, 결론은 거짓인 사례가 있나요?
근거 확인하기타당성과 별개로 전제가 사실인가요?
네 질문은 삼단논법 형식을 일상 판단에 옮긴 편집부 점검표입니다.
원문 근거 · 제1권 1–7장의 정의·세 도형·환원·반례.

자료와 출처

  1. 주된 원전 · Aristotle, Prior Analytics, Book I–II, trans. A. J. Jenkinson. MIT Internet Classics Archive 전체 목차와 번역를 확인했습니다.
  2. 집중 확인 범위 · Book I의 1–7장 정의·전환·세 도형과 이어지는 양상 논의를 확인했습니다. 이 글의 중심 설명은 1–7장에 둡니다.

번역문의 긴 문장을 직접 옮기지 않고 논증 구조를 한국어로 풀어 썼습니다. 고대 그리스 전통과 아테네 학문 맥락을 현대 국적과 동일시하지 않았습니다. 세 실험·현대 비교·생활 점검표는 편집부 재구성으로 표시했으며 인용 수는 사용하지 않았습니다.