범주 개념 3

오일러 다이어그램과 라이프니츠 다이어그램

오일러 다이어그램과 라이프니츠 다이어그램 ‘개’라는 단어는 ‘개들의 모임’을 뜻한다. 이를 아는 사람은 개들의 공통 특징들을 알고 있으며, 그러한 공통 특징들에 근거해 개를 정의할 수 있다. 이러한 방식으로 정의 가능한 단어는 ‘범주 개념’을 나타낸다고 한다. 범주 개념으로 ‘개’, ‘소’, ‘돼지’, ‘포유류’, ‘조류’ 등을 들 수 있다. 범주 개념들 사이의 관계는 다양하다. 그 중 모임들의 포함 관계로 해석 가능한 것들이 있다. 다음은 그러한 것들을 나타내는 오일러 다이어그램(Euler diagram)이다. 위 다이어그램은 오일러의 Lettres ὰ une Princesse d’Allemagne(1761)에 등장한다. a와 b가 범주 개념 혹은 범주 개념을 나타내는 항이라고 할 때, 각 원은 a 또..

인간과 동물 4. 속성 존재론의 문제(철학자는 안 보는 것이 정신건강에 좋음)

개별적 대상들을 서술하는 방식이 반드시 주어와 술어의 문법적 구조를 전제하는 것은 아니다. 명사들로만 구성된 언어도 있기 때문이다. 우리말도 주어와 술어의 문법적 구분을 갖고 있는 언어이다. 하지만 우리말이 주어와 술어의 엄격한 논리적 구분을 갖고 있다고 그 누구도 장담할 수 없다. 반면에 영어, 불어 등 인도유럽어족 대부분의 언어들은 그러한 논리적 구분을 갖고 있다. 주어와 술어의 문법적 구분이 아닌 엄격한 논리적 구분이란 무엇인가? 그러한 논리적 구분을 갖는 언어는 다음을 만족한다. (i) 엄격한 의미에서의 논리적 주어는 특정 개별적 대상을 지칭한다. (ii) 모든 개념 F는 논리적 술어 ‘x is F’, 즉 F(x)로 대체 가능하다. ‘x’는 개별적 대상을 지칭하는 임의의 논리적 주어를 나타낸다. ..