논리학
조무위키
| 파일:원시인.gif | 이 문서는 문과가 작성했거나, 또는 문과에 대해 다룹니다. 무슨 생각으로 작성한 건지는 잘 모르겠습니다. |
ㄴ최소한 내가 본 문과학문들 중에서는 제일 이과스럽던데, 아니 그냥 이과 그 자체던데?
정의[편집]
논리학은 근거로부터 결론을 타당하게 도출하는 방식인 추론(inference)을 연구하는 학문이다.
수학과의 관계[편집]
"논리학은 수학의 청년시대이고, 수학은 논리학의 장년시대" - 버틀란드 러셀
현대논리학의 대가인, 버틀란드 러셀은 "논리학은 수학의 청년시대이고, 수학은 논리학의 장년시대"라는 말을 한바 있다. 이처럼 현대논리학, 특히 그 중에서도 기호논리학은 수학(그 중에서도 집합론)과 매우 밀접한 관계가 있다.
버틀란드 러셀 본인도, 논리학자이자 수학자이기도 하다. 동료 철학자인 화이트 헤드와 함께 저술한 "수학원리"는 명저로 유명하다. (러셀은 한편 철학자이자 작가이기도 하다. 노벨 문학상을 수상한 바 있다.)
역사[편집]
논리적 사고는 인류의 기원과 함께하지만 이를 학문적으로 정리한 최초의 인물은 그리스 철학자인 아리스토텔레스이다. 아리스토텔레스의 저작인 오르가논에서 "모든 인간은 죽는다..."와 같은 삼단논법의 체계가 소개되었다. 수학자 라이프니츠는 아리스토텔레스 논리학을 계산할 수 있는 체계로 변환할 수 있다고 믿었고, 이러한 보편수학의 개념은 추후에 수학자 프레게에게서 발전되었다.
이후 버트란드 러셀, 괴델 등에 의해 현대 논리학이 크게 발전하게 된다.
책[편집]
국내[편집]
수리논리와 집합론 입문, 정주희