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