논리의 기초와 역사

부분의 부분은 전체의 부분일까? 집합의 원소도 그럴까?

부분 관계와 집합의 원소 관계를 구별하면, 같은 포함 그림을 보고도 어떤 추론을 허용해야 하는지 달라집니다.

도면의 안쪽에 작은 구역이 들어 있고, 그 구역은 더 큰 구역 안에 있습니다. 작은 구역은 큰 구역의 일부라고 말할 수 있습니다. 그런데 상자 안에 상자가 있다는 표현과 집합의 원소라는 표현까지 같은 규칙으로 읽어도 될까요? 일상에서 쓰는 “안에 있다”에는 서로 다른 관계가 겹쳐 있습니다. 부분과 전체를 다루는 부분론은 이 차이를 정확하게 기록하는 형식적 도구를 제공합니다.

학술 자료의 내용

연구를 읽는 두 가지 질문

무엇을 형식화하는가?

바르치의 전문 해설은 부분 관계의 역사와 공리를 검토합니다. 실험 참가자의 행동을 측정하는 연구가 아니라, 어떤 관계를 기본으로 놓을 때 무엇이 따라오는지 따지는 개념·형식 분석입니다. 기본적인 부분 관계는 자기 자신을 부분으로 허용하고, 부분의 부분을 전체의 부분으로 인정하며, 서로의 부분인 두 대상은 동일하다고 봅니다. 자기 자신을 제외하는 진부분 관계는 이 기본 관계에서 따로 정의합니다. [1]

핵심 결과를 어떻게 읽는가?

이 틀에서 부분 관계는 추이적입니다. 다만 원문은 일상적인 부품·기능·소속 표현이 언제나 같은 성질을 갖는 것은 아니라고 경고합니다. 집합의 원소 관계 역시 부분 관계와 구별해야 합니다. 원소가 속한 집합이 다시 다른 집합의 원소라고 해서 처음 원소가 마지막 집합의 원소가 되는 것은 아닙니다. 형식화의 성과는 모든 “포함”에 단일 규칙을 적용하는 데 있지 않고, 적용할 관계와 공리를 명료하게 고르는 데 있습니다. [1]

그림으로 생각하기

도형의 부분과 집합의 원소를 두 줄로 비교하기

다음은 LTCT가 만든 예시입니다. 작은 영역 가가 영역 나의 부분이고, 나가 영역 다의 부분이라고 정합니다. 같은 의미의 부분 관계를 유지하면 가도 다의 부분입니다. 그림에서는 세 구역을 중첩해 놓되, 선의 위치와 별개로 관계 이름을 읽게 합니다.

집합의 경우에는 숫자 1, 집합 {1}, 집합 {{1}}을 구분합니다. 1은 {1}의 원소이고 {1}은 {{1}}의 원소입니다. 하지만 {{1}}에 직접 들어 있는 유일한 원소는 {1}이라는 집합이므로, 숫자 1 자체는 그 집합의 원소가 아닙니다. 중괄호 한 겹을 지우면 대상이 바뀝니다.

여기서 “원소”를 “부분집합”으로 바꾸면 다시 다른 문제가 됩니다. 부분집합 관계는 추이적이지만 원소 관계는 일반적으로 추이적이지 않습니다. 문항을 풀 때에는 그림의 안팎보다 먼저 관계의 이름을 확인해야 합니다.

부분과 부분집합은 추이적이지만 원소 관계에는 1, {1}, {{1}}이라는 반례가 있음을 비교한 표.
LTCT 제작 교육용 비교표. 집합과 영역은 가상 예시이며 ⊑는 이 그림에서 부분 관계를 뜻합니다. 개념 출처: [1]. 원문 도표·사진을 복제하지 않았으며, 예시와 배치는 LTCT가 구성했습니다. 그림 크게 보기 ↗

어디까지 말할 수 있을까요?

  • 부분론의 기본 공리를 일상의 모든 조직·재료·기능 관계에 그대로 적용할 수는 없습니다. 시간에 따라 구성품이 바뀌는 대상도 별도 검토가 필요합니다.
  • 이 글은 부분 관계의 핵심 정의를 소개합니다. 부분의 합이 언제 존재하는지, 물체의 정체성이 무엇인지에 관한 모든 철학적 논쟁을 해결한 것으로 읽지 않습니다.

원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]

배운 내용을 수업에 적용하기

교육 현장과 연결해 보면

동일한 중첩 그림에 “부분”, “원소”, “부분집합”이라는 세 종류의 범례를 붙인 변형 문항을 만들 수 있습니다. 관계를 읽는 단계에서는 직접 주어진 연결을 찾고, 추론 단계에서는 두 연결을 이어도 되는지 판단하게 합니다.

답안에는 결과뿐 아니라 허용한 규칙을 쓰게 합니다. “가가 다 안에 보이기 때문”이라는 설명과 “이 문제에서 부분 관계의 추이성을 정했기 때문”이라는 설명을 구별해 피드백할 수 있습니다.

한 번 더 생각하기

A가 B의 원소이고 B가 C의 원소라는 정보만으로 A가 C의 원소라고 결론 내릴 수 있을까요?

생각을 비교할 해설 펼치기

일반적으로는 내릴 수 없습니다. A=1, B={1}, C={{1}}로 두면 두 전제는 성립하지만 결론은 성립하지 않습니다. 반면 관계가 부분집합이고 A⊆B, B⊆C라면 A⊆C가 성립합니다. 같은 화살표 두 개라도 무엇을 뜻하는 화살표인지에 따라 결과가 달라지는 것입니다.

원문과 출처 정보

한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.

  1. 부분과 전체의 형식 이론 (Mereology)

    Achille Varzi (2003). Stanford Encyclopedia of Philosophy · Stanford University.

    자료 성격
    학술 논문·전문 학술자료
    읽은 버전
    최초 2003-05-13; 본문 개정 2026-06-27
    확인 범위
    공개 본문 1절, 2.1~2.2절의 부분 관계·추이성·겹침 정의 및 저자·개정일 확인
    원문 확인일
    영구 식별
    DOI 미기재 · 아래 보존판 주소로 안내

이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준