누군가는 인터넷과 온라인 포럼을 잘 이용해 논리학을 독학할 수 있다고 생각합니다. 그렇다고 해서 대학원 진학보다 독학이 낫다고 말씀드리는 것은 절대 아닙니다.
제가 수학 철학과 논리 철학은 공부한 적이 없지만, 여러 논리학 이론 중 의존 유형론(종속 유형론, dependent type theory)의 기초 내용을 2022년 초부터 2023년 초까지 무리 없이 독학했어요. 그 덕분에 다음 글에서 제가 언급한 소프트웨어 라이브러리의 개발에 기여할 수 있었습니다.
이런 성과는 논리학 연구와 무관하다고 말씀하실 수 있어요. 그러나 이 개발 기여 경험 덕분에, 저는 논리학을 더 깊이 탐구할 수 있겠다는 자신감을 얻었습니다. 이번 주말부터 증명 보조기를 활용하면서 집합론, 모형론[model theory], 증명론을 배울 계획입니다.
유형론[type theory]은 철학보다는 이론 컴퓨터 과학에 속하지 않냐는 물음에 답하자면, 수학에서의 유형론에 관한 철학 논문은 이미 많습니다.