수학적 논리는 어디서 출발했을까?

(누군가는 탈레스를 최초의 수학자이자 과학자이자 철학자로 꼽는다) 

수학적 논리는 어디에서 출발했을까? 

그 기원은 고대 그리스로 넘어간다 

수학은 두 가지인 듯 보이는 한 가지 기원을 가지고 있다 

첫 번째는 유클리드의 <기하학원론>이다 

기하학 원본은 정의, 첫 번째 원리들, 공리들을 통해서 엄밀한 증명을 거쳐 모든 정리들에 도달한다 

이러한 증명은 그 자체로써의 의미도 갖지만 단순히 정리들만을 제공해주는 것을 넘어 수학에 엄청난 

논리적인 토대를 구축했다는 것에 의의가 있다 두 번째는 아리스토텔레스의 삼단논법이다 

아리스토텔레스는 

모든 사람은 죽는다 (대전제) 

소크라테스는 사람이다(소전제)

소크라테스는 죽는다(결론) 

라는 간단해 보이는 토대를 구축했는데 후에 이 논리적인 사고가 2000년 가까이 논리학의 가장 큰 기반이 된다