14.3 개체와 속성의 구분

14.3 개체와 속성의 구분

1. 절의 학술적 목표

본 절은 논리학에서 개체(individual)와 속성(property)의 구분을 학술적으로 검토하는 것을 목표로 한다. 개체와 속성의 구분은 술어 논리의 기본 전제이며, 명제의 내부 구조를 형식적으로 분석하는 출발점이다. 본 절은 개체와 속성의 개념적 정의, 역사적 배경, 프레게의 함수-논항 분석, 형식적 표현, 존재론적 함의, 학술적 의의를 체계적으로 정리한다.

2. 개체와 속성의 개념적 정의

논리학에서 개체는 “특정한 대상“을 의미하며, 고유 명사(소크라테스, 플라톤, 수 2 등)에 의하여 지시되는 개별적 존재자이다. 속성은 “개체가 가질 수 있는 성질“을 의미하며, “현명하다”, “붉다”, “짝수이다” 등과 같이 개체에 귀속되는 특성이다. 개체는 특정한 대상이며, 속성은 여러 개체에 공통적으로 귀속될 수 있는 일반적 성질이다. 개체와 속성의 구분은 명제의 내부 구조 분석의 기본 축이며, 술어 논리는 이 구분을 형식적으로 명확히 한다(Frege, 1892).

3. 개체-속성 구분의 철학적 배경

개체와 속성의 구분은 고대 철학에서부터 논의되었다. 아리스토텔레스의 범주론(Categoriae)은 “첫째 실체(primary substance)“를 개별적 개체로, “둘째 실체(secondary substance)“를 종과 유로 구분하였으며, 속성(우유)은 개체에 귀속되는 것으로 이해하였다. 이러한 구분은 중세 스콜라 철학의 개체 논쟁, 보편자 논쟁으로 이어졌다. 현대 논리학에서 개체와 속성의 구분은 이러한 철학적 전통을 계승하면서도 형식적 엄밀성을 추가하였다. 프레게는 개체와 속성의 구분을 함수-논항 구조의 관점에서 재해석하였다(Aristotle, Categoriae; Frege, 1891).

4. 전통 논리의 주어-술어 구조

아리스토텔레스의 전통 논리는 명제를 “주어(subject)-술어(predicate)” 구조로 분석하였다. “소크라테스는 현명하다“는 “소크라테스”(주어)와 “현명하다”(술어)의 결합으로 이해되었다. 이 구조는 개체와 속성의 구분을 부분적으로 반영하지만, 관계적 진술이나 다중 양화를 다루지 못하는 한계를 가진다. 예를 들어, “존이 메리를 사랑한다“는 전통 논리의 주어-술어 구조로는 자연스럽게 분석되지 않는다. 또한 전통 논리는 주어를 개체 또는 개체들의 집합으로 취급하며, 개체와 집합의 구별을 충분히 명료히 하지 못하였다(Kneale & Kneale, 1962).

5. 프레게의 함수-논항 분석

프레게(Gottlob Frege)는 1879년 저작 Begriffsschrift에서 전통적인 주어-술어 구조를 “함수(function)-논항(argument)” 구조로 대체하였다. 프레게의 분석에 따르면, “소크라테스는 현명하다“는 “현명하다( )“라는 함수에 “소크라테스“라는 논항을 대입한 결과이다. 이러한 분석에서 개체는 함수의 논항이며, 속성은 불포화된(unsaturated) 함수이다. 함수-논항 구조는 수학의 함수 개념을 논리에 도입한 것이며, 명제의 내부 구조를 수학적 함수처럼 분석할 수 있게 한다. 프레게의 함수-논항 분석은 현대 술어 논리의 기초가 되었다(Frege, 1879, 1891).

6. 개체와 속성의 형식적 표현

술어 논리에서 개체는 개체 상항(individual constant, a, b, c, …)과 개체 변항(individual variable, x, y, z, …)에 의하여 지시된다. 속성은 일항 술어 기호(unary predicate symbol, P, Q, R, …)에 의하여 표현된다. “소크라테스는 현명하다“는 “P(a)“로 형식화되며, 여기서 “a“는 소크라테스를 지시하는 개체 상항이고 “P“는 “현명하다“를 나타내는 일항 술어 기호이다. 이러한 형식화는 개체와 속성을 논리 기호 수준에서 명확히 구별하며, 개체 변항에 대한 양화를 통하여 일반성의 표현을 가능하게 한다(Mendelson, 2015).

7. 속성과 집합의 관계

속성은 집합론적으로 “속성을 만족하는 개체들의 집합“으로 이해될 수 있다. 예를 들어, 속성 “현명하다“는 현명한 모든 개체의 집합과 대응한다. 이러한 대응은 속성과 집합의 외연적 동일시를 전제로 하며, 프레게의 가치 경로(Werthverlauf) 개념이나 러셀의 클래스 개념의 기초가 된다. 그러나 속성과 집합의 동일시는 엄밀히 말하면 외연적 관점에서만 성립하며, 내포적(intensional) 관점에서는 동일한 외연을 가진 속성들이 구별될 수 있다. 예를 들어, “심장을 가진 동물“과 “신장을 가진 동물“은 외연은 동일하지만 내포는 다르다(Carnap, 1947).

8. 개체와 속성의 구별과 유형 이론

러셀(Bertrand Russell)의 유형 이론(theory of types)은 개체와 속성의 구별을 엄격히 유지하기 위한 형식 체계이다. 러셀의 역설(“자기 자신을 원소로 포함하지 않는 모든 집합의 집합”)은 개체와 속성(또는 집합)의 구별이 불명확할 때 발생하는 모순이다. 유형 이론은 개체를 유형 0으로, 개체에 대한 속성을 유형 1로, 유형 1 속성에 대한 속성을 유형 2로 배정하여 자기 참조적 역설을 차단한다. 이러한 유형 구분은 Principia Mathematica에서 체계적으로 전개되었으며, 개체와 속성의 구별이 논리적 엄밀성을 위하여 필수적임을 보여 준다(Russell, 1908; Whitehead & Russell, 1910–1913).

9. 관계로의 확장

개체와 속성의 구분은 일항 속성뿐 아니라 다항 관계로 확장된다. 이항 관계는 두 개체 사이의 성질이며(예: “x는 y보다 크다”), n항 관계는 n개의 개체 사이의 성질이다(예: “x는 y와 z 사이에 있다”). 술어 논리에서 이항 관계는 이항 술어 기호 R(x, y)로, n항 관계는 n항 술어 기호 P(x₁, x₂, …, xₙ)로 형식화된다. 관계의 표현은 전통 논리의 주요 한계 중 하나였으며, 술어 논리의 개체-속성 구분의 확장은 관계의 엄밀한 형식적 분석을 가능하게 한다. 이러한 확장은 수학적 구조(순서, 동치 관계, 함수 등)의 형식화에 필수적이다(Russell, 1903).

10. 개체와 속성의 존재론적 함의

개체와 속성의 구분은 존재론적 함의를 가진다. 실재론(realism)은 속성(또는 보편자, universal)이 개체와 독립적으로 존재한다고 주장하며, 플라톤의 이데아론이 대표적이다. 유명론(nominalism)은 속성은 이름에 불과하며 실재하지 않는다고 주장한다. 개념론(conceptualism)은 속성은 마음에 의존하는 개념이라고 주장한다. 술어 논리는 이러한 존재론적 입장에 대하여 중립적이지만, 양화사의 사용(특히 이차 술어 논리의 속성에 대한 양화)은 존재론적 개입의 문제를 제기한다. 콰인의 존재론적 개입 논제는 이러한 문제를 명시적으로 논의한다(Quine, 1948; Armstrong, 1978).

11. 개체-속성 구분의 학술적 의의

개체와 속성의 구분의 학술적 의의는 다음과 같이 정리된다. 첫째, 그것은 명제의 내부 구조를 형식적으로 분석하는 출발점을 제공하며, 술어 논리의 기본 전제이다. 둘째, 그것은 프레게의 함수-논항 분석을 통하여 명제를 수학적 함수처럼 다룰 수 있게 한다. 셋째, 그것은 러셀의 유형 이론을 통하여 자기 참조적 역설을 차단하는 형식적 장치를 제공한다. 넷째, 그것은 관계의 형식적 분석으로 확장되어 수학적 구조의 엄밀한 형식화를 가능하게 한다. 다섯째, 그것은 실재론, 유명론, 개념론 등 존재론적 입장의 형식적 논의의 기초를 제공한다. 이러한 의의는 개체와 속성의 구분이 술어 논리와 분석 철학의 근본 개념임을 보여 준다(Shapiro, 1991).

12. 본 절의 결론적 정리

개체와 속성의 구분은 술어 논리의 기본 전제이며, 명제의 내부 구조를 형식적으로 분석하는 출발점이다. 개체는 특정한 대상을 지시하며, 속성은 개체에 귀속될 수 있는 성질이다. 이 구분은 아리스토텔레스의 전통 논리에서부터 논의되었으나, 전통 논리는 주어-술어 구조의 한계로 인하여 관계와 다중 양화를 형식적으로 다루지 못하였다. 프레게는 1879년 저작 Begriffsschrift에서 전통적 주어-술어 구조를 함수-논항 구조로 대체하였으며, 이를 통하여 개체는 함수의 논항으로, 속성은 불포화된 함수로 분석되었다. 술어 논리에서 개체는 개체 상항과 개체 변항으로, 속성은 일항 술어 기호로 형식화되며, 이 구분은 관계의 다항 술어 기호로 확장된다. 러셀의 유형 이론은 개체와 속성의 구별을 엄격히 유지함으로써 자기 참조적 역설을 차단하는 형식적 장치를 제공하였다. 개체와 속성의 구분은 속성과 집합의 관계, 존재론적 함의(실재론, 유명론, 개념론) 등 중요한 철학적 논의와 연결된다. 학습자는 개체와 속성의 개념적 구별, 프레게의 함수-논항 분석, 형식적 표현, 관계로의 확장, 학술적 의의를 정확히 이해해야 한다.

13. 출처

  • Aristotle. Categoriae.
  • Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert.
  • Frege, G. (1891). Function und Begriff. Jena: Hermann Pohle.
  • Frege, G. (1892). Über Begriff und Gegenstand. Vierteljahrsschrift für wissenschaftliche Philosophie, 16, 192–205.
  • Russell, B. (1903). The Principles of Mathematics. Cambridge: Cambridge University Press.
  • Russell, B. (1908). Mathematical logic as based on the theory of types. American Journal of Mathematics, 30(3), 222–262.
  • Whitehead, A. N., & Russell, B. (1910–1913). Principia Mathematica (Vols. 1–3). Cambridge: Cambridge University Press.
  • Carnap, R. (1947). Meaning and Necessity. Chicago: University of Chicago Press.
  • Quine, W. V. O. (1948). On what there is. Review of Metaphysics, 2(5), 21–38.
  • Kneale, W., & Kneale, M. (1962). The Development of Logic. Oxford: Clarendon Press.
  • Armstrong, D. M. (1978). Universals and Scientific Realism (Vols. 1–2). Cambridge: Cambridge University Press.
  • Shapiro, S. (1991). Foundations without Foundationalism: A Case for Second-Order Logic. Oxford: Oxford University Press.
  • Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.

14. 버전

  • 문서 버전: 1.0
  • 작성 기준일: 2026-04-15