6.14 정의에서의 필요·충분조건
1. 절의 학술적 목표
본 절은 개념 정의에 있어서 필요조건과 충분조건의 역할을 학술적으로 검토하는 것을 목표로 한다. 고전적 정의 이론에서는 개념을 필요충분조건의 집합으로 정의하는 관행이 확립되어 왔으며, 이는 분석 철학과 수학적 정의 이론의 표준적 방법이다. 본 절에서는 고전적 정의 이론의 구조, 정의의 조건적 형식, 그리고 이 이론에 대한 학술적 논쟁을 체계적으로 정리한다.
2. 고전적 정의 이론의 기본 구조
고전적 정의 이론(classical theory of definition)은 한 개념을 그 개념의 필요충분조건의 집합으로 정의하는 이론이다. 즉, 개념 C를 정의하기 위하여 그 개념에 해당하는 모든 경우에 공통적이고(필요) 그 조건들의 충족만으로 그 개념에 속함을 보장하는(충분) 속성들의 집합을 제시한다. 이 이론은 아리스토텔레스의 정의 이론에 뿌리를 두고 있다(Aristotle, trans. 1984).
3. 정의의 형식적 구조
고전적 정의는 형식적으로 “x는 C이다 ↔ x는 P1, P2, …, Pn이다“의 양조건문으로 표현된다. 여기서 P1, P2, …, Pn은 개념 C의 정의적 속성이며, 이들은 x가 C에 속하기 위한 개별적 필요조건이자 집합적 충분조건이다. 이러한 형식은 정의의 엄격성과 명료성을 보장하는 표준적 구조이다(Copi, Cohen, & McMahon, 2014).
4. 수학적 정의의 사례
수학적 정의는 고전적 정의 이론의 가장 명료한 구현이다. 예를 들어 “n은 소수이다 ↔ n은 1보다 큰 자연수이고, 1과 자기 자신 외에는 양의 약수를 가지지 않는다“는 정의는 소수 개념의 필요충분조건을 제시한다. 이 정의에서 두 정의적 속성은 모두 개별적으로 필요하고 집합적으로 충분하다(Hurley, 2014).
5. 기하학적 정의의 사례
기하학적 정의 또한 고전적 정의 이론의 전형을 보여 준다. 예를 들어 “사각형은 정사각형이다 ↔ 사각형의 네 변의 길이가 같고, 네 각이 모두 직각이다“는 정의는 정사각형의 필요충분조건을 제시한다. 이 정의에서 “네 변의 길이가 같다“와 “네 각이 모두 직각이다“는 각각 정사각형이기 위한 필요조건이며, 두 조건의 연언은 충분조건이다(Copi, Cohen, & McMahon, 2014).
6. 법적 정의의 사례
법적 정의에서도 고전적 정의 이론이 적용된다. 예를 들어 한국 법률에서 “미성년자는 만 19세 미만의 사람이다“라는 정의는 미성년자 개념의 필요충분조건을 제시한다. 이 정의에서 “만 19세 미만의 사람“은 미성년자이기 위한 필요충분조건이며, 법적 해석의 명료성을 보장한다(Govier, 2010).
7. 분석 철학에서의 개념 분석
분석 철학에서는 개념의 정의를 필요충분조건의 형식으로 제시하는 개념 분석(conceptual analysis)의 전통이 있다. 예를 들어 “지식은 정당화된 참인 믿음이다“라는 전통적 정의는 지식 개념을 세 가지 필요조건(정당화, 참, 믿음)의 연언이 충분조건이 되는 형식으로 제시한다. 이러한 개념 분석은 철학적 논의의 표준적 방법 중 하나이다(Plato, trans. 1997).
8. 게티어 문제와 고전적 정의의 한계
에드먼드 게티어(Edmund Gettier)는 1963년의 논문 “Is Justified True Belief Knowledge?“에서 “정당화된 참인 믿음“이 지식의 충분조건이 되지 못함을 보이는 반례를 제시하였다. 게티어의 반례는 특정 상황에서 정당화된 참인 믿음이 성립하더라도 직관적으로 지식이라고 할 수 없는 경우를 보여 주며, 고전적 정의 이론의 한계를 드러냈다(Gettier, 1963).
9. 가족 유사성 이론
루트비히 비트겐슈타인(Ludwig Wittgenstein)은 “게임(Spiel)“과 같은 개념이 명확한 필요충분조건을 가지지 않으며, 오히려 가족 유사성(Familienähnlichkeit)의 네트워크를 형성한다고 주장하였다. 이 이론에 따르면, 일상 개념 중 많은 것은 고전적 정의 이론에 부합하지 않으며, 중첩되는 유사성의 집합으로만 기술될 수 있다(Wittgenstein, 1953).
10. 원형 이론과 개념 범주화
인지심리학의 원형 이론(prototype theory)은 개념이 필요충분조건의 집합이 아니라 전형적 예시(prototype)와의 유사성에 의하여 조직된다는 관점을 제시한다. 엘리너 로슈(Eleanor Rosch)의 연구는 일상 개념의 범주화가 고전적 정의 이론보다는 원형 구조에 기반한다는 경험적 증거를 제공하였다(Rosch, 1973).
11. 고전적 정의 이론의 학술적 가치
고전적 정의 이론의 한계에도 불구하고, 필요충분조건에 의한 정의는 여전히 학술적 논의에서 중요한 방법론적 가치를 가진다. 첫째, 그것은 개념의 외연을 명료하게 결정한다. 둘째, 그것은 학문적 논의의 용어 통일을 가능하게 한다. 셋째, 그것은 형식적 추론의 기반을 제공한다. 따라서 수학, 논리학, 법학과 같이 엄격한 정의가 요구되는 분야에서는 고전적 정의 이론이 여전히 핵심적 도구이다(Copi, Cohen, & McMahon, 2014).
12. 정의 구성의 학술적 원칙
정의를 필요충분조건의 형식으로 구성할 때 다음의 학술적 원칙을 따라야 한다. 첫째, 정의는 정의 대상의 모든 경우를 포함해야 하며(너무 좁지 않아야 함), 정의 대상이 아닌 경우를 배제해야 한다(너무 넓지 않아야 함). 둘째, 정의에 사용되는 용어는 정의 대상보다 명료해야 한다. 셋째, 정의는 순환적이지 않아야 한다. 넷째, 정의는 긍정 형식으로 진술하는 것이 바람직하다(Hurley, 2014).
13. 본 절의 결론적 정리
고전적 정의 이론은 개념을 필요충분조건의 집합으로 정의하는 이론이며, 수학, 논리학, 법학 등에서 표준적 방법으로 사용된다. 그러나 게티어 문제, 가족 유사성 이론, 원형 이론 등은 고전적 정의 이론이 모든 개념에 적용 가능하지 않음을 보여 준다. 학습자는 정의의 조건적 형식을 정확히 이해하고, 그 적용 범위와 한계를 동시에 인식하여야 한다.
14. 출처
- Aristotle. (1984). Topics. In J. Barnes (Ed.), The Complete Works of Aristotle. Princeton: Princeton University Press.
- Plato. (1997). Theaetetus. In J. M. Cooper (Ed.), Plato: Complete Works. Indianapolis: Hackett.
- Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
- Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.). Boston: Cengage Learning.
- Govier, T. (2010). A Practical Study of Argument (7th ed.). Belmont: Wadsworth.
- Gettier, E. L. (1963). Is justified true belief knowledge? Analysis, 23(6), 121–123.
- Wittgenstein, L. (1953). Philosophische Untersuchungen. Oxford: Basil Blackwell.
- Rosch, E. (1973). Natural categories. Cognitive Psychology, 4(3), 328–350.
15. 버전
- 문서 버전: 1.0
- 작성 기준일: 2026-04-15