1.14 고대 그리스 논리학 전통
1. 절의 학술적 목표
본 절의 학술적 목표는 고대 그리스에서 형성된 논리학 전통을 학술적으로 정리하는 것이다. 학습자는 본 절을 통하여 아리스토텔레스(Aristotle) 논리학의 핵심 구성, 메가라 학파(Megarian school)와 스토아 학파(Stoics)의 명제 논리적 흐름, 그리고 후기 고대의 주석 전통이 어떻게 학술적으로 정착되었는가를 표준적 학술 견해 수준에서 진술할 수 있어야 한다.
2. 소크라테스 이전과 플라톤의 선행 작업
논리학이라는 분과가 학문적으로 정립되기 이전에도 추론과 논증에 대한 학술적 주의는 고대 그리스 사상에 존재하였다. 엘레아 학파(Eleatics)의 파르메니데스(Parmenides)와 제논(Zeno of Elea)은 모순을 회피하는 형식의 추론과 귀류법(reductio ad absurdum)에 가까운 논증 양식을 사용한 것으로 보고된다. 플라톤(Plato)은 『Sophistēs』, 『Politeia』, 『Phaidōn』 등에서 분할(diairesis)과 변증법(dialektikē)을 통해 개념의 정의와 추론을 학술적으로 다루었다. 다만 형식적 추론 규칙의 체계화는 아리스토텔레스에 이르러 비로소 이루어졌다는 것이 학술적 표준 견해이다.
3. 아리스토텔레스 논리학의 구조
아리스토텔레스의 논리학적 저작은 후대에 ‘Organon’이라 통칭되었으며, 다음의 여섯 저작으로 구성된다.
| 저작 | 학술적 핵심 |
|---|---|
| Categoriae | 범주론(theory of categories), 술어의 기본 분류 |
| De Interpretatione | 명제(proposition)와 명제의 양상 분석 |
| Analytica Priora | 삼단 논법(syllogism)의 형식적 분석 |
| Analytica Posteriora | 학(epistēmē)과 논증적 학문의 이론 |
| Topica | 변증법적 논증과 토픽(topoi) |
| Sophistici Elenchi | 궤변(sophism)과 논증적 오류의 분류 |
이 저작들은 후기 고대 페리파토스 학파(Peripatetic school)와 신플라톤주의 주석 전통에 의해 단일한 ‘논리학적 도구(logikon organon)’로 편집되었다.
4. 삼단 논법의 학술적 정초
『Analytica Priora』에서 아리스토텔레스는 삼단 논법을 ‘일정한 것들이 정립되었을 때, 그 정립된 것들로부터 그것들과 다른 어떤 것이 그 정립된 것들에 의해 필연적으로 따라 나오는 논의’로 정의하였다. 이 정의는 형식적 필연성(formal necessity)을 추론의 본질적 기준으로 명시한 학술사적 결정이다.
아리스토텔레스는 정언 명제(categorical proposition)를 보편 긍정(A), 보편 부정(E), 특칭 긍정(I), 특칭 부정(O)의 네 형식으로 구분하고, 이들의 결합으로 구성되는 삼단 논법을 격(figure)과 식(mood)에 따라 분류하였다. 그는 제1격(first figure)의 완전 삼단 논법을 기준으로 삼아, 다른 격의 식들을 환위(conversion), 환원(reductio ad impossibile) 등 표준적 절차를 통해 제1격의 식으로 환원하는 방법을 학술적으로 정식화하였다.
5. 양상 삼단 논법
『Analytica Priora』의 후반부에서 아리스토텔레스는 ‘필연성(anankē)’과 ‘가능성(endechomenon)’이라는 양상(modality)을 포함한 삼단 논법을 학술적으로 분석하였다. 이러한 양상 삼단 논법(modal syllogistic)은 후대의 양상 논리(modal logic)의 학술사적 선구로 평가된다. 다만 그 형식적 일관성에 관해서는 이미 고대 후기에 학술적 논의가 있었으며, 현대 학자 가운데 야코 힌티카(Jaakko Hintikka), 폴 토믹(Paul Thom), 마르코 말링크(Marko Malink) 등은 그 재구성에 관한 다양한 학술적 견해를 제시해 왔다.
6. 메가라 학파와 스토아 학파의 명제 논리
아리스토텔레스 사후 그리스 논리학의 또 다른 흐름은 메가라 학파와 스토아 학파에서 발전하였다. 메가라 학파의 디오도로스 크로노스(Diodorus Cronus)와 필론(Philon of Megara)은 함의(implication)의 의미에 관한 초기 논쟁을 전개하였다. 디오도로스는 ‘참인 사태에서는 결코 거짓이 따라 나오지 아니하는 조건문’을 참된 함의로 정의한 반면, 필론은 ‘조건문은 그 전건이 참이고 후건이 거짓일 때에만 거짓’이라는 진리 함수적 정의를 제시한 것으로 보고된다. 후자의 정의는 현대 명제 논리의 ‘재료 함의(material implication)’와 동일하다.
스토아 학파의 크리시포스(Chrysippus of Soli)는 명제 논리의 학술적 핵심 인물이다. 그는 명제(axiōma)를 진리치(truth value)를 가지는 단위로 규정하고, 부정·연언·선언·조건·이접 등 명제 결합 양식을 분석하였다. 그는 다섯 가지 ‘증명 불가능한 추론 형식(anapodeiktoi)’을 학술적으로 정식화하였으며, 이는 현대 명제 논리의 다음 추론 규칙들과 대응한다.
| 스토아의 추론 형식 | 현대적 대응 |
|---|---|
| 제1형식 | Modus ponens |
| 제2형식 | Modus tollens |
| 제3형식 | 부정 결합 |
| 제4형식 | 이접의 한 쪽 부정에 의한 다른 쪽 긍정 |
| 제5형식 | 이접의 한 쪽 긍정에 의한 다른 쪽 부정 |
스토아 명제 논리의 직접적 텍스트는 거의 전해지지 아니하며, 현재의 학술적 재구성은 섹스투스 엠피리쿠스(Sextus Empiricus)와 디오게네스 라에르티오스(Diogenes Laërtius)의 보고에 주로 의거한다.
7. 후기 고대의 주석 전통
기원후 1세기에서 6세기 사이의 후기 고대 시기에는 아리스토텔레스 논리학에 대한 광범위한 주석 전통이 형성되었다. 알렉산드로스 아프로디시아스(Alexander of Aphrodisias)는 페리파토스 학파의 주석 전통을 대표하며, 포르피리오스(Porphyry of Tyre)의 『Isagōgē』는 아리스토텔레스의 『Categoriae』에 대한 입문서로서 중세 라틴 서구의 표준 교과서가 되었다. 보에티우스(Boethius)는 『Isagōgē』, 『Categoriae』, 『De Interpretatione』를 라틴어로 번역하고 주석함으로써 고대 그리스 논리학 전통을 중세 라틴 학계로 전수하였다. 이러한 후기 고대 주석 전통은 고대 그리스 논리학을 보존하고 정련한 학술사적 통로로 평가된다.
8. 본 절의 결론적 정리
본 절은 다음과 같이 정리된다. 첫째, 고대 그리스 논리학은 아리스토텔레스의 『Organon』과 그 핵심인 정언 삼단 논법의 형식적 분석을 통해 학문 분과로서 처음 정립되었다. 둘째, 메가라 학파와 스토아 학파, 특히 크리시포스의 작업은 명제 논리의 초기 형태를 발전시켰으며, 함의의 진리 함수적 정의와 다섯 추론 형식의 정식화는 현대 명제 논리의 학술사적 선구로 평가된다. 셋째, 아리스토텔레스의 양상 삼단 논법은 양상 논리의 학술사적 출발점으로 자리한다. 넷째, 후기 고대의 주석 전통은 고대 그리스 논리학을 보존하고 정련하여 중세 라틴 학계와 이후 시대로 전수하는 학술사적 통로의 역할을 수행하였다.
9. 출처
- Aristotle. Organon. 기원전 4세기.
- Diogenes Laërtius. Vitae Philosophorum. 기원후 3세기.
- Sextus Empiricus. Adversus Mathematicos. 기원후 2~3세기.
- Porphyry. Isagōgē. 기원후 3세기.
- Alexander of Aphrodisias. In Aristotelis Analyticorum Priorum Librum I Commentarium. 기원후 2~3세기.
- Boethius. In Categorias Aristotelis; In Librum De Interpretatione. 6세기.
- Mates, B. (1953). Stoic Logic. Berkeley: University of California Press.
- Bocheński, I. M. (1961). A History of Formal Logic. Notre Dame: University of Notre Dame Press.
- Kneale, W., & Kneale, M. (1962). The Development of Logic. Oxford: Clarendon Press.
- Frede, M. (1974). Die stoische Logik. Göttingen: Vandenhoeck & Ruprecht.
- Barnes, J. (1981). Proof and the Syllogism. In E. Berti (Ed.), Aristotle on Science: The Posterior Analytics (pp. 17–59). Padova: Antenore.
- Bobzien, S. (1996). Stoic Syllogistic. Oxford Studies in Ancient Philosophy, 14, 133–192.
- Malink, M. (2013). Aristotle’s Modal Syllogistic. Cambridge, MA: Harvard University Press.
10. 버전
- 문서 버전: 1.0
- 작성 기준일: 2026-04-15