부분전체론 (Mereology)
쉽게 풀면
부분전체론은 '어떤 것들이 모이면 새로운 하나의 사물이 되는가'를 다루는 분야이다. 예를 들어 내 왼손과 오른손을 합치면 새로운 하나의 사물(?)이 생기는 걸까, 아니면 그냥 두 개의 손이 여전히 따로 있는 걸까? 이런 부분과 전체의 관계를 엄밀하게 다루는 것이 부분전체론이다.
왜 중요한가
부분과 전체의 관계를 형식적으로 연구하는 부분전체론으로, 어떤 대상들의 집합이 언제 하나의 전체를 구성하는지를 다루는 형이상학적 탐구다.
논문에서는 이렇게 쓰입니다
부분전체론의 한 형식 체계가 임의의 대상들의 집합에 대해서도 그것들을 합친 하나의 전체(합성물)가 존재한다는 매우 관대한 원리를 채택하고 있음을 설명한다.
부분전체론 내에서도 합성물의 존재 조건을 엄격하게 볼 것인지에 대한 입장 차이가 있음을 보여주는 문장이다.
조금 더 깊게 보면
임의의 대상들이 모이면 항상 새로운 전체를 구성한다는 무제한적 합성 논제와, 특정 조건을 만족할 때만 전체가 성립한다는 제한적 견해가 대립하며, 이는 구성의 문제라는 형이상학적 논쟁으로 이어진다. 부분전체론의 핵심 관계인 '부분임' 관계는 표준적으로 반사적(모든 것은 자기 자신의 부분)이고 반대칭적이며 추이적인 부분순서로 공리화되며, 이로부터 두 대상의 최소상한인 합(sum)과, 두 대상이 겹칠 때 그 공통 부분인 곱(product)을 정의하는 고전적 확장 부분전체론의 형식 체계가 구성된다. 이 체계는 대수학의 격자 구조와 형식적으로 매우 유사해, 집합론에 견줄 만한 독자적인 형식적 존재론의 도구로 발전했다. 부분전체론적 합(fusion)은 집합론의 합집합과 비슷해 보이지만, 합집합이 원소들의 모임인 반면 부분전체론적 합은 그 부분들로 이루어진 하나의 단일한 대상이라는 점에서 존재론적 지위가 다르다.
주의할 점
부분전체론은 집합론과 유사해 보이지만, 부분-전체 관계는 집합의 원소-집합 관계와 논리적으로 다른 속성(추이성 등)을 갖는다는 점에서 혼동하지 않아야 한다. '부분'이라는 낱말은 일상어에서 매우 다의적으로 쓰이므로(구성요소, 조각, 하위집합 등), 부분전체론에서 다루는 형식적 부분 관계와 혼동하지 않도록 정의역을 분명히 해야 한다. 예컨대 '팀의 일원'이라는 표현은 부분전체론적 부분 관계와 반드시 같은 논리적 성질을 갖지는 않는다.