The Syllogism
아리스토텔레스의 근본 논리 형식은 삼단논법이다: 두 전제에서 도출된 결론. 고전적 예: 모든 인간은 필멸의 존재이다. 소크라테스는 인간이다. 따라서 소크라테스는 필멸의 존재이다. 타당한 삼단논법은 전제가 참이면 결론도 반드시 참임을 보장한다. 아리스토텔레스는 200개 이상의 타당한 삼단논법 형태를 파악했고 그것들을 여러 도식으로 분류했다.
The Categories
『범주론』에서 아리스토텔레스는 현실에 대해 말할 수 있는 모든 것이 열 가지 근본 범주로 나뉜다고 주장했다: 실체, 양, 질, 관계, 장소, 시간, 위치, 상태, 작용, 수동. 이 존재론적 틀은 모든 존재를 분류하는 것으로 중세 철학, 기독교 신학, 이슬람 철학에 수백 년간 영향을 미쳤다.
비모순율
아리스토텔레스는 비모순율을 정식화했다: 어떤 것도 동일한 시간과 관점에서 동시에 존재하면서 존재하지 않을 수 없다는 원리다. 이 근본 원칙 — 'A는 동시에 A이면서 A가 아닐 수 없다' — 는 논리적 추론과 고전 수학의 기초다.
아리스토텔레스 논리학의 영향
중세 유럽 대학들은 아리스토텔레스 논리학을 모든 학문 연구의 토대로 가르쳤다. 이븐 시나와 이븐 루시드를 포함한 이슬람 학자들은 이를 전승하고 발전시켰다. 토마스 아퀴나스는 이를 기독교 신학과 종합했다. 19세기 조지 불이 논리를 대수로 축약하고 고틀로프 프레게가 삼단논법이 다룰 수 없는 수학적 증명을 처리할 수 있는 술어 논리를 개발할 때까지 그것이 지배적이었다.
Frequently Asked Questions
삼단논법이란 무엇인가?
삼단논법은 세 부분으로 이루어진 논리적 주장이다: 두 전제가 결론으로 이어진다. 전제가 참이고 논거가 타당하면 결론도 반드시 참이다. 예: 모든 인간은 필멸의 존재이다; 소크라테스는 인간이다; 따라서 소크라테스는 필멸의 존재이다.
아리스토텔레스가 논리학을 발명했는가?
아리스토텔레스는 형식 논리, 즉 타당한 추론 규칙을 체계적으로 연구하는 학문을 발명했다. 소크라테스 이전의 철학자들과 플라톤도 논리적 논거를 사용했지만, 아리스토텔레스가 타당한 추론 형태를 최초로 체계화하고 분류했다.
아리스토텔레스 논리학이 대체된 이유는?
19세기에 조지 불이 논리를 대수 연산으로 축약했고 고틀로프 프레게는 술어 논리를 개발했다. 술어 논리는 수학적 증명에 필요한 복잡한 양화를 다룰 수 있는 더 강력한 체계였다. 아리스토텔레스의 삼단논법적 논리는 현대 형식 논리 내의 특수한 경우다.