둔스 스코투스의 개체화 이론에 관한 연구로 뉴욕주립대학교(버팔로)에서 철학박사 학위를 받았고, 현재 한국과학기술원 인문사회과학과 교수로 일하고 있다. 국내외 저명 학술지에 다수의 논문을 게재했고, 한국중세철학회 부회장, 한국논리학회 회장, 한국바둑학회 부회장을 역임했다.

저서로 [중세철학의 유혹], [잃어버린 과학을 찾아서], [바둑철학]이 있고, 역서로 [과학적 발견의 논리], [죄수의 딜레마], [로드니 브룩스의 로봇 만들기]가 있다.

한국과학기술원(KAIST) 인문사회과학부 명예교수이다. 저서로는 『바둑철학』, 『중세철학의 유혹』, 『잃어버린 과학을 찾아서』, 『Philosophy’s Loss of Logic to Mathematics: An Inadequately Understood Take-Over』(Springer, 2018), 『Abduction in Context: The Conjectural Dynamics of Scientific Reasoning』(Springer, 2017) 등 다수 역서 『논리학 대전』, 『논리학의 역사 1, 2』, 『마음의 아이들』, 『둔스 스코투스의 제일 원리론』 등 다수가 있다.