전제 두 개와 결론 사이의 규칙까지 모두 문장으로 적으면 추론이 더 확실해질까요? 규칙을 전제로 하나 더 넣는 순간, 새 전제까지 결론에 연결할 또 다른 규칙이 필요하다고 요구할 수 있습니다. Lewis Carroll의 거북이는 이 요구를 반복해 아킬레우스를 끝없는 기록 작업에 빠뜨립니다.
연구를 읽는 두 가지 질문
거북이는 어떤 논증을 받아들였나?
Carroll의 대화는 유클리드의 한 논증을 빌립니다. A와 B라는 두 전제를 받아들이면서도 결론 Z를 받아들이지 않는 거북이에게 아킬레우스는 ‘A와 B가 참이면 Z도 참이어야 한다’는 조건문 C를 받아들이라고 합니다. 거북이는 C를 장부에 적지만 여전히 Z를 받아들이지 않습니다. [1]
왜 새 조건문이 계속 생기나?
아킬레우스가 A·B·C에서 Z로 가야 한다는 D를 추가하면, 거북이는 A·B·C·D에서 Z로 가야 한다는 다음 문장을 요구할 수 있습니다. 규칙의 내용을 전제로 적는 방식만 허용하면 어느 유한 단계에서도 그 전제들을 실제 결론으로 옮기는 적용이 남습니다. 퇴행은 전제가 부족해서가 아니라 전제와 규칙 사용을 같은 종류로 취급해서 생깁니다. [1]
고전의 질문을 수업에서는 어떻게 다룰까?
이 짧은 글은 추론이 심리적 강요인지, 형식적 허가인지, 규범적 의무인지 같은 후속 논의를 촉발했습니다. 수업에서는 거북이를 단순히 고집 센 인물로 몰기보다, 학생에게 ‘어떤 문장이 빠졌는가’와 ‘어떤 추론 행위를 아직 하지 않았는가’를 따로 묻게 할 수 있습니다. 규칙 설명과 규칙 적용의 구분이 보이면 퇴행의 구조가 드러납니다. [1]
출입 규칙을 장부에 끝없이 적는 로봇
LTCT가 만든 가상 사례입니다. 장부에 A ‘등록자는 입장 가능’, B ‘민지는 등록자’가 있습니다. 로봇에게 ‘민지는 입장 가능’ C를 기록하라고 하자, 로봇은 먼저 ‘A와 B가 참이면 C를 적어도 된다’는 규칙 R1을 장부에 추가해 달라고 합니다.
R1을 적어 주면 로봇은 ‘A·B·R1이 참이면 C를 적어도 된다’는 R2도 필요하다고 말합니다. 규칙을 문장 하나로 더 적을 때마다 그 문장들을 결론에 연결하는 새 적용이 남습니다. 장부가 길어져도 실제 추론은 시작되지 않습니다.
아래 활동에서 규칙 전제를 추가하면 장부 수는 늘지만 결론 상태는 그대로입니다. ‘적용’ 버튼을 눌러야 C가 도출됩니다. 이는 기계 증명기의 실제 구현이 아니라 전제와 추론 행위의 차이를 보여 주는 LTCT 모형입니다.
규칙을 전제로 추가하거나 실제 적용해 무한퇴행의 차이를 확인해 보세요
A와 B는 이미 참이라고 둡니다. 규칙 문장 추가와 규칙 적용을 구분하세요.
| 총 전제 | 추가 규칙 | 다음 요구 | 결론 C |
|---|---|---|---|
| 2 | 0 | R1 | 보류 |
0개의 규칙 문장을 더했지만 적용을 요구하는 R1이 남습니다.
어디까지 말할 수 있을까요?
- Carroll의 대화가 모든 추론 규칙의 정당화가 불가능하다고 증명하는 것은 아닙니다. 규칙을 오직 추가 전제로 받아들이는 방식의 퇴행을 드러냅니다.
- 현대 논리학의 다양한 해석과 규칙 정당화 논쟁을 이 짧은 글 하나로 끝낼 수 없습니다. 아래 활동은 형식 체계의 완전한 증명기가 아닙니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
연역 수업에서 ‘전제가 참이고 규칙이 맞다’는 문장과 실제로 그 규칙을 적용하는 추론 단계를 다른 색으로 표시하게 합니다. 규칙 설명을 또 하나의 전제로만 추가해 결론에 도달하려는 오류를 찾게 합니다.
학생이 규칙의 정당화를 묻는 경우와 지금 규칙을 사용할 수 있는지를 묻는 경우를 구분합니다. 전자는 메타 수준의 설명이 필요할 수 있지만, 후자는 추론 행위 자체를 수행해야 합니다.
그렇다면 추론 규칙은 근거 없이 그냥 믿어야 하나요?
생각을 비교할 해설 펼치기
그 결론은 너무 빠릅니다. 규칙의 타당성은 의미론, 증명론, 다른 메타 이론에서 정당화할 수 있습니다. Carroll의 핵심은 규칙의 내용을 전제 목록에 추가하는 것과 규칙을 사용해 추론하는 행위가 같지 않다는 점입니다. 정당화의 수준과 실제 적용의 수준을 구분해야 합니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
거북이가 아킬레우스에게 한 말 (What the Tortoise Said to Achilles)
Lewis Carroll (1895). Mind, IV(14), 278–280.
- 자료 성격
- 철학 학술지 고전 논문 · Oxford 서지 및 공개 원문 전사
- 읽은 버전
- 1895년 출판본 서지와 공개 전사 대조
- 확인 범위
- Oxford 서지와 1895년 3쪽 원문 전사 전체에서 A·B·Z 논증, 조건문 C 이후 계속되는 규칙 추가와 대화의 결말을 확인
- 원문 확인일
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준
같은 연구 흐름에서 이어 읽기
같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.