두 원을 그린 뒤 아무 표시도 하지 않았습니다. 그 안에 아무것도 없다는 뜻일까요? 그림에서 ‘그리지 않음’이 무엇을 뜻하는지는 사용하는 규칙에 달려 있습니다. 보기 쉬운 그림이라도 그 규칙을 놓치면 문장에 없던 결론을 덧붙일 수 있습니다.
연구를 읽는 두 가지 질문
어떤 학술 자료인가요?
Shin, Lemon, Mumma의 스탠퍼드 철학백과 해설은 다이어그램을 사고의 도구로 연구하는 접근과, 정해진 문법·의미·변환 규칙을 갖춘 논리 체계로 연구하는 접근을 설명합니다. 이번 글은 2025년 가을 보존판의 개정 내용을 소개합니다. [1]
그림도 규칙을 갖춘 추론 언어가 될 수 있습니다
이 해설은 일부 형식적 다이어그램 체계에서 건전성과 완전성이 증명되었다는 연구를 소개합니다. 대략 건전성은 허용된 추론이 의미상 잘못된 결론을 만들지 않는다는 성질이고, 완전성은 해당 체계가 표현하는 범위의 의미상 따라오는 결론을 규칙으로 이끌 수 있다는 성질입니다. 이 결과를 모든 삽화나 모든 시각화의 정확성으로 확대할 수는 없습니다. [1]
‘모든 A는 B’에 A가 있다는 말도 들어 있을까요?
아래는 LTCT가 만든 집합 그림입니다. 이 예시에서는 빗금이 ‘그 영역에는 원소가 없음’, 점 x가 ‘그 영역에 적어도 하나가 있음’을 뜻합니다. 표시 없는 영역은 존재 여부를 아직 정하지 않은 것으로 읽습니다.
A에서 B 바깥 부분에만 빗금을 치면 ‘모든 A는 B’를 표현합니다. 하지만 A와 B가 겹친 부분에 누군가 있다고 말한 것은 아닙니다. 겹친 부분에 x를 추가하면 비로소 A이면서 B인 원소의 존재를 따로 주장하게 됩니다. 두 그림의 차이는 크기나 색의 느낌이 아니라 추가된 정보에 있습니다.
어디까지 말할 수 있을까요?
- 벤 다이어그램, 오일러 다이어그램, 다른 시각 언어의 규칙을 섞어 읽지 않아야 합니다. 같은 빈 공간이 체계마다 같은 뜻인 것은 아닙니다.
- 그림으로 표현할 수 있는 정보의 범위와 실제로 빨리·정확하게 읽을 수 있는지는 별도로 검토할 문제입니다.
원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]
교육 현장과 연결해 보면
생각그림 수업에서는 영역, 점, 선, 화살표가 무엇을 뜻하는지 명시할 수 있습니다. 풀이에서는 원래 조건이 허용한 정보와 학습자가 덧붙인 정보를 다른 색으로 표시해 볼 수 있습니다.
검토 과정에서 ‘그림이 보기 좋은가?’와 함께 ‘각 표시를 문장으로 되돌릴 수 있는가?’를 확인하는 방식을 제안합니다.
‘모든 A는 B’만 주어졌을 때 ‘어떤 B는 A’도 반드시 참일까요?
생각을 비교할 해설 펼치기
여기서 정한 현대 집합·고전논리 해석에서는 반드시 참이 아닙니다. A가 비어 있어도 ‘모든 A는 B’는 성립할 수 있습니다. A에 적어도 하나가 있다는 조건을 추가하면, 그 원소는 B이기도 하므로 ‘어떤 B는 A’를 얻을 수 있습니다.
원문과 출처 정보
한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.
다이어그램과 다이어그램 추론 (Diagrams and Diagrammatical Reasoning)
Sun-Joo Shin, Oliver Lemon, John Mumma (2025). The Stanford Encyclopedia of Philosophy, Fall 2025 Edition.
- 자료 성격
- 전문가 집필 학술 백과 해설
- 읽은 버전
- 2025년 가을 보존판 · 주요 개정 2025-09-15
- 확인 범위
- 서론, 형식적 다이어그램 체계, 표현의 성질과 한계에 관한 본문
- 원문 확인일
- 영구 식별
- DOI 미기재 · 아래 보존판 주소로 안내
이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준